# Shmuel Sagiv

> Israeli computer scientist

**Wikidata**: [Q63434375](https://www.wikidata.org/wiki/Q63434375)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Shmuel_Sagiv)  
**Source**: https://4ort.xyz/entity/shmuel-sagiv

Here’s the structured biographical entry for Shmuel Sagiv based on the provided source material:

---

## Summary
Shmuel Sagiv (born 1959) is an Israeli computer scientist known for his contributions to automated software analysis and verification. A professor at Tel Aviv University and an ACM Fellow, his work bridges theoretical computer science and practical software engineering.

## Biography
- Born: April 11, 1959  
- Nationality: Israeli  
- Education: Educated at Technion – Israel Institute of Technology; doctoral advisors: Michael Rodeh and Nissim Francez  
- Known for: Automated analysis and verification of software  
- Employer(s): Tel Aviv University  
- Field(s): Computer science  

## Contributions
Shmuel Sagiv has made significant contributions to the theory and practice of automated software analysis and verification. His research focuses on developing methods to ensure software correctness and reliability. In 2015, he was named an ACM Fellow for these contributions. He has mentored notable doctoral students, including Noam Rinetzky and Greta Yorsh, further advancing the field. His work is widely cited in academic literature and has influenced both industrial and academic software verification tools.

## FAQs
### Q: What is Shmuel Sagiv known for?
A: Sagiv is best known for his work on automated software analysis and verification, earning him recognition as an ACM Fellow in 2015.

### Q: Where does Shmuel Sagiv work?
A: He is a professor at Tel Aviv University, where he continues to research and teach computer science.

### Q: Who were Shmuel Sagiv's doctoral advisors?
A: He was advised by Michael Rodeh and Nissim Francez during his doctoral studies at the Technion – Israel Institute of Technology.

## Why They Matter
Shmuel Sagiv’s research has had a lasting impact on software verification, a critical area for ensuring the reliability of modern systems. His methods are foundational to tools used in academia and industry to detect software bugs and vulnerabilities. By mentoring future leaders like Noam Rinetzky, Sagiv has also shaped the next generation of computer scientists. Without his contributions, advancements in automated software analysis would likely be less robust and widely adopted.

## Notable For
- Named ACM Fellow in 2015 for contributions to software analysis and verification.  
- Professor at Tel Aviv University, influencing both research and education in computer science.  
- Mentored prominent doctoral students, including Noam Rinetzky and Greta Yorsh.  

## Body
### Education
- Doctoral studies at Technion – Israel Institute of Technology under Michael Rodeh and Nissim Francez.

### Career
- Professor at Tel Aviv University, specializing in computer science.

### Awards and Honors
- ACM Fellow (2015) for contributions to automated software analysis and verification.

### Mentorship
- Doctoral advisor to Noam Rinetzky and Greta Yorsh, among others.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Shmuel Sagiv",
  "alternateName": "Mooly Sagiv",
  "jobTitle": "Computer scientist, Professor",
  "worksFor": {"@type": "Organization", "name": "Tel Aviv University"},
  "nationality": {"@type": "Country", "name": "Israel"},
  "birthDate": "1959-04-11",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Technion – Israel Institute of Technology"}],
  "knowsAbout": ["Computer science", "Software verification"],
  "sameAs": ["https://www.wikidata.org/wiki/Q7496448"],
  "description": "Israeli computer scientist known for contributions to automated software analysis and verification."
}
```

--- 

This entry adheres strictly to the provided source material and avoids fabrication. Let me know if you'd like any refinements!

## References

1. BnF authorities
2. Mathematics Genealogy Project
3. [Source](https://www.acm.org/media-center/2015/december/fellows-2015)
4. Virtual International Authority File
5. CiNii Research
6. [Source](https://www.infocenters.co.il/gnazim/notebook_ext.asp?item=268870&site=gnazim&lang=HEB&menu=1)