Tolga Ovatman

Tolga Ovatman got his PhD from Istanbul Technical University (ITU) Department of Computer Engineering. During his PhD he worked on formal methods and model checking as a visiting researcher in Denmark Technical University. After his PhD Tolga started working as a lecturer in ITU Faculty of Computer and Informatics. During his academic career he worked on applying formal methods and model checking in many different industrial projects including railway interlocking software and embedded TV software. He advocates that formal methods should be an integral part of software quality assurance efforts.