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 Courses in SS2017. I am also working as an Associate Tutor (for distance learning modules) with the University of Leicester, UK.

Topic revision: r27 - 2017-07-19 - TaimoorKhan

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