Photo Credit: Eelco Visser
Assistant ProfessorMy research interests include programming languages, compilers, tools, and methodologies for constructing safe, secure, and efficient systems.
I have fully-funded positions for PhD students. Read more about the positions and contact me for more information.
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.