# Samir Genaim

> Ph.D. Ben-Gurion University of the Negev 2003

**Wikidata**: [Q102424210](https://www.wikidata.org/wiki/Q102424210)  
**Source**: https://4ort.xyz/entity/samir-genaim

Here’s the structured biographical entry for Samir Genaim based strictly on the provided source material:

---

## Summary
Samir Genaim is an Israeli computer scientist and university teacher known for his contributions to computer science. He earned his Ph.D. from Ben-Gurion University of the Negev in 2003 and has held academic positions at institutions such as the Complutense University of Madrid and the University of Verona.

## Biography
- Nationality: Israeli  
- Education: Ph.D., Ben-Gurion University of the Negev (2003)  
- Known for: Contributions to computer science  
- Employer(s):  
  - Complutense University of Madrid (since 2008)  
  - Technical University of Madrid (2005–2008)  
  - University of Verona (2003–2005)  
  - Ben-Gurion University of the Negev (1996–2002)  
- Field(s): Computer science  

## Contributions
Samir Genaim has made significant contributions to computer science, particularly in areas related to formal methods and program analysis. His work includes supervising doctoral students such as Diego Esteban Alonso Blas (Ph.D., Universidad Complutense de Madrid, 2014) and Md. Abu Naser Masud. Genaim has been affiliated with multiple universities, including Ben-Gurion University of the Negev, where he completed his Ph.D. under the supervision of Michael Codish. His research outputs are indexed in databases like DBLP (ID: 24/2865) and Google Scholar (ID: 5_cndREAAAAJ).

## FAQs
### Q: Where did Samir Genaim earn his Ph.D.?  
A: Samir Genaim earned his Ph.D. from Ben-Gurion University of the Negev in 2003 under the supervision of Michael Codish.  

### Q: Which universities has Samir Genaim been affiliated with?  
A: Genaim has worked at the Complutense University of Madrid, Technical University of Madrid, University of Verona, and Ben-Gurion University of the Negev.  

### Q: What is Samir Genaim's primary field of work?  
A: He is a computer scientist specializing in formal methods and program analysis.  

## Why They Matter
Samir Genaim's research and academic mentorship have advanced the field of computer science, particularly in formal methods and program analysis. His work has influenced students and collaborators, such as Diego Esteban Alonso Blas, who have gone on to contribute to the field. Genaim's affiliations with prominent universities underscore his role in fostering academic and research excellence.

## Notable For
- Ph.D. from Ben-Gurion University of the Negev (2003).  
- Supervised doctoral students, including Diego Esteban Alonso Blas.  
- Affiliated with multiple international universities.  
- Research indexed in DBLP and Google Scholar.  

## Body
### Education  
- Ph.D., Ben-Gurion University of the Negev (2003).  
  - Doctoral advisor: Michael Codish.  

### Academic Career  
- Complutense University of Madrid (since 2008).  
- Technical University of Madrid (2005–2008).  
- University of Verona (2003–2005).  
- Ben-Gurion University of the Negev (1996–2002).  

### Doctoral Students  
- Diego Esteban Alonso Blas (Ph.D., 2014).  
- Md. Abu Naser Masud.  

### Research Outputs  
- Publications indexed in DBLP (ID: 24/2865).  
- Google Scholar profile (ID: 5_cndREAAAAJ).  

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Samir Genaim",
  "jobTitle": "Computer scientist, university teacher",
  "worksFor": [
    {"@type": "Organization", "name": "Complutense University of Madrid"},
    {"@type": "Organization", "name": "Technical University of Madrid"},
    {"@type": "Organization", "name": "University of Verona"},
    {"@type": "Organization", "name": "Ben-Gurion University of the Negev"}
  ],
  "nationality": {"@type": "Country", "name": "Israel"},
  "alumniOf": {"@type": "EducationalOrganization", "name": "Ben-Gurion University of the Negev"},
  "knowsAbout": ["Computer science"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q121845038",
    "https://scholar.google.com/citations?user=5_cndREAAAAJ"
  ],
  "description": "Israeli computer scientist and university teacher known for contributions to computer science."
}
```

--- 

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

## References

1. Mathematics Genealogy Project
2. [Source](https://costa.fdi.ucm.es/~genaim/home/db/cv/cv.pub.pdf)