Dr Florian Kammueller

Professional Bio:

Florian Kammueller is an Associate Professor in the Department of Computer Science at Middlesex University London (MDX) and Privatdozent (honorary professor) at Technische Universitaet Berlin. Florian holds a PhD from the University of Cambridge on ”Modular Reasoning in Isabelle” and

a Habilitation from Technische Universitaet Berlin on "Interactive Theorem Proving in

Software Engineering".

Florian is leading the research group SETA for Software Engineering, Theory and Algorithms at MDX which has bi-weekly meeting -- please come along: seta.mdx.ac.uk for details.

Florian Kammueller is an Associate Professor in the Department of Computer Science at Middlesex University London (MDX) and Privatdozent (honorary professor) at Technische Universitaet Berlin.He is teaching on the BSc and MSc programmes in Computer Science and the MSc on Data Science at MDX and organizes annually Isabelle Labs as Summer Schools at TU Berlin and MDX.

Florian holds a PhD from the University of Cambridge on ”Modular Reasoning in Isabelle” and a Habilitation from Technische Universitaet Berlin on "Interactive Theorem Proving in Software Engineering". His research is centred around interactive theorem proving and applications of formal methods to software and security engineering. He has contributed to several research projects in Germany, France and the UK and has been leading the European CHIST-ERA project SUCCESS on security and privacy for the IoT where formal security engineering is applied to support transparent health care monitoring systems.

Personal Bio:

Florian likes very much countryside walks in the beautiful surroundings of London, as well as drawing and painting. He is engaged in cultural encounters across borders supporting them by international research activities and exchanges.