Curriculum Vitae Gergely Kovasznai



Download 8.12 Kb.
Date07.08.2017
Size8.12 Kb.
#28603
Curriculum Vitae

Gergely Kovasznai
research fellow, director
IoT Research Institute
Eszterházy Károly University
Eger, Hungary
e-mail: kovasznai.gergely@uni-eszterhazy.hu

Degrees

  • 2007 PhD in mathematics and computer science (University of Debrecen)

  • 2001 MSc in computer science (University of Debrecen)

Positions

  • Since 2016 research fellow, IoT Research Institute, Eszterhazy Karoly University, Eger

  • Since 2015 director, IoT Research Institute, Eszterhazy Karoly University, Eger

  • 2014-2016 college associate professor, Department of Information Technology, Eszterhazy Karoly University of Applied Sciences, Eger

  • 2013-2014 post-doctoral fellow, Formal Methods in Systems Engineering Group, Vienna University of Technology, Vienna (Austria) 

  • 2011-2013 post-doctoral fellow, Institute for Formal Models and Verification, Johannes Kepler University Linz, Linz (Austria)

  • 2007-2011 assistant professor, Department of Information Technology, Eszterhazy Karoly University of Applied Sciences, Eger 

  • 2005-2007 assistant professor, Department of Information Technology, University of Debrecen, Debrecen

  • 2002-2003 pre-doctoral fellow, Computer Vision and Image Processing Group, Aristotle University of Thessaloniki, Thessaloniki (Greece)

Research interest

  • formal verification, formal methods

  • automated theorem proving, artificial intelligence

Teaching experience

  • software development (OOP, logic programming)

  • computational complexity theory

  • logic, formal verification

Memberships

  • Comittee on Informatics and Computer Science, Hungarian Academy of Sciences

  • EATCS (European Association for Theoretical Computer Science)

  • AAR (Association for Automated Reasoning)

  • SAT Association

Languages

  • Hungarian (native)

  • English (C1)

  • German (A2)


Download 8.12 Kb.

Share with your friends:




The database is protected by copyright ©ininet.org 2024
send message

    Main page