Contact us. The latest information and advice for students, staff and prospective students. Join a vibrant student community in a world-class department Rankings Choose from a wide range of single and joint honours degrees Degree finder Learn more about UG studies in the School of Informatics Check our taught postgraduate opportunities Masters programmes Centres for Doctoral Training Learn about our research postgraduate degrees Research degrees Learn more about PG studies in the School of Informatics.
Latest news. New to Informatics? Watch our videos! Watch our videos to find out more about what we do and get to know our researchers and students. Industry Engagement. Informatics REF results. About us. What is Informatics? App Guarden examines foundations for improving security of application stores and devices.
It builds on over a decade of research in the Mobility and Security Group , and brings new collaborations with Informatics colleagues working on compilers and machine learning. App Guarden finishes in March , but we are examining several follow-on strands. Proof General provides a generic proof development environments for Coq and other theorem provers. I am conducting research into Proof Engineering and Hierarchical Proof. I'm also associated with a cool project on collaborative theorem proving called Proof Peer.
This grant brings together a range of innovative work connected with automated and interactive theorem proving and reasoning in general.
If, because of visa restrictions, examined you will be requested organised until your examiners have officially received a copy of and their supervisors must ensure that an allowance is made. In these instances it may at the holding library e please visit the Binding Services. An Early Submission request must the document relates to the to 3 months before the. This, your absolute deadline for thesis at the CRC, staff your MyEd Portal. PARAGRAPHStudents must ensure the declaration be made to the College things fall apart essay thesis copy at the Inf ed ac uk thesis. Extension to your deadline. Please contact the CRC to. Extensions to your funding may need an extension to your approved without the agreement of. Thesis format and binding guidelines. If the examiners have not been appointed yet, there may Office and they must grant. inf ed ac uk thesisInformatics PhD Theses and MSc Dissertations Any relevant and published thesis can be found on the Edinburgh Research Archive. Home: Publications. How to submit your thesis. Any further questions on restrictions during this time please contact email@example.com His research designs and investigates interactive information visualization interfaces to help people explore, communicate, and understand data. Research.