> ModelCVS

Dipl.-Ing. Martina Seidl


Martina Seidl


From 1998 to 2003, Martina Seidl studied Computer Science at the Technical University of Vienna. She wrote Her master thesis about virtual machines. In October 2003 she started her PhD thesis at the department of Knowledge Representation. She developed a solver for Quantified Boolean Formulas. In 2005 she joined the Information and Software Engineering Group as univiersity assistant. Since the beginning of 2006 she is working at the Business Informatics Group as research assistant.


  • E-Mail: seidl@big.tuwien.ac.at
  • Phone: 0043 1 58801 18827