Get my own profile
Public access
View all54 articles
1 article
available
not available
Based on funding mandates
Co-authors
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be- Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
- Xuan BiThe University of Hong KongVerified email at cs.hku.hk
- Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
- Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
- Weixin ZhangUniversity of BristolVerified email at cs.hku.hk
- Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
- Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
- Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
- Marcel BöhmeMax Planck Institute for Security & PrivacyVerified email at mpi-sp.org
- Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
- Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityVerified email at uu.nl
- Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerified email at chalmers.se
- Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
- Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
- Haoyuan ZhangThe University of Hong KongVerified email at cs.hku.hk
- Yanlin WangSun Yat-sen UniversityVerified email at mail.sysu.edu.cn
- Martin OderskyEPFLVerified email at epfl.ch
Follow
Bruno C. d. S. Oliveira
Associate Professor, The University of Hong Kong
Verified email at cs.hku.hk - Homepage