Site Overview

On this site you can find some info about me, including a kind of CV, professional experiences, research, and interests.

Recently, I am working as a researcher on computer science, however, I feel also being a developer and a teacher. Furthermore, I feel by all means being a hiker, a biker, and a runner. And a photographer. And a musician, still, a little bit. And, yeah, a movie fan.



In connection with research, I used to deal with automated theorem proving in first-order logic (and modal logic), especially with tableau methods. To be more precise, I invented a kind of hyper tableau method, and I wrote my PhD thesis about it.
Meantime, I used to investigate multi-modal computer interfaces and natural language interfaces.
However, recently, I do research on SAT, QBF, DQBF and SMT solving. On the Research page, you can find my CV and publication list.

Software Development

Regarding software development, I develop mostly in OO languages like C++, Java, and C#. In the latter years, I got lost principally in the .NET universe, since I taught C# programming and .NET technologies like WPF, LINQ, and Silverlight.
Recently, C and C++ development dominates my working hours, and, sometimes, some declarative languages like Prolog (which I got used to in my automated-theorem-proving-period).

Recent Posts

  • Habilitation completed! Recently I successfully defended my habilitation thesis with title "Computational Complexity and Solving Approaches for Bit-Vector Reasoning".The thesis can be accessed in the list of my publications.
    Posted Dec 6, 2018, 5:35 AM by Gergely Kovásznai
  • SMT 2018 paper With my co-author, Balázs Erdélyi, we recently participated in the SMT 2018 workshop (aff. to IJCAR 2018) in Oxford, UK. This was part of the huge FLoC conference! I ...
    Posted Jul 24, 2018, 7:55 AM by Gergely Kovásznai
  • Future IoT 2018 paper I recently gave a talk on the IEEE Future IoT 2018 conference in Eger, Hungary, about our investigations on what makes WNS benchmarks challenging for OMT solvers.Check out the ...
    Posted Jul 24, 2018, 7:53 AM by Gergely Kovásznai
Showing posts 1 - 3 of 21. View more »


I take photos mostly when I am hiking. Hence, you can find a bunch of mountain photos on the Photos page, from all seasons, and from several countries.
I do also like to stop for a while and discover the miniature world of insects and water drops and flowers, etc.


My musical taste is quite mixed. Nevertheless, I prefer tasteful mixtures of different music styles by different nations. This means that I do definitely like world music, together with jazzy and electronic ingredients, and heavy drums and dominant bass. Some of such pieces originates in psychedelic adventures, but I don't care. :)
On the Music page, you can find a few links to valuable performers, including Hungarian music groups, which are worth listening to.


A good director is the key ingredient for a good movie. My favorite directors are Martin Scorsese, Darren Aronofsky, Quentin Tarantino, Danny Boyle, and the Coen brothers. Check out the movie parts on the Movies page.