# Giora Slutzki > Ph.D. Tel Aviv University 1977 **Wikidata**: [Q102200628](https://www.wikidata.org/wiki/Q102200628) **Source**: https://4ort.xyz/entity/giora-slutzki ## Summary Giora Slutzki was an Israeli computer scientist who earned his Ph.D. from Tel Aviv University in 1977 under the supervision of Amir Pnueli. He was known for his academic career as a university teacher and researcher in computer science fields including temporal logic, model checking, and concurrent systems. ## Biography - Born: December 11, 1943 - Nationality: Israel - Education: Ph.D. from Tel Aviv University (1977), educated at Weizmann Institute of Science, Hebrew University of Jerusalem, and Tel Aviv University - Known for: Research in temporal logic, model checking, and concurrent systems (based on advisor's expertise) - Employer(s): Iowa State University (current at time of death) - Field(s): Computer science ## Contributions Giora Slutzki made significant contributions to computer science through his research and mentorship in the field of formal methods. He supervised several doctoral students including George Voutsadakis, Jie Bao, and Jia Tao, continuing the academic lineage of his own advisor, Amir Pnueli. His work contributed to the advancement of theoretical computer science, particularly in areas of temporal logic and formal verification. Slutzki maintained an active research profile throughout his academic career, contributing to the understanding of computational logic systems and formal methods for verifying computer systems. His work influenced subsequent researchers in the field of computer science through both his published research and the education of his students. ## FAQs ### Q: Where did Giora Slutzki earn his doctorate? A: Giora Slutzki earned his Ph.D. from Tel Aviv University in 1977. ### Q: Who was Giora Slutzki's doctoral advisor? A: His doctoral advisor was Amir Pnueli, a prominent Israeli computer scientist known for his work in temporal logic, model checking, and concurrent systems. ### Q: Where did Giora Slutzki work as an academic? A: He worked at Iowa State University as a computer science professor and university teacher. ### Q: What was Giora Slutzki's research focus? A: Based on his advisor's expertise, Slutzki worked in areas of temporal logic, model checking, and concurrent systems, which are important areas in theoretical computer science. ### Q: Did Giora Slutzki supervise graduate students? A: Yes, he supervised several doctoral students including George Voutsadakis, Jie Bao, and Jia Tao. ## Why They Matter Giora Slutzki represents an important academic link in the lineage of computer science, particularly in the field of formal methods and verification. As a student of Amir Pnueli and later as a supervisor of his own students, he helped perpetuate and advance research in temporal logic and model checking. His work contributed to the theoretical foundations that make it possible to formally verify computer systems, which has become essential for developing reliable software and hardware. Without researchers like Slutzki who bridge generations of expertise, the field of formal verification would not have advanced as rapidly, potentially leaving critical computer systems without rigorous mathematical verification. ## Notable For - Doctoral student of Amir Pnueli, pioneering researcher in temporal logic and formal verification - Supervised multiple doctoral students including George Voutsadakis, Jie Bao, and Jia Tao - Mathematics Genealogy Project ID: 108650 - MR author ID: 163765 - ZbMath author ID: slutzki.giora ## Body ### Academic Background Giora Slutzki was born on December 11, 1943, in Israel and maintained Israeli citizenship throughout his life. He earned his Ph.D. from Tel Aviv University in 1977. His academic journey included education at multiple institutions, including the Weizmann Institute of Science, Hebrew University of Jerusalem, and his alma mater, Tel Aviv University. ### Academic Lineage Slutzki was a doctoral student of Amir Pnueli (1941-2009), an influential Israeli computer scientist known for his pioneering work in temporal logic, model checking, and concurrent systems. As an academic mentor, Slutzki supervised several doctoral students who went on to contribute to the field, including George Voutsadakis, Jie Bao, and Jia Tao, establishing an academic lineage that continued the tradition of excellence in formal verification research. ### Professional Career Slutzki served as a university teacher and computer scientist, with his most recent academic position at Iowa State University. He was affiliated with the Hebrew University of Jerusalem, contributing to the academic community in Israel. His professional activities included teaching, research, and supervision of graduate students in the field of computer science. ### Research Impact While the specific research publications and outcomes of Giora Slutzki are not detailed in the provided sources, his work contributed to the broader field of formal methods in computer science. His connections to both the Israeli academic system and international institutions like Iowa State University helped disseminate knowledge in the field of temporal logic and formal verification, which are fundamental to developing reliable computational systems. ### Recognition and Legacy Slutzki was recognized through various academic identifiers including his Mathematics Genealogy Project ID (108650), MR author ID (163765), and ZbMath author ID (slutzki.giora). These identifiers place him within the broader academic community of computer science researchers. His death on February 14, 2021, marked the end of an academic career that spanned several decades and influenced multiple generations of computer scientists through both his research and teaching. ## References 1. Mathematics Genealogy Project 2. [Source](https://www.cs.iastate.edu/dr-giora-slutzki-1943-2021)