Personenprofil

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Mitglied
Fachbereich LogiCS	Mitglied

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Logic and Computation	No additional information is available.	100

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic