Ferhat Erata

Izmir, Turkey Turkey

ModelWriter Project Leader

Education

I received double B.Sc. degrees in industrial engineering and computer engineering in 2007 and 2008 respectively. Then I received my M.Sc. degree in Information Technologies from International Computer Institute at Ege University, Turkey in 2010. Since 2008, I've been involving as a software engineer and researcher in several R&D projects which mainly apply model-based software/system engineering and formal methods to industry. I am currently a PhD candidate in Information Technology group at the Wageningen University, The Netherlands since 2016. My research interests include formal languages, decision procedures, formal verification, program analysis and automated reasoning. Since 2014...