photo by Steph Stevens

Shardul Chiplunkar

What I do: PhD student in computer science (PL/SE) at EPFL, Swit­zer­land. Pre­vi­ously MIT ’22. Here’s my CV.
Contact 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.