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-85 Guest Lecturer/Researcher a University of Aarhus, Denmark
  • 1981-85 Lecturer, University of Edinburgh
  • 1979-81 Research Associate, University of Edinburgh
  • 1977-78 Professor Visitante, Universidade Federal de Pernambuco, Brazil
  • 1976-77 Assistant Professor, University of Waterloo

Fields of Scholarship
  • Theory of computation
  • Logics and Meanings of programs
  • Semantics of Prgramming 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-7) was last updated on Wednesday, 3. October 2012, 09:27 by Kaiser Dana
  • operated by