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