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

• 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
• Giacobbe M, Kroening D, Pal A et al. (2024). Neural Model Checking. nameOfConference

  
  

  DOI: 10.48550/arxiv.2410.23790

  
  

  QMRO: https://qmro.qmul.ac.uk/handle/123456789/101941
• Giacobbe M, Kroening D, Pal A et al. (2024). Neural Model Checking. Advances in Neural Information Processing Systems 37

  
  

  DOI: 10.52202/079017-2742

  
  

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