My research interests include programming languages, compilers, tools, and methodologies for constructing safe, secure, and efficient systems.
I am always looking to recruit talented and enthusiastic students at all levels—PhD, Master's, and Bachelor's—to work with me on research. If you're interested in programming languages, compilers, or software engineering, please send me an email.
I teach the following classes at USI.
I am serving on or have served on the following programme committees.