Projektass. Dipl.-Ing. Dr.techn.
Martina Seidl
Business Informatics Group
phone: +43-1-58801-18827
fax: +43-1-58801-18896
email: seidl [at] big.tuwien.ac.at
location: HB 02 10 , Favoritenstr. 9-11 / 188 1040 Wien
office hours: Wednesday, 10:00 to 11:00
During the summer and winter break, office hours are only held by appointment.
From 1998 to 2003, I studied Computer Science at the Vienna Technical University. My main focus was set on theoretical computer science and programming languages. My master thesis was about virtual machines. From 2003 to 2007, I worked on my PhD thesis with the title "A Solver for Quantified Boolean Formulas in Negation Normal Form". In 2005 I joined the Information & Software Engineering Group as university assistant. Since the beginning of 2006 I am working at the Business Informatics Group as research assistant.
Interests
- Quantified Boolean Formulas
- Automated Reasoning
- Model Versioning
- Model Engineering