Waheed Aslam Ghumman, M. Sc.


Waheed Aslam Ghumman, M. Sc.


Short CV:

04/2012 - today

Research Associate at Faculty of Electrical Engineering and Computer ScienceUniversity of Applied Science Zittau/Görlitz

09/2008 - 09/2010

Master of Computational Logic at University of Technology Dresden, Germany (2nd year) and Universidad Politécnia de Madrid, Spain (1st year)
(Master's thesis: A * n-Best Hyperpaths in Haskell)

02/2009 - 07/2009

Research Intern at IMDEA Software, Spain

06/2008 - 08/2008

Senior Software Engineer at Xavor Corporation, Pakistan

03/2006 - 05/2008

Software Engineer at Kabot International, Pakistan

03/2002 - 03/2006

Bachelor of Computer Science (Honors) at University of the Punjab, Pakistan

Working Fields


  • Formal Methods
  • Automated Software Verification
  • Cloud Computing
  • Distributed Systems