The research of the Foundations of Computing group involves the study of logic and its applications to computation. The group incorporates researchers active in a variety of areas ranging from theory of programming languages, formal verification and security to computational complexity. Applications of our work include mixed integer programming, as well as modelling and analysis of software components, quantum communication/cryptographic protocols and multi-agent systems. The group is led by Prof. Rajagopal Nagarajan.
For further information, please visit the group website.