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.

News

Sep. '17 - ∞

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: r38 - 2017-08-23 - TaimoorKhan
 

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