Via Giuseppe Buffi 13,
+41 58 666 4308
My research is broadly in systems and applied programming languages.
Currently, I am working on languages for software defined networks, data
center modeling, and
graph database query processing. 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.
Are you interested in visiting USI? Consider applying to the
MARS scholarship program.
I am looking for
students. If you are interested in programming languages,
networking, or distributed systems, please get in touch.
See my complete list
, or links to
publications DBLP and
Scholar. Active Projects:
NetPaxos: Network support for
An adaptive storage mechanism for interaction graphs.
Modular traffic engineering for software-defined networks.
Moving transaction logic into the network. Past Projects:
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.
Network Programming Languages
(USI and Politecnico di Milano, Ph.D.):
Domain Specific Languages
(Cornell University, Graduate):