Scholar
Michael Tautschnig
Google Scholar ID: 7G6fJrYAAAAJ
Queen Mary University of London
Software Verification
Testing
Formal Methods
Satisfiability
SMT
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,835
H-index
25
i10-index
44
Publications
20
Co-authors
58
list available
Publications
5 items
Kani: A Model Checker for Rust
2026
Cited
0
Verifying the Rust Standard Library
2026
Cited
0
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
Co-authors
9 total
Daniel Kroening
Amazon
Jade Alglave
ARM and University College London
Stefan Kugele
Technische Hochschule Ingolstadt
Serdar Tasiran
S3, Amazon Web Services
Byron Cook
Professor of Computer Science, UCL, Amazon
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Alastair Donaldson
Imperial College London
Tom Melham
Professor of Computer Science, University of Oxford
