Explore >> Select a destination
|
You are here 
|
rmarcus.info | ||
| | | | |
www.cs.cmu.edu
|
|
| | | | | An Updated Guide on Where to Apply for a PhD in Databases in the US (2018), Andy Pavlo - Carnegie Mellon University, | |
| | | | |
www.math.tau.ac.il
|
|
| | | [AI summary] Mooly Sagiv is a leading researcher in software verification, static analysis, and formal methods. His work focuses on verifying the correctness of complex systems, including distributed protocols, smart contracts, and concurrent programs. Sagiv has made significant contributions to the field of program analysis, particularly in the areas of modular reasoning, shape analysis, and symbolic execution. He has published extensively in top conferences and journals, including PLDI, POPL, and CAV. Sagiv is also known for his work on deductive verification and the development of tools that support formal verification of software systems. He has received numerous awards for his research, including the Best Paper Award at PLDI 2011 and the Best Paper Awar... | ||
