Dr. Michael Herlihy: Pioneer In Concurrent Computing And Scalability

Who is Michael Joseph Herlihy? Michael Joseph Herlihy is a Professor of Computer Science at Brown University whose research in concurrent algorithms, transactional memory, and formal methods has been recognized with numerous awards.

In 1986, Herlihy joined the faculty at Carnegie Mellon University as an assistant professor of computer science. There, he worked on the semantics of concurrent programming languages, and, in 1990, he was promoted to associate professor.

From 1994 to 1995, Herlihy was a visiting scientist at the IBM Almaden Research Center, where he started working on transactional memory.

In 1995, he moved to the University of Texas at Austin, where he was a professor from 1995 to 2004 and a professor and chair from 2004 to 2008.

👉 For more insights, check out this resource.

In 2008, Herlihy was recruited to Brown University as a professor of computer science, where he is currently the James H. Clark Professor of Computer Science.

Herlihy has authored or co-authored more than 100 technical articles on concurrent algorithms, transactional memory, and formal methods.

👉 Discover more in this in-depth guide.

He is a Fellow of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).

In 2004, he received the ACM Doctoral Dissertation Award, and in 2018, he received the IEEE John von Neumann Medal.

Herlihy has given invited lectures at more than 100 conferences and universities around the world.

Michael Joseph Herlihy

Concurrent Algorithms

Herlihy's research in concurrent algorithms has focused on developing efficient and scalable algorithms for shared memory systems.

He has developed new techniques for designing and analyzing concurrent algorithms, and he has made significant contributions to the theory of synchronization primitives.

Transactional Memory

Herlihy's research in transactional memory has focused on developing efficient and scalable implementations of transactional memory for shared memory systems.

He has developed new techniques for implementing transactional memory, and he has made significant contributions to the theory of transactional memory.

Formal Methods

Herlihy's research in formal methods has focused on developing new techniques for specifying and verifying concurrent algorithms.

He has developed new formalisms for specifying concurrent algorithms, and he has made significant contributions to the theory of formal methods.

Awards and Honors

• ACM Doctoral Dissertation Award (2004)
• IEEE John von Neumann Medal (2018)
• Fellow of the Association for Computing Machinery (ACM)
• Fellow of the Institute of Electrical and Electronics Engineers (IEEE)

FAQs about Michael Joseph Herlihy

Michael Joseph Herlihy is a Professor of Computer Science at Brown University whose research in concurrent algorithms, transactional memory, and formal methods has been recognized with numerous awards. Here are some frequently asked questions about his work:

Question 1: What are Michael Joseph Herlihy's main research interests?

Answer: Michael Joseph Herlihy's main research interests are in concurrent algorithms, transactional memory, and formal methods.

Question 2: What are some of Michael Joseph Herlihy's most notable achievements?

Answer: Michael Joseph Herlihy has received numerous awards for his research, including the ACM Doctoral Dissertation Award (2004) and the IEEE John von Neumann Medal (2018). He is also a Fellow of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).

Summary: Michael Joseph Herlihy is a leading researcher in the field of computer science, whose work has had a significant impact on the design and implementation of concurrent algorithms, transactional memory, and formal methods.

Conclusion

Michael Joseph Herlihy is a leading researcher in the field of computer science, whose work has had a significant impact on the design and implementation of concurrent algorithms, transactional memory, and formal methods.

His research has helped to make concurrent programming more efficient and scalable, and his work on transactional memory has the potential to revolutionize the way that we develop concurrent software.

The Musical Legacy Of Gerry DeYoung: From Styx To Solo SuccessThe Definitive Guide To The Erin Zilka Trial: Unraveling The TruthEveral Eaton: The Unforgettable American Author

Michael Joseph Herlihy (19551999) Find a Grave Memorial

Michael Herlihy MG Car Club Foundation