Muhammad Taimoor Khan, Dr.

Taimoor Khan Postdoc of Formal Methods and Software Engineering
Software Engineering Research Group
Institute of Informatics Systems
Alpen-Adria Universität Klagenfurt
Universitätsstraße 65-67
9020 Klagenfurt, Austria

E-mail: muhammad.khan (ATdomain) aau (dot) at
Phone: +43 463 2700 3529
Office: E.2.70

My current research focus is on the application of formal methods to

  1. build reliable, secure and resilient embedded system applications and
  2. derive formal contracts from BIG CODE.
I am teaching these courses in this semester. I am also working as an Associate Tutor (for distance learning modules) with the University of Leicester, UK.


Jan. '18 - ∞

Nov. '17
  • I am invited speaker at a premier Europeon security conference DeepSec
  • I had an invited seminar at University of Leicester, UK
Oct. '17
  • I was a visiting scientist at University of Derby, UK
  • I had an invited talk at University of Derby, UK
Aug. '17
  • Visiting Energie Institute at JKU Linz for a potential joint EU proposal
  • Our paper "A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems" has been accepted in Electronics
Jul. '17
  • Our paper "Extracting Timed Automata from Java Methods" has been accepted at SCAM 2017, co-located with ICSME 2017 in Shanghai

Topic revision: r39 - 2017-12-22 - TaimoorKhan

Copyright © 2012-2018 by the Software Engineering Research Group, University of Klagenfurt, Austria