Waheed Aslam Ghumman, M. Sc.

Short CV

04/2012 - 12/2014

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

Letzte Änderung:10. November 2016

Coordinates

 

formerly post address:
Hochschule Zittau/Görlitz
Obermarkt 17, GIII
D-02826 Görlitz
Germany

undefinedw.ghumman@hszg.de

Anmelden
Direktlinks & Suche
Lade Suchmaske...