Curriculum Vitae Gergely Kovasznai

Download 8.12 Kb.

Date	07.08.2017
Size	8.12 Kb.
	#28603

Research interest formal verification, formal methods automated theorem proving, artificial intelligence Teaching experience

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)

Directory: public -> uploads
uploads -> The Baseball Project —
uploads -> Bshara El-Khoury, Beirut Date of Birth: 10-6-1992
uploads -> Tobacco Prevention and Control Coalition
uploads -> Etisalat Afghanistan gsm 900/1800
uploads -> Choosing Authoring Tools Advanced Distributed Learning (adl) Initiative
uploads -> Fazzt® Digital Delivery System
uploads -> Information technology
uploads -> Live from Atlanta
uploads -> Maternal positions and mobility during first stage labour

Download 8.12 Kb.

Share with your friends: