Matthew Hennessy facts for kids
Matthew Hennessy is an Irish computer scientist. He is known for his important work in how computers do many things at once. He also studies how computer programs work and how different parts of a computer system talk to each other.
Matthew Hennessy's Career Journey
Matthew Hennessy has taught and researched at many universities around the world. From 1976 to 1977, he was a professor in Canada at the University of Waterloo. After that, he spent a year in Brazil at the Universidade Federal de Pernambuco.
He then moved to Scotland, working at the University of Edinburgh from 1979 to 1985. During this time, he was first a researcher and then a lecturer. In 1985, he also spent some time as a guest lecturer in Denmark at the University of Aarhus.
From 1985 to 2008, Hennessy was a Professor of Computer Science in England. He worked at the Department of Informatics at the University of Sussex. Since 2008, he has been a research professor in Ireland. He works at the Department of Computer Science at Trinity College, Dublin.
Professor Hennessy's research focuses on the basic rules of programming and specification languages. He is especially interested in how computers work together, even when they are in different places. This includes things like mobile computing, which is about devices you can carry around. He also helps create tools that check if computer programs are working correctly and safely. He has worked with other famous computer scientists like Robin Milner.
Matthew Hennessy is a member of the Academy of Europe. He has also received special research awards from the Royal Society and Science Foundation Ireland.
Books by Matthew Hennessy
Matthew Hennessy has written several books that explain his ideas in computer science:
- Hennessy, Matthew. A Distributed Pi-Calculus. Cambridge University Press, Cambridge, UK, 2007. ISBN: 0-521-87330-4.
- Hennessy, Matthew. Algebraic Theory of Processes. The MIT Press, Cambridge, Massachusetts, 1988. ISBN: 0-262-58093-4.
- Hennessy, Matthew. The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics. John Wiley and Sons, New York, 1990. ISBN: 0-471-92772-4.
See also
- Hennessy–Milner logic
- Ó hAonghusa
