Muhammad Taimoor Khan is a post-doc assistant with Institute of Informatics, Alpen-Adria University Klagenfurt. He holds a PhD from Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Austria (2014) and a Masters in Advanced Distributed Systems from University of Leicester, UK (2008). Prior to that, he graduated from Islamia University Bahawalpur (2001) in Computer Science. He has won various research awards including best paper award(s). In the last decade, he has been applying formal methods as a powerful tool to assure reliability and security of various software systems, for instance, industrial control systems and computer mathematics based systems, to name a few. He has extensive experience in the both, software industry and research institutes. He has been working as a scientist in various premier international research institutes, including INRIA, France and MIT CSAIL, USA; he is jointly working with these institutes now.