Shardul Chiplunkar
What I do:
PhD student in computer science (PL/SE) at EPFL, Switzerland.
Previously MIT ’22. Here’s my CV.
Contact me: shardulc@proton.me (PGP), Mastodon
Contact me: shardulc@proton.me (PGP), Mastodon
Research interests:
Enriching our interface to programs and proofs through automatic
diagramming. Diagrams are often compositional and structurally regular,
just like the objects they represent, whether data structures, proof terms,
algebraic objects, execution traces, or so on. Diagrams can compute and be
computed with. But our diagramming tools today don’t take advantage of
any of this—we draw diagrams individually and ad hoc, letting go of the
conceptual diagram the moment we have its concrete rendering. How do we
instead specify a schema of diagrams, whose instances can be
automatically created from the objects being represented? How do we deal with
diagrams as computational objects separate from their renderings? How do we
codify æsthetic preferences to make automatic diagrams also
automatically pretty?
Keyword salad: Programming languages, tools, and interfaces; symbolic systems, formal methods, logic; human cognition, linguistics; &c.
Other interests: Hindustani classical music, typography, teaching, science fiction, theatre, audio production, and reading too many webcomics and newsletters.
Keyword salad: Programming languages, tools, and interfaces; symbolic systems, formal methods, logic; human cognition, linguistics; &c.
Other interests: Hindustani classical music, typography, teaching, science fiction, theatre, audio production, and reading too many webcomics and newsletters.
