Saved pages

    Close window

    Section navigation

    Foundations of Computing group

    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.

    In this section

    Back to top

    We use Cookies

    View our Privacy and Cookie policy