Personal Information
Organização/Local de trabalho
Izmir, Turkey Turkey
Cargo
ModelWriter Project Leader
Setor
Education
Site
www.modelwriter.eu
Sobre
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...
Marcadores
model-driven software development
applica
text-based knowledge extraction
natural language processing
Ver mais
Apresentações
(2)Gostaram
(21)Publish or Perish: Questioning the Impact of Our Research on the Software Developer
Margaret-Anne Storey
•
Há 4 anos
Converging Textual and Graphical Editors
meysholdt
•
Há 14 anos
Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned
Lionel Briand
•
Há 9 anos
Auto-GWT : Better GWT Programming with Xtend
Sven Efftinge
•
Há 9 anos
2010 06 22 omg - obeo
Etienne Juliot
•
Há 13 anos
Doc2model- Eclipse Con 2010
rfaudou
•
Há 14 anos
Eclipse Finance Day: Sirius for Finance
Etienne Juliot
•
Há 9 anos
Gerrit Code Review with GitHub plugin
Luca Milanesio
•
Há 10 anos
The Xtext Grammar Language
Dr. Jan Köhnlein
•
Há 9 anos
7 Quick Tips to Rock Your Next Presentation
Stinson
•
Há 9 anos
EclipseCon BPM Day Ludwigsburg - Roundtrip Modelling with Eclipse Stardust
Sopra Steria
•
Há 9 anos
Modeling in a Team Environment with EMF Compare and EGit
mikaelbarbero
•
Há 10 anos
News from EGit - Talk EclipseCon Europe 2014 - Ludwigsburg
msohn
•
Há 9 anos
What every Eclipse developer should know about EMF
Philip Langer
•
Há 9 anos
ESSENSE – A Kernel of Essentials for Software Engineering
Brian Elvesæter
•
Há 10 anos
Executable UML Roadmap (as of September 2014)
Ed Seidewitz
•
Há 9 anos
Executable UML and SysML Workshop
Ed Seidewitz
•
Há 14 anos
Xtext + Sirius = ♥ / EclipseCon Europe 2014
Cédric Brun
•
Há 9 anos
MDE 2.0.: pragmatic model verification and other stories - Habilitation public lecture
Jordi Cabot
•
Há 11 anos
MDE Diploma
Jordi Cabot
•
Há 13 anos
Model-driven Software Engineering in practice: Chapter 3 - MDSE Use cases
Jordi Cabot
•
Há 11 anos
Personal Information
Organização/Local de trabalho
Izmir, Turkey Turkey
Cargo
ModelWriter Project Leader
Setor
Education
Site
www.modelwriter.eu
Sobre
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...
Marcadores
model-driven software development
applica
text-based knowledge extraction
natural language processing
Ver mais