English
Magyar
Gábor Huszerl
mesteroktató
Contact information
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB417
Phone:
+36 1 463-3586
Fax:
+36 1 463-4112
Email:
huszerl (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~huszerl/indexe.html Education
Research
Projects:
- Dependable IT services (2004 - 2005)
- ETAPS 2008 conference (2006 - 2008)
- Hidenets (2006 - 2008)
- OO systems'' dependability (2000 - 2002)
- Robust object-oriented systems (2001 - 2003)
- Self-checking in programs (2004 - 2006)
- SENSUS 2009 (2009 - 2009)
- UML Based Process-modelling (2000 - 2001)
- Verification of FT systems (1999 - 2001)
- Verification of UML-based models (1999 - 2001)