# Gera Weiss

> researcher ORCID ID = 0000-0002-5832-8768

**Wikidata**: [Q58609047](https://www.wikidata.org/wiki/Q58609047)  
**Source**: https://4ort.xyz/entity/gera-weiss

## Summary
Gera Weiss is an Israeli computer scientist and researcher who serves as a faculty member at Ben-Gurion University of the Negev. He is recognized for his academic contributions to the field of computer science and his research lineage involving prominent figures such as Amir Pnueli.

## Biography
- **Born:** January 19, 1970
- **Education:** Bachelor of Science, Bar-Ilan University (1995–1998); Weizmann Institute of Science
- **Known for:** Academic research in computer science and mathematical computation
- **Employer(s):** Ben-Gurion University of the Negev (2009–present)
- **Field(s):** Computer Science

## Contributions
Gera Weiss has contributed to the field of computer science through extensive research and academic instruction. Since joining the faculty of Ben-Gurion University of the Negev in October 2009, he has focused on the study of computation. His academic development was shaped at the Weizmann Institute of Science, where he conducted research under the supervision of Zvi Artstein and the renowned computer scientist Amir Pnueli, who was a pioneer in temporal logic and concurrent systems.

Weiss's work is documented across major scientific databases, including Scopus, Google Scholar, and ResearchGate. While his specific publications are part of the broader computer science discourse, his inclusion in the Mathematics Genealogy Project and zbMATH highlights a focus on the formal and mathematical foundations of the discipline. His professional identity is further established through international authority records, including the Library of Congress and the National Library of Israel.

## FAQs
### Q: Where is Gera Weiss currently employed?
A: Gera Weiss is a researcher and faculty member at Ben-Gurion University of the Negev in Beersheba, Israel. He has held this position since October 1, 2009.

### Q: Who were Gera Weiss's doctoral advisors?
A: His research was supervised by Zvi Artstein and Amir Pnueli at the Weizmann Institute of Science. Amir Pnueli was a highly influential figure known for his work on model checking and temporal logic.

### Q: What is Gera Weiss's educational background?
A: He earned a Bachelor of Science from Bar-Ilan University, attending from 1995 to 1998, and later pursued advanced research at the Weizmann Institute of Science.

## Why They Matter
Gera Weiss is a significant figure in the Israeli academic landscape, contributing to the research output of Ben-Gurion University of the Negev for over a decade. His importance is underscored by his connection to Amir Pnueli, one of the most influential figures in the history of computer science. By continuing research in the mathematical and computational fields, Weiss helps advance the theoretical frameworks that underpin modern software and system verification. His work is integrated into global knowledge bases, as evidenced by his unique identifiers in the ORCID, Scopus, and zbMATH systems, ensuring that his findings contribute to the international scientific community's understanding of computation.

## Notable For
*   **Academic Tenure:** Serving as a faculty member at Ben-Gurion University of the Negev since 2009.
*   **Research Lineage:** Being a doctoral student of Amir Pnueli, a Turing Award-winning scientist.
*   **Institutional Affiliations:** Academic history spanning three major Israeli research institutions: Bar-Ilan University, the Weizmann Institute of Science, and Ben-Gurion University.
*   **Global Indexing:** Maintaining a comprehensive digital research footprint with verified profiles on Google Scholar, ResearchGate, and the Mathematics Genealogy Project.

## Body

### Academic Background and Education
Gera Weiss began his academic career at Bar-Ilan University, where he completed a Bachelor of Science degree between 1995 and 1998. He subsequently moved to the Weizmann Institute of Science for advanced studies. His doctoral research was guided by two notable advisors: Zvi Artstein and Amir Pnueli. Pnueli's influence is particularly significant given his foundational role in temporal logic and the development of concurrent systems.

### Professional Career at Ben-Gurion University
On October 1, 2009, Weiss began his tenure at Ben-Gurion University of the Negev. As a researcher at this public research university in Beersheba, Israel, he has focused on the field of computer science. His work within the university aligns with the institution's mission as a center for scientific study and computation.

### Research Identifiers and Authority Records
Weiss is associated with several key academic identifiers that facilitate the tracking of his scholarly contributions:
*   **ORCID:** 0000-0002-5832-8768
*   **Scopus Author ID:** 23394103700
*   **Google Scholar ID:** T2KfbBYAAAAJ
*   **Mathematics Genealogy Project ID:** 106049
*   **zbMATH Author ID:** weiss.gera

His biographical and professional data are also maintained by international library authorities, including the Library of Congress (ID: nb2020007321) and the National Library of Israel (J9U ID: 987007404250005171). He is also recognized within the scope of WikiProject Mathematics.

## References

1. Mathematics Genealogy Project
2. LinkedIn
3. [Source](https://www.linkedin.com/in/gera-weiss-0a640016/?originalSubdomain=il)
4. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-5832-8768/employment/15439941)
5. [Source](http://uli.nli.org.il/F/?func=find-b-0&local_base=nlx10&con_lng=eng)