![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
![](mseidl.jpg) |
Univ.Prof. Dr.
Martina Seidl
phone: |
+43 732 2468 5750 |
mail: |
Martina.Seidl@jku.at |
office hours: |
by appointment |
address: |
Institute for Symbolic Artificial Intelligence |
|
Johannes Kepler University |
|
Altenbergerstr. 69 |
|
4040 Linz, Austria |
|
I am professor of the
Institut für Symbolic Artificial Intelligence and associated to
the Institute for Formal Models and
Verification as interim head, both at the Johannes Kepler Universität Linz.
Before I came to Linz in 2010, I worked at the Business Informatics Group of the
Vienna University of
Technology.
Research Interests
- Quantified Boolean Formulas
- Automated Reasoning
- Model Evolution
- Model Engineering
- Formal Verification of Software Models
Ongoing Projects
- Doctoral College in LogicCS
(associated faculty member)
- National Research Network RiSE
(SHiNE, 2nd phase, co-PI)
Finished Projects
Publications
|