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.
Here is a list of small research projects that would make good Bachelor's or Master's projects.
I teach the following classes at USI.
I am serving on or have served on the following programme committees.