Registered user since Mon 14 Dec 2020
PhD student in computer science (PL/SE) at EPFL. Research interests: how can we get better at thinking about, explaining, and programming complex software systems? Programming languages, methods, tools, interfaces for software that is more robust, efficient, extensible, understandable.
|CoqPL 2021||Author of Automated Synthesis of Verified Firewalls within the CoqPL-track|