Algorithms and Logics for Verification

Search results

• 

  Menno Bartels

  • m.m.g.bartelstuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - Doctoral Candidate-TA

  Person: OWP : University Teacher / Researcher

• 

  Roel Bloo

  • c.j.blootuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - University Lecturer
  • Mathematics and Computer Science, Formal System Analysis - University Lecturer

  Person: OWP : University Teacher / Researcher

  19942012
• 

  Clemens Dubslaff

  • c.dubslafftuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
  • EAISI - Assistant Professor
  • Mathematics and Computer Science, Formal System Analysis - Assistant Professor

  Person: UD : Assistant Professor

  20122025
• 

  Louis C.M. van Gool

  • l.c.m.v.gooltuenl

  • Mathematics and Computer Science, Formal System Analysis - University Researcher
  • Mathematics and Computer Science, Algorithms and Logics for Verification - University Researcher

  Person: OWP : University Teacher / Researcher

  19992025
• 

  Lars van den Haak, MSc

  • l.b.v.d.haaktuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - University Lecturer

  Person: OWP : University Teacher / Researcher

  20202024
• 

  Tar M.K. van Krieken

  • t.m.k.v.kriekentuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - Doctoral Candidate

  Person: Prom. : doctoral candidate (PhD)

• 

  Maurice Laveaux, MSc

  • m.laveauxtuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - ICT Developer
  • Mathematics and Computer Science, Formal System Analysis - ICT Developer

  Person: OBP : Supportive and management staff

  20192023
• 

  Thomas Neele

  • t.s.neeletuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
  • Mathematics and Computer Science, Formal System Analysis - Assistant Professor

  Person: UD : Assistant Professor

  20152025
• 

  Matthias Volk

  • m.volktuenl

  • Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
  • Mathematics and Computer Science, Formal System Analysis - Assistant Professor

  Person: UD : Assistant Professor

  20192025
• 

  Tim A.C. Willemse

  • t.a.c.willemsetuenl

  • Mathematics and Computer Science, Formal System Analysis - Associate Professor
  • Mathematics and Computer Science, Algorithms and Logics for Verification - Associate Professor
  • EAISI High Tech Systems - Associate Professor

  Person: UHD : Associate Professor

  19992025