Research
As of June 2010, I am a member of the Computer Architecture and VLSI Systems Laboratory, focusing on Concurrency and Programming Languages.My research aims to develop tools and techniques that aid programmers in improving the quality of software. I am interested in programming languages, software engineering, type systems and static analysis, and their applications on concurrent software.
Teaching
- If you are a UoC student interested in a Diploma Thesis topic, look here.
- Instructor CS-529, UoC, Spring 2013
- Instructor CS-100, UoC, Fall, 2012, Fall 2011
- Instructor CS-490.40, UoC, Fall 2012, Fall 2011, Fall 2010
- Guest lecturer, CS-529, UoC, Spring 2010, Spring 2011
- Guest lecturer, CS-556, UoC, Spring 2010
Software
- SCOOP: A compiler and static analysis of task parallel C programs.
- Locksmith: A tool for finding races in C programs.
- The mechanization of the contextual effects soundness proofs in the Coq theorem prover.
- ProxyC a tool for adding transparent proxies in Java programs.