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's research is centered 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.

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

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.