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
-
Public Engagement Technology for Bioacoustic Citizen Science
(2020-11)Inexpensive mobile devices offer new capabilities for non-specialist use in the field for the purpose of conservation. This thesis explores the potential for such devices to be used by citizen scientists interacting with ... -
Cartesian closed bicategories: type theory and coherence
In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence ...
