Dr Michael TautschnigLecturerEmail: michael.tautschnig@qmul.ac.ukTelephone: +44 20 7882 5226Room Number: Peter Landin, CS 432Website: http://www.tautschnig.netOffice Hours: Tuesday 13:00-14:30TeachingResearchPublicationsTeachingProgramming 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.ResearchResearch Interests:Software VerificationConcurrencyDecision ProceduresPublications