Dr Michael Tautschnig

Teaching

Programming for Artificial Intelligence and Data Science (Postgraduate)

This module provides an intensive practical introduction to programming in Python, suitable for students with some degree of mathematical or statistical maturity. It covers a range of practical skills and underlying knowledge. These include the basic programming constructs for control, data structuring and modularisation; the use of systems for collaborative development and version control such as Git; unit testing and documentation; project structures and continuous integration/deployment.

Research

Research Interests:

Publications

• Delmas R, Hassan Z, Hu Q et al. (2026). Kani: A Model Checker for Rust. Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering

  
  

  DOI: 10.1145/3832783.3834499

  
  

  QMRO: qmroHref
• Peled R, Kroening D, Tautschnig M et al. (2026). Large Lemma Miners: Can LLMs Do Induction Proofs for Hardware?. Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence

  
  

  DOI: 10.24963/ijcai.2026/444

  
  

  QMRO: qmroHref
• An C, Bayless S, Buliani S et al. (2026). A Neurosymbolic Approach to Natural Language Formalization and Verification. nameOfConference

  
  

  DOI: 10.1007/978-3-032-32526-6_28

  
  

  QMRO: qmroHref
• An C, Bayless S, Buliani S et al. (2026). A Neurosymbolic Approach to Natural Language Formalization and Verification. nameOfConference

  
  

  DOI: 10.48550/arxiv.2511.09008

  
  

  QMRO: qmroHref
• Delmas R, Hassan Z, Hu Q et al. (2026). Kani: A Model Checker for Rust. nameOfConference

  
  

  DOI: 10.48550/arxiv.2607.01504

  
  

  QMRO: qmroHref
• Peled R, Kroening D, Tautschnig M et al. (2026). Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?. nameOfConference

  
  

  DOI: 10.48550/arxiv.2511.02521

  
  

  QMRO: qmroHref
• Cook B, Delmas R, Hassan Z et al. (2026). Verifying the Rust Standard Library. nameOfConference

  
  

  DOI: 10.48550/arxiv.2606.17374

  
  

  QMRO: qmroHref
• Cook B, Delmas R, Hassan Z et al. (2026). Verifying the Rust Standard Library. nameOfConference

  
  

  DOI: 10.1007/978-3-032-28079-4_19

  
  

  QMRO: qmroHref
• Bayer J, Zetzsche S, Bouissou O et al. (2026). Teaching LLMs Program Semantics via Symbolic Execution Traces. nameOfConference

  
  

  DOI: 10.48550/arxiv.2605.06184

  
  

  QMRO: qmroHref
• Giacobbe M, Kroening D, Pal A et al. (2025). Let a Neural Network be Your Invariant. Advances in Neural Information Processing Systems 38

  
  

  DOI: 10.52202/085713-2509

  
  

  QMRO: https://qmro.qmul.ac.uk/handle/123456789/114695