BME-MIT
Telbisz Csanád
doktorandusz
ORCID
Google ScholarE-mail cím
telbisz
Iroda
IL405
Telbisz Csanád a Kritikus Rendszerek Kutatócsoport tagja. Doktori témavezetője Semeráth Oszkár.
Oktatási témájú levelezésre a következő email-cím használatát preferálom: csanadtelbisz@edu.bme.hu
A Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusz hallgatója vagyok, kutatási területem az informatikatudomány. Elsősorban a többszálú programok modellellenőrzésével és logikai megoldókkal foglalkozom. Ezenkívül ismerem a SysML és a SysML v2 eszközkészletét: ezeket a technológiákat ipari kutatási projektjeimben is alkalmaztam.
A Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusz hallgatója vagyok, kutatási területem az informatikatudomány. Elsősorban a többszálú programok modellellenőrzésével és logikai megoldókkal foglalkozom. Ezenkívül ismerem a SysML és a SysML v2 eszközkészletét: ezeket a technológiákat ipari kutatási projektjeimben is alkalmaztam.