Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
- Jules JacobsRadboud UniversityVerified email at science.ru.nl
- Patrick EugsterProf. Università della Svizzera italiana (USI), Adjunct Prof. Purdue UniversityVerified email at usi.ch
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Ankush DasAssistant Professor, Boston UniversityVerified email at bu.edu
- Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- Alex PotaninAssociate Professor, Australian National UniversityVerified email at anu.edu.au
- Benjamin ChungPostdoc, University of WashingtonVerified email at uw.edu
- Bertrand MeyerProfessor of Software Engineering, Constructor UniversityVerified email at inf.ethz.ch
- Farzaneh DerakhshanIllinois Institute of TechnologyVerified email at iit.edu
- Peter MüllerETH ZurichVerified email at inf.ethz.ch