Via Giuseppe Buffi 13,
+41 58 666 4308
My research is broadly in systems and applied programming langauges.
Currently, I am working on languages for software defined networks. In the
past, I have worked on stream
processing, replication systems, and content distribution networks.
I received my Ph.D. from NYU, where I was co-advised by
Robert Grimm and
(IBM Research). Before
joining USI, I was a post-doctoral associate at Cornell University working with Nate Foster.
I am looking for students. If you are interested in programming languages,
networking, or distributed systems, please get in touch.
See my complete list
of publications, or links to
A network management framework that allows administrators to program the network as a unified whole, using
a high-level, policy language.
A compositional architecture for gossip protocols.
A language for streaming and signal processing applications.
- Brooklet: A universal calculus for for stream processing languages.
- SPL (formerly Spade): The stream processing language for IBM's System S.
- R/Overlog: The Overlog language, adapted for use with replication systems.
- Na Kika: Secure, dynamic, decentralized content distribution.
Domain Specific Languages