Márton Hajdu
PhD student
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HD0323 (Show FORSYTE location) |
| Phone | +43 1 58801 740081 |
| marton.hajdu@tuwien.ac.at | |
| Other links |
ORCID EasyChair GitHub dblp |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 192033 | Logic and Reasoning in Computer Science | VU | 2025S | |
| 181221 | Seminar Formal Methods | SE | 2024W |
Publications
2020
Induction with generalization in superposition reasoning
Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov.
Proceedings of the 13th international conference on intelligent computer mathematics, pages 123-137, 2020.
[pdf] [doi]
Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov.
Proceedings of the 13th international conference on intelligent computer mathematics, pages 123-137, 2020.
[pdf] [doi]