Formella metoder

Computing Science

Data- och informationsteknik

Rektor

hazemto

<p><em>I lead the lab for Safe and Trustworthy Autonomous Reasoning. Previously, I was a postdoctoral researcher in the EECS Department at UC Berkeley, USA. I obtained my Ph.D. in 2019 from Saarland University, Germany. My research focus is the development of theoretical foundations and techniques for the construction of safe and reliable autonomous cyber-physical systems.</em></p>

ORCID

Google Scholar

STARlab

Homepage

hazemto_Hazem_Torfah

Personer

Välj ämne

Kursplan för

Ämne

Utbildningsområde

Tillåtna byten av obligatoriska kurser

För att se din utbildningsplan – välj det läsår du påbörjade programmet.

Hazem Torfah

Kontakta mig

Mina länkar