Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
- Jean VanderdoncktFull Professor of Computer Science, Université catholique de LouvainVerified email at uclouvain.be
- Donatien GrolauxLecturer of Computer Sciences, ICHEC Brussels Management SchoolVerified email at ichec.be
- Gert SmolkaProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at ps.uni-saarland.de
- Christopher MeiklejohnPh.D. StudentVerified email at cs.cmu.edu
- Fred SpiessensVerified email at evoluware.eu
- Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
- Manuel BravoResearcher at Informal SystemsVerified email at informal.systems
- Zhongmiao LiMicrosoftVerified email at microsoft.com
- Luís VeigaAssociate Professor, Instituto Superior Técnico (U.Lisboa) & INESC-IDVerified email at ist.utl.pt
- Pradeeban KathiraveluAssistant Professor, University of Alaska AnchorageVerified email at alaska.edu
- Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKVerified email at uib.no
- Luis RodriguesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
- Sébastien CombéfisMinistère de la Fédération Wallonie-Bruxelles (MFWB)Verified email at combefis.be
- Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
- Paolo RomanoINESC-ID/Instituto Superior Técnico, University of LisbonVerified email at gsd.inesc-id.pt
- Yves DevilleProfessor of Computer Science, Université catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
- Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.Verified email at fe.up.pt
- Kim MensUniversité catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
Follow
Peter Van Roy
Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain
Verified email at uclouvain.be - Homepage