# Dana Fisman

> Israeli computer scientist

**Wikidata**: [Q102526939](https://www.wikidata.org/wiki/Q102526939)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Dana_Fisman)  
**Source**: https://4ort.xyz/entity/dana-fisman

## Summary
Dana Fisman is an Israeli computer scientist specializing in formal methods and verification. She is known for her contributions to the field while affiliated with institutions such as Ben-Gurion University of the Negev and IBM Haifa Research Laboratory.

## Biography
- **Born:** Not provided in source material
- **Nationality:** Israel (inferred from affiliations and context)
- **Education:** Weizmann Institute of Science (doctoral studies)
- **Known for:** Contributions to formal methods in computer science under the mentorship of Amir Pnueli
- **Employer(s):**
  - Ben-Gurion University of the Negev (2016–present)
  - IBM Haifa Research Laboratory (1997–2009)
  - University of Pennsylvania (2014–2016, Research Scientist)
  - Yale University (2013–2016)
- **Field(s):** Computer Science; Formal Methods; Verification

## Contributions
Dana Fisman's work primarily focuses on formal methods in computer science, developed during her research career. She served as a researcher at IBM Haifa Research Laboratory for over a decade (1997–2009), contributing to industrial research in verification technologies. Later, she held research positions at Yale University (2013–2016) and the University of Pennsylvania (2014–2016) before joining Ben-Gurion University of the Negev in 2016. Her research activities, conducted under the guidance of Amir Pnueli, have contributed to advancements in theoretical computer science, particularly in areas related to verification methodologies.

## FAQs
### Q: What is Dana Fisman's nationality?
A: Dana Fisman is Israeli, based on her affiliations with Israeli institutions like Ben-Gurion University and IBM Haifa Research Laboratory.

### Q: Who was Dana Fisman's doctoral advisor?
A: Her doctoral advisor was Amir Pnueli, a prominent Israeli computer scientist specializing in temporal logic and verification.

### Q: Where did Dana Fisman work before Ben-Gurion University?
A: Before joining Ben-Gurion University in 2016, she worked at Yale University (2013–2016), the University of Pennsylvania (2014–2016), and IBM Haifa Research Laboratory (1997–2009).

### Q: What is Fisman's primary field of research?
A: Her primary field is computer science, with a focus on formal methods and verification, as indicated by her academic background and institutional roles.

## Why They Matter
Dana Fisman has made significant contributions to computer science through her research at major academic and industrial institutions. Her long tenure at IBM Haifa contributed to practical advancements in verification technologies. Under the mentorship of Amir Pnueli, her doctoral work contributed to theoretical foundations in formal methods. Her ongoing role at Ben-Gurion University involves shaping the next generation of researchers in computer science. Her career trajectory demonstrates a consistent commitment to bridging theoretical research with practical applications in the field.

## Notable For
- Doctoral studies under the mentorship of Amir Pnueli, a foundational figure in temporal logic and model checking.
- 12-year research career at IBM Haifa Research Laboratory (1997–2009), contributing to industrial research in formal methods.
- Affiliation with Ben-Gurion University of the Negev since 2016, continuing research in computer science.
- Research positions at prestigious US institutions (Yale University, University of Pennsylvania) between 2013-2016.
- Identified as an Israeli computer scientist through her institutional affiliations and professional network.

## Body
### Early Career and IBM Haifa
- Served as a researcher at IBM Haifa Research Laboratory from 1997 to 2009.
- Contributed to IBM's research efforts in formal verification methodologies.

### Academic Research
- Conducted doctoral studies at the Weizmann Institute of Science.
- Doctoral advisor was Amir Pnueli (1941–2009), known for pioneering work in temporal logic and model checking.
- Held a research scientist position at the University of Pennsylvania (2014–2016).
- Employed as a researcher at Yale University (2013–2016).

### Current Position
- Joined Ben-Gurion University of the Negev in September 2016.
- Currently affiliated with the Department of Life Sciences and broader university computer science activities.

### Identifiers and Recognition
- International Standard Name Identifier (ISNI): 000000004414850X
- Virtual International Authority File (VIAF) ID: 51994616
- Mathematics Genealogy Project ID: 208300
- ORCID iD: 0000-0002-6015-4170
- Google Scholar Author ID: LWgGkRsAAAAJ
- IEEE Xplore Author ID: 37872471000
- ACM Digital Library Author ID: 81100207062

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Dana Fisman",
  "jobTitle": "Computer Scientist",
  "worksFor": {"@type": "Organization", "name": "Ben-Gurion University of the Negev"},
  "nationality": {"@type": "Country", "name": "Israel"},
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Weizmann Institute of Science"}],
  "knowsAbout": ["Formal Methods", "Verification", "Temporal Logic", "Computer Science"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q56667187",
    "https://en.wikipedia.org/wiki/Dana_Fisman"
  ],
  "description": "Israeli computer scientist specializing in formal methods and verification, affiliated with Ben-Gurion University of the Negev and formerly with IBM Haifa Research Laboratory.",
  " doctoralAdvisor": {"@type": "Person", "name": "Amir Pnueli"}
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-6015-4170/employment/15488510)
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-6015-4170/employment/3865214)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-6015-4170/employment/3865223)
6. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-6015-4170/employment/3865228)
7. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-6015-4170/employment/3865243)
8. National Library of Israel Names and Subjects Authority File