Institute of Computer Languages
Compilers and Languages Group

Ioan Drăgan

Mailing Address: Compilers and Languages Group Institute for Computer Languages Vienna University of Technology Argentinierstrasse 8/ 4/ E185.1 A-1040 Vienna Austria Phone: +43-1-58801-185180 E-Mail: ioan at complang dot tuwien dot ac dot at

---

I am a research assistant at the Institute of Computer Languages at Vienna University of Technology.


Research Interests:
My research interests are, but not limited to :

• Program Analysis;
• Satisfiability Modulo Theories;
• Automated Theorem Proving.