Semeráth Oszkár
Tudományos munkatárs, okl. mérnök informatikus, PhD
- Cím
- H-1117 Budapest, Magyar tudósok körútja 2., I épület, B.414. szoba
- semerath [at] mit.bme.hu
- Telefon
- +36 1 463-3586
- Honlap
- https://oszkarsemerath.github.io/
Kutatási területek és szakdolgozat témák
Modell-vezérelt tervezés
Metamodellezés, szakterület-specifikus nyelvek: Hogyan készítsünk saját programozási és modellező nyelveket?
Kódgenerálás: Hogyan oldjunk meg programozási feladatokat modellekkel automatikusan?
Eclipse alapú technológiák: Modellezőeszköz fejlesztése és integrációja a fejlesztőeszközzel.
Formális módszerek
Automatikus tételbizonyítók és következtetők: Bizonyítás vagy ellenpélda előállítása logikai következtetéssel.
Modellező nyelvek ellenőrzése: Hogyan ellenőrizzük különböző tulajdonságait egy modellező nyelvnek?
Modellező eszközök ellenőrzése: Tesztbemenetek generálása modellező eszközökhöz.
