Formal Methods and Tools

Search results

• 

  Faizan Ahmed

  • Formal Methods and Tools - Lecturer
  • Digital Society Institute - Lecturer

  Person: Academic

  20132023
• 

  Lukas Armborst

  • Formal Methods and Tools - Internal PhD Candidate
  • Digital Society Institute - Internal PhD Candidate

  Person: Academic

  20212023
• 

  Yeray Barrios-Fleitas

  • y.d.c.barriosfleitasutwentenl

  • Formal Methods and Tools - Lecturer, Internal PhD Candidate
  • Digital Society Institute - Lecturer

  Person: Academic

  20152022
• 

  Ed Brinksma

  • Formal Methods and Tools - Full Professor

  Person: PNUT

  19872017
• 

  Hajo Broersma

  • Formal Methods and Tools - Full Professor
  • Digital Society Institute - Full Professor

  Person: Academic

  19872023
• 

  Marcus Gerhold

  • Formal Methods and Tools - Assistant Professor
  • Digital Society Institute - Assistant Professor

  Person: Academic

  20152023
• 

  Marieke Huisman

  • Formal Methods and Tools - Full Professor
  • Digital Society Institute - Full Professor

  Person: Academic

  19982023
• 

  David J. Huistra

  • Formal Methods and Tools
  • Digital Society Institute

  Person: Administrative

  20182018
• 

  Joost-Pieter Katoen

  • Formal Methods and Tools - Full Professor
  • Digital Society Institute - Full Professor

  Person: Academic

  19922023
• 

  Rom Langerak

  • Formal Methods and Tools - Associate Professor
  • Digital Society Institute - Associate Professor

  Person: Academic

  19902021
• 

  Milan Abel Lopuhaä - Zwakenberg

  • Formal Methods and Tools - Assistant Professor
  • Digital Society Institute - Assistant Professor

  Person: Academic

  20152023
• 

  Hajo Molegraaf

  • Formal Methods and Tools - Researcher

  Person: PNUT

  20082022
• 

  Stefano Maria Nicoletti

  • Formal Methods and Tools - Internal PhD Candidate
  • Digital Society Institute - Internal PhD Candidate

  Person: Academic

  20212023
• 

  Arend Rensink

  • Formal Methods and Tools - Full Professor
  • Digital Society Institute - Full Professor

  Person: Academic

  19882023
• 

  Bob Rubbens

  • Formal Methods and Tools - Internal PhD Candidate
  • Digital Society Institute - Internal PhD Candidate

  Person: Academic

  20212023
• 

  Mariëlle I.A. Stoelinga

  • Formal Methods and Tools - Full Professor
  • Digital Society Institute - Full Professor

  Person: Academic

  20042023
• 

  Jaco van de Pol

  • Digital Society Institute - Full Professor
  • Formal Methods and Tools - Full Professor

  Person: PNUT

  20072022
• 

  Tom van Dijk

  • Formal Methods and Tools - Assistant Professor
  • Digital Society Institute - Assistant Professor

  Person: Academic

  20122023
• 

  Tannaz Zameni

  • Formal Methods and Tools - Internal PhD Candidate
  • Digital Society Institute - Internal PhD Candidate

  Person: Academic

  20222023
• 

  Vadim Zaytsev

  • Formal Methods and Tools - Associate Professor
  • Digital Society Institute - Associate Professor

  Person: Academic

  20202023