Research‎ > ‎

Curriculum Vitae

Dr. Gergely Kovásznai

computer scientist/software developer, PhD

Personal Profile:

Date of BirthMay 10, 1977

Work Experience:

2014-Department of Information Technology, Eszterházy Károly College, Eger, Hungary
associate professor
2013-2014Formal Methods in Systems Engineering Group, Vienna University of Technology, Vienna, Austria
postdoctoral fellow
2011-2013Institute for Formal Models and Verification, Johannes Kepler University, Linz, Austria
postdoctoral fellow
2007-2011Department of Information Technology, Eszterházy Károly College, Eger, Hungary
assistant professor
2005-2007Department of Information Technology, University of Debrecen, Debrecen, Hungary
assistant professor
2002-2003AIIA Laboratory, Aristotle University of Thessaloniki, Thessaloniki, Greece
predoctoral fellow
2001-2005Department of Computer Science, University of Debrecen, Debrecen, Hungary
PhD student

Research Projects:

2011-2014Project RiSE: Rigorous systems engineering
2009-2010Austrian-Hungarian Intergovernmental S&T Cooperation Program (TéT): Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles
2005-2009Project OTKA: Abstract Automata and Formal Languages
2002-2003Project MUHCI: Multi-Modal Human-Computer Interaction

Education and Qualifications:

2001-2005PhD (Computer Science), University of Debrecen
thesis: Multi-Hyper Tableaux in Automated Theorem Proving
    (defended in November 2007, summa cum laude)
1996-2001Computer Scientist/Mathematician (BSc, MSc), University of Debrecen
thesis: The SOFIA Theorem Prover


2008Scientific honor by the Hungarian Academy of Science 
2001National Scientific Students’ Associations Conference (OTDK) – special prize
    title: The SOFIA Theorem Prover
2000Scholarship at Adaptive Recognition Hungary Ltd., Budapest, Hungary
    topic: digital image processing, optical character recognition
2000Summer School on Image Processing (SSIP) 2000, Zagreb, Croatia – 1st prize
1999SSIP ’99, Szeged, Hungary – 1st prize