Univ.-Prof. M.Sc. Ph.D. Roderick Paul Bloem#

Univ.-Prof. M.Sc. Ph.D. Roderick Paul Bloem

Position

Univ. Dozent

Universität

Technische Universität Graz

Institut

Institut für Softwaretechnologie

Arbeitsgebiet

Trusted Computing, Protocol Analysis, Model
Checking, Debugging, Formal Verification, Fault Localization, Debugging, Model Checking,
Software Model Checking, Software, Programme, Programmierung, Entwicklung

E-Mail

roderick.bloem nospam@TUGraz.at @iaik.tugraz.at

Web-Site

https://online.tugraz.at/tug_online/visitenkarte.show_vcard?pPersonenGruppe=3&pPersonenId=9EBB2CB9B2CEDC2F

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Graz

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#