Tolga Ovatman
Associate Professor
Turkey
Summary
👤
Senior🎓
Top SchoolTolga Ovatman is an Associate Professor and experienced academic leader at Istanbul Technical University with nine years of postdoctoral professional experience and a research career spanning work on software engineering for parallel systems and formal methods. He bridges theory and practice by applying model-checking and formal verification techniques—work that included using UPPAAL CORA during a Guest PhD stint in Denmark and exploring implicit parallelism as a visiting scholar in the U.S. As Vice Dean and former Vice Chair, he has shaped curriculum and faculty strategy while consulting for industry through R&D roles, helping transfer formal-methods rigor into practical software projects. His background in AI for real-time systems and parallel software engineering gives him a rare blend of expertise in concurrency, verification, and dependable system design. Colleagues value him for turning deep theoretical tools into actionable engineering practices that improve software reliability in embedded and concurrent systems. Based in Turkey, he continues to mentor researchers and collaborate with industry to advance certified, verifiable software development.
9 years of coding experience
14 years of employment as a software developer
BSc, Computer Science and Engineering, BSc, Computer Science and Engineering at Hacettepe UniversityPhD, Software Engineering for Parallel Systems, PhD, Software Engineering for Parallel Systems at Istanbul Teknik ÜniversitesiMSc, Artificial Intelligence for Real-Time Systems, MSc, Artificial Intelligence for Real-Time Systems at Istanbul Technical University
English
Github Skills (5)
verification6
tlaplus4
dataflow-programming3
eda3
semantics1
Programming languages (2)
Github contributions (5)
ovatman/BLG223E-2021
Jul 2021 - Sep 2021
Contributions:13 commits, 17 pushes, 1 branch in 2 months
ovatman/BLG223E
Sep 2020 - Jan 2021
Contributions:34 pushes, 8 tags in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.