Matthew Hennessy#


Matthew Hennessy
Email:matthew.hennessy 'at' cs.tcd.ie
Membership Number:3187
Membership type:ORDINARY
Main Country of Residence:IRELAND
Section:INFORMATICS
Username:mhennessy
Elected:2012
Homepage: http://www.scss.tcd.ie/Matthew.Hennessy



Present and Previous Positions
  • 2008 Research professor of Computer Science, Trinity College Dublin
  • 1985 - 2008 Professor of Computer Science, School of Cognitive and Computing Sciences, University of Sussex
  • 1985 - 1985 Guest Lecturer/Researcher a University of Aarhus, Denmark
  • 1981 - 1985 Lecturer, University of Edinburgh
  • 1979 - 1981 Research Associate, University of Edinburgh
  • 1977 - 1978 Professor Visitante, Universidade Federal de Pernambuco, Brazil
  • 1976 - 1977 Assistant Professor, University of Waterloo

Fields of Scholarship
  • Theory of computation
  • Logics and meanings of programs
  • Semantics of programming languages
  • Concurrency theory
  • Verification

Honours and Awards
  • Royal Society/Leverhulme Trust Senior Research Fellowship (2005-2006)
  • Science Foundation Ireland Research Professorship

Imprint Privacy policy « This page (revision-8) was last updated on Wednesday, 17. January 2018, 11:05 by Kaiser Dana
  • operated by