Profiles
- 27 results
Search results
-
-
-
-
-
Fernando Castor de Lima Filho
- Digital Society Institute - Associate Professor
- Formal Methods and Tools - Associate Professor
Person: Academic
-
-
Marcus Gerhold
- Digital Society Institute - Assistant Professor
- Formal Methods and Tools - Assistant Professor
Person: Academic
-
Marieke Huisman
- Digital Society Institute - Full Professor
- Formal Methods and Tools - Full Professor
Person: Academic
-
-
-
Joost-Pieter Katoen
- Digital Society Institute - Full Professor
- Formal Methods and Tools - Full Professor
Person: Academic
-
Rom Langerak
- Digital Society Institute - Associate Professor
- Formal Methods and Tools - Associate Professor
Person: Academic
-
Milan Abel Lopuhaä - Zwakenberg
- Digital Society Institute - Assistant Professor
- Formal Methods and Tools - Assistant Professor
Person: Academic
-
-
Stefano M. Nicoletti
- Digital Society Institute - Researcher
- Formal Methods and Tools - Researcher
Person: Academic
-
-
Arend Rensink
- Digital Society Institute - Full Professor
- Formal Methods and Tools - Full Professor
Person: Academic
-
Bob Rubbens
- Digital Society Institute - Internal PhD Candidate
- Formal Methods and Tools - Internal PhD Candidate
Person: Academic
-
-
-
Mariëlle I.A. Stoelinga
- Digital Society Institute - Full Professor
- Formal Methods and Tools - Full Professor
Person: Academic
-
-
Petra van den Bos
- Digital Society Institute - Assistant Professor
- Formal Methods and Tools - Assistant Professor
Person: Academic
-
Jaco van de Pol
- Digital Society Institute - Full Professor
- Formal Methods and Tools - Full Professor
Person: PNUT
-
Tom van Dijk
- Digital Society Institute - Assistant Professor
- Formal Methods and Tools - Assistant Professor
Person: Academic
-
Tannaz Zameni
- Digital Society Institute - Internal PhD Candidate
- Formal Methods and Tools - Internal PhD Candidate
Person: Academic
-
Vadim Zaytsev
- Formal Methods and Tools - Associate Professor
- Digital Society Institute - Associate Professor
Person: Academic
