Dr. Viliam Simko

Wissenschaftlicher Mitarbeiter

Career

Viliam Simko studierte Informatik an der Charles University in Prague (CUNI). Die Schwerpunkten seiner Doktorarbeit waren Requirements Engineering, Formal Methods, Natural Language Processing und Machine Learning. Er verteidigte seine Promotion erfolgreich mit dem Titel „From textual specification to formal verification“. Danach arbeitete er am Karlsruher Instituts für Technologie (KIT) als Wissenschaftlicher Mitarbeiter bei Prof. Ralf Reussner im Rahmen von Marie Curie RELATE-ITN Projekt.

Viliam Simko arbeitet jetzt als Wissenschaftlicher Mitarbeiter am FZI bei Prof. Thomas Setzer im Forschungsbereich IPE. Er ist aktiv beteiligt am Forschungsprojekt CoRCoM und leitet das Forschungsprojekt BigGIS.

Wissenschaftliche Interessen

  • Data mining
  • Natural language processing in the area of software engineering
  • Lightweight formal methods
  • Component-based software engineering
  • Meta-modeling
  • Concurrency

Contact

Phone: +49 721 9654-810
Mobile: +49 176 293 99 543
Fax: +49 721 9654-811
E-Mail: simko@dont-want-spam.fzi.de