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

• Bayless S, Buliani S, Cassel D et al. (2025). A Neurosymbolic Approach to Natural Language Formalization and Verification. nameOfConference

  
  

  DOI: 10.48550/arxiv.2511.09008

  
  

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

  
  

  DOI: 10.48550/arxiv.2511.02521

  
  

  QMRO: qmroHref
• 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/xmlui/handle/123456789/101941
• (2024). Neural Model Checking. Advances in Neural Information Processing Systems 37

  
  

  DOI: 10.52202/079017-2742

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/103526
• Giacobbe M, Kroening D, Tautschnig M et al. (2024). Neural Model Checking.. nameOfConference

  
  

  DOI: doi

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/105275
• Kroening D, Schrammel P, Tautschnig M (2023). CBMC: The C Bounded Model Checker. nameOfConference

  
  

  DOI: 10.48550/arxiv.2302.02384

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/101939
• Beyer D, Dangl M, Dietsch D et al. (2022). Verification Witnesses. nameOfConference

  
  

  DOI: 10.1145/3477579

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/92291
• Beyer D, Dangl M, Dietsch D et al. (2022). Verification Witnesses.. nameOfConference

  
  

  DOI: doi

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/101938
• Chong N, Cook B, Eidelman J et al. (2021). Code-level model checking in the software development workflow at Amazon Web Services. nameOfConference

  
  

  DOI: 10.1002/spe.2949

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/70863
• Cook B, Döbel B, Kroening D et al. (2020). Using model checking tools to triage the severity of security bugs in the Xen hypervisor. Formal Methods in Computer Aided Design

  
  

  DOI: 10.34727/2020/isbn.978-3-85448-042-6_26

  
  

  QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/70263