Mosharaka for Research and Studies
Login/Sign Up
Main Menu
Users Menu
Quick Links
Next Congress
Congresses

All Forthcoming Congresses

Conferences

All Forthcoming Conferences

324 days remaining to submit papers to MIC-Multimedia 2021 in Istanbul, Turkey
Users Links
User Information
  • Summary
  • Papers
  • Chairings
  • Committees
  • Reviews
  • Talks
Summary Information of Dr. Besik Dundua
Name Dr. Besik Dundua
Affiliation 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.
User Since Thursday, 20 February 2020
User Page Views 94
User Contribution Index (UCI) 0.03
Published Papers of Dr. Besik Dundua
Conference Chairings of Dr. Besik Dundua
Conference Committees of Dr. Besik Dundua
Program Committees
TrackConferenceDates and Location
Software Engineering and Applications (Software)MIC- 196931-30 December 1969 in ,
Paper Reviews by Dr. Besik Dundua
There are no registered reviews of Dr. Besik Dundua
Conference Talks by Dr. Besik Dundua