KNAW

Prof.dr. J.C. van de Pol Person

Prof.dr. J.C. van de Pol

Expertise Model checking; Informatics; Reliability analysis; communication protocols; computer science; Dependability; Embedded systems; Formal methods; Programming languages; Game Theory; Mathematical programming; Model-based performance-analysis; Real-time embedded control systems; Software engineering; System verification; Algorithmic Game Theory; Formal languages theory
Expertise (NL) Model checking; Informatica; Betrouwbaarheidsanalyse; Communicatieprotocollen; Computer Science; Dependability; Embedded systemen; Formele methoden; Programmeertalen; Game Theory; Mathematisch programmeren; Model-gebaseerde prestatie-analyse; Real-time embedded regelsystemen; Software engineering; Systeemverificatie; Algorithmic Game Theory; Formele talen theorie
Digital Author ID info:eu-repo/dai/nl/109716922

Active as

Programme leader / Group leader
Organisation Centrum Wiskunde & Informatica (CWI), the national research center for mathematics and computer science in the Netherlands (NWO)
Phone +31-20-5924137
Email Jaco. van. de. Pol -at- cwi. nl
URL http://homepages.cwi.nl/~vdpol/
Professor
Organisation Chair Formal Methods and Tools (UT)
Chair (EN) Formal Methods and Tools
Chair (NL) Formal Methods and Tools
Phone +31-53-4893017
Email jaco. vandepol -at- utwente. nl
URL http://wwwhome.cs.utwente.nl/~vdpol/
Management
Organisation Centre for Telematics and Information Technology - CTIT (UT)
Email jaco. vandepol -at- utwente. nl

Publications

Enhanced publications

Current research

Completed research projects

Classification


Go to page top
Go back to contents
Go back to site navigation