Get my own profile
Public access
View all56 articles
2 articles
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
Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Xuan BiThe University of Hong KongVerified email at cs.hku.hk
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 Technology and University of GothenburgVerified email at chalmers.se
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerified email at chalmers.se
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
Yanlin WangSun Yat-sen UniversityVerified email at mail.sysu.edu.cn
Haoyuan ZhangThe University of Hong KongVerified email at cs.hku.hk
Martin OderskyEPFLVerified email at epfl.ch
Follow![Bruno C. d. S. Oliveira](/citations/images/avatar_scholar_128.png)
![Bruno C. d. S. Oliveira](/citations/images/avatar_scholar_128.png)
Bruno C. d. S. Oliveira
Associate Professor, The University of Hong Kong
Verified email at cs.hku.hk - Homepage