Roland Lezuo

Roland Lezuo Institute of Computer Languages E185/1 Vienna University of Technology Argentinierstraße 8 / 185 A-1040 Wien, Austria e-Mail: rlezuo@complang.tuwien.ac.at Tel.: (+43-1) 58801-58522 Fax: (+43-1) 58801-18598

About

For my master's thesis I developed code generators for the CACAO project. Since October 2010 I am a research assistant.

Projects

C3Pro: Correct Compilers for Correct Processors

This research projects aims at implementing a verifing compiler for processors described by a formal specification.

Research Interests

I am (among other things) interested in compilation and optimization techniques, virtual machines and verification.