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

• Giacobbe M, Kroening D, Pal A et al. (2024). Neural Model Checking.. nameOfConference

  
  

  DOI: doi

  
  

  QMRO: qmroHref
• 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://uat2-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://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/70263
• Chong N, Cook B, Kallas K et al. (2020). Code-level model checking in the software development workflow. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice

  
  

  DOI: 10.1145/3377813.3381347

  
  

  QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/63239
• Beyer D, Dangl M, Lemberger T et al. (2019). Tests from Witnesses Execution-Based Validation of Verification Results. Tests and Proofs

  
  

  DOI: 10.1007/978-3-319-92994-1_1

  
  

  QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/70261
• Khazem K, Tautschnig M (2019). CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker. nameOfConference

  
  

  DOI: 10.1007/978-3-030-17502-3_13

  
  

  QMRO: qmroHref
• Khazem K, Tautschnig M (2019). CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker: (Competition Contribution). nameOfConference

  
  

  DOI: 10.1007/978-3-030-17502-3_13

  
  

  QMRO: qmroHref
• Cook B, Khazem K, Kroening D et al. (2018). Model Checking Boot Code from AWS Data Centers. Computer Aided Verification

  
  

  DOI: 10.1007/978-3-319-96142-2_28

  
  

  QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/44645