Department of Computer Science

• E-pub ahead of print

  Checking Data-Race Freedom of GPU Kernels, Compositionally

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Forthcoming

  Informed Autonomous Exploration of Subterranean Environments

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Forthcoming

  Kings in Multipartite Hypertournaments

  Research output: Contribution to journal › Article › peer-review

View all »

• Simple Methods for Artificial Intelligence Learning and Education

  Project: Research

• Conformal Martingales for Change-Point Detection

  Project: Research

• New advances in insecticide resistance genomics: using Machine Learning to predict resistance phenotype from large-scale genomic data

  Project: Research

View all »