Martina Seidl

phone:	+43 732 2468 8870
fax:	+43 732 2468 8893
mail:	Martina.Seidl@jku.at
office hours:	by appointment
address:	Institute for Formal Models and Verification
	Johannes Kepler University
	Altenbergerstr. 69
	4040 Linz, Austria

Profile

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. In September 2010, I joined the Institute for Formal Models and Verification at the JKU Linz.

Research Interests

Quantified Boolean Formulas
Automated Reasoning
Model Evolution
Model Engineering

Projects

ModelCVS (researcher)
AMOR - Adaptable Model Versioning (technical head)

Publications

List of publications

Teaching

Winter 10/11
- Seminar in Computer Science: Formal Verification
Past