Muhammad Taimoor Khan

M.Sc. Dr. Muhammad Taimoor Khan

Contact

Short Curriculum Vitae

• 1978: Born in Dheedwal, Pakistan.
• 1995-1997: Studies of Mathematics and Physics (B.Sc.) at University of the Punjab, Lahore, Pakistan.
• 1998-2001: Studies of Computer Science (M.Sc.) at Islamia University Bahawalpur, Pakistan.
• 2007-2008: Studies of Computer Science (M.Sc. Advanced Distributed Systems with Distinction) at University of Leicester, UK.
• Oct. 2009- May. 2014: PhD student at DK Computational Mathematics, Johannes Kepler University, Linz, Austria.

Research Interests

• Formal Methods
• Formal Specification and Verification
• Computer Algebra Software

Activities

Presentations/Talks

• March 25, 2011: Formally Specified Computer Algebra Software(4), DK Come-together, Linz
  
• January 20, 2011: Formally Specified Computer Algebra Software(3), Hearing Seminar, Linz
  
• October 20, 2010: Report on Marktoberdorf Summer School, Formal Methods Seminar, Hagenberg
  
• October 6-8, 2010: Formally Specified Computer Algebra Software(2), DK Status Seminar, Strobl
  
• March 11, 2010: Formally Specified Computer Algebra Software(1), Hearing Seminar, Linz
  
• November 16, 2009: Abstraction Principle, Seminar Formal Methods, Linz
  
• October 1-3, 2009: Introduction , DK Status Seminar, Strobl
  

Summer Schools

• September 4-10, 2011: LASER Summer School for Software Engineering on Tools for Practical Software Verification at Elba, Italy
• August 3-15, 2010: International Summer School on Software and Systems Safety: Specification and Verification at Marktoberdorf, Germany

Research Stay(s)

• September 15-December 15, 2011: FoCaLiZe Group, ENSIIE, France