Michael Tautschnig
Scholar

Michael Tautschnig

Google Scholar ID: 7G6fJrYAAAAJ
Queen Mary University of London
Software VerificationTestingFormal MethodsSatisfiabilitySMT
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,835
 
H-index
25
 
i10-index
44
 
Publications
20
 
Co-authors
58
list available
Contact
No contact links provided.
Publications
3 items
Teaching LLMs Program Semantics via Symbolic Execution Traces
2026
Cited
0
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Cited
0
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
2025
Cited
0
Resume (English only)
Co-authors
58 total
Daniel Kroening
Daniel Kroening
Amazon
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jade Alglave
Jade Alglave
ARM and University College London
Co-author 5
Co-author 5
Stefan Kugele
Stefan Kugele
Technische Hochschule Ingolstadt
Co-author 7
Co-author 7
Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon