Academic Staff

Konstantina Isidoros

MPhil, DPhil Oxf
College Lecturer in Human Sciences

Christopher Hays

BSc Brown, MPhil, PhD Columbia
College Lecturer in Physics

Christoph Haase

Dipl TU Dresden, DPhil Oxf

Teaching

I teach some of the first- and second-year subjects that are related to the theory of programming in the broadest sense. I also supervise third and fourth year undergraduate projects, primarily in the areas of formal verification and theoretical computer science. Do get in touch with me if you want to do a project with me in any of those areas.

About me

I studied Computer Science with Neuroinformatics as a subsidiary subject and a specialisation in the theory of programming at Technical University Dresden, Germany. Subsequently, I continued with a doctorate at Oxford, did a four-year postdoc at ENS Cachan in France, and returned to Oxford as a Departmental Lecturer in 2016. I joined Catz as a College Lecturer in Michaelmas 2017.

Research

My research centres around all aspects of formal verification, ranging from mathematical foundations to concrete verification tools. Formal verification is a research area that aims at developing mathematical models of systems that allow for proving properties of such systems. This gives a much greater level of confidence into the reliability of a system, as it allows for guaranteeing the absence of errors whereas other methods such as testing can only reveal the presence of errors.

If you would like to do research with me at any stage, please get in touch or drop by my office.

College Lecturer in Computer Science
Departmental Lecturer in Theoretical Computer Science

Michel Magnien

Research Associate
Joint Maison française d'Oxford & Sub-Faculty of French Visiting Fellow, M17

Frank Haselbach

PhD, Dipl TU Berlin
Research Associate

Professor Eleanor Stride named as one of the top 50 women in Engineering

Professor of Engineering Science, Eleanor Stride, has been named as one of the top 50 Women in Engineering, which was published in the Daily Telegraph last week to coincide with National Women in Engineering Day.

The list, compiled by the Telegraph in collaboration with the Women’s Engineering Society, features the UK’s top influential female engineers chosen from almost 900 nominations.

Professor Nigel Hitchin awarded Shaw Prize in Mathematical Sciences

Congratulations to Honorary Fellow and former St Catz Maths tutor (1979-1990), Professor Nigel Hitchin, who has been awarded the Shaw Prize in Mathematical Sciences for his contributions to geometry, representation theory and theoretical physics.

The Master of St Catz, Professor Roger Ainsworth commented, "In giving me the news, the Head of Maths said 'I imagine that St Catherine's is one of the places that will take justifiable pride in this great achievement', which is most certainly the case."

Saul Moorhouse shortlisted for Industrialist of the Year Award

St Catz alum and former member of the SCR (Lecturer in Biochemistry 2011-2013) Saul Moorhouse (2005, Chemistry) has been shortlisted by the Royal Society of Chemistry for the Young Industrialist of the Year Award in 2016. The award recognises individuals who have created significant impact in the chemical industry. Saul was nominated by a colleague at BP for his innovative and valuable contribution to managing the threat of scale formation in the field of oil and gas production.

Pages

Subscribe to Academic Staff