Department of Computer Science. Areas of research include combinatorics, computational geometry, compilers for real-time embedded systems, formal modelling of circuits, computer architecture, description and planning logics, formal grammars, cryptography