Faculty of Computer Science and Technology
About this community
Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing
The Computer Laboratory undertakes research in a broad range of subjects within the disciplines of Computer Science, Engineering, Technology, and Mathematics. Current research areas include bioinformatics, computer architecture, computer vision, distributed systems, graphics and human-computer interaction, logic and semantics, machine learning, natural language processing, networking and wireless communication, operating systems and virtualization, programming, security, and sustainable computing.
Collections in this community
Recent Submissions
-
Cubical Models of Homotopy Type Theory - An Internal Approach
(2019-02-23)This thesis presents an account of the cubical sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as ... -
Towards justifying computer algebra algorithms in Isabelle/HOL
(2019-07-31)As verification efforts using interactive theorem proving grow, we are in need of certified algorithms in computer algebra to tackle problems over the real numbers. This is important because uncertified procedures can ... -
Text readability and summarisation for non-native reading comprehension
(2019-07-20)This thesis focuses on two important aspects of non-native reading comprehension: text readability assessment, which estimates the reading difficulty of a given text for L2 learners, and learner summarisation assessment, ...
