Roland Lezuo

[Replace this image]

Roland Lezuo

Institute of Computer Languages E185/1
Vienna University of Technology

Argentinierstraße 8 / 185
A-1040 Wien, Austria

Tel.: (+43-1) 58801-58522
Fax: (+43-1) 58801-18598


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


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.


ACM, Springer-Verlag, and IEEE-mandated Copyright Notice

The documents listed above are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. ACM, Springer-Verlag, and IEEE published documents have other restrictions given here, here, and here.

Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2014-06-24 (tbfg)