Information for current:

Welcome to the School of Informatics

What does logic have to do with Java?

Phil Wadler

Professor Phil Wadler talks about the connection between programming language Java and formal logic.

Watch video (3 minutes)

3/18

The University of Edinburgh views Informatics as a discipline central to a new enlightenment in scholarship and learning, and critical to the future development of science, technology and society. In the age of information, computing technology is changing the ways we work and play. Informatics is changing the way we think.

The School brings together research in Computer Science, Cognitive Science, Computational Linguistics and Artificial Intelligence. It provides a fertile environment for a wide range of interdisciplinary studies, leading to this new science of Informatics.

We offer a flexible choice of undergraduate and postgraduate courses and degrees in Informatics, Artificial Intelligence, Cognitive Science, Computational Linguistics, Computer Science and Software Engineering.

News, Events, Jobs

Christophe Dubach scoops BCS Distinguished Dissertation Award click here for more information
Christophe Dubach, an RAEng/EPSRC Research Fellow at ICSA, will receive the award at the 2009 BCS Roger Needham Lecture on 4 November at the Royal Society, London for his dissertation entitled: "Using Machine-Learning to Efficiently Explore the Architecture/Compiler Co-Design Space"

Latest Publications

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh