Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia
Topics
Programming Languages Automata and Formal Languages
Biography
Besik Dundua is an expert in formal methods. He received his PhD degree from the University of Porto in computer science. Afterwards, he worked as a postdoc and visiting researcher in Brazil (University of Brasilia), Austria (Johannes Kepler University Linz), and Germany (The University of Stuttgart). His work concerns various aspects of verification, computational logic, and formal languages: foundational formalisms, computational mechanisms, and implementation ideas. He has published more than 20 papers on those topics and presented his work at more than 30 conference.
Dundua has been involved in several nationally and internationally funded research projects on computational logic, formal verification of cryptographic protocols, rule-based programming, and formal languages and has often been the principal investigator. He has been awarded four special grants for young scientists: The Presidential Award in 2010, Aleksandre Kartvelishvili Fellowship in Engineering and Technologies (an annual competition where only first place holder is awarded with a scholarship) in 2019, and the Rustaveli Foundation grants in 2015 and 2018. Dundua often reviews for conferences and journals in his field, is involved in the university teaching and curriculum development in Georgia, and works with bachelor, master, and PhD students.
