Katja

Inaugural Lecture: ‘Constraint Satisfaction and the Crystal Maze’ by Professor Ian Miguel

The School of Computer Science is delighted to announce the Inaugural Lecture of Professor Ian Miguel. Title: ‘Constraint Satisfaction and the Crystal Maze’ Abstract: In numerous contexts today we are faced with making decisions of increasing size and complexity, where many different considerations interlock in complex ways. Consider, for example, a staff rostering problem to … Inaugural Lecture: ‘Constraint Satisfaction and the Crystal Maze’ by Professor Ian Miguel

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract: Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of … Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer