04/2012 - today | Research Associate at Faculty of Electrical Engineering and Computer Science, University 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 |