# Yonit Kesten

> Ph.D. Weizmann Institute of Science 1995

**Wikidata**: [Q102170245](https://www.wikidata.org/wiki/Q102170245)  
**Source**: https://4ort.xyz/entity/yonit-kesten

## Summary
Yonit Kesten is an Israeli computer scientist who earned her Ph.D. from the Weizmann Institute of Science in 1995. She was advised by Amir Pnueli, a renowned researcher in temporal logic and model checking. Her work focuses on advancing computer science, particularly in theoretical and applied areas.

## Biography
- Born: [Not specified]
- Nationality: Israel
- Education: Ph.D., Weizmann Institute of Science (1995)
- Known for: Contributions to computer science, advised by Amir Pnueli
- Employer(s): [Not specified]
- Field(s): Computer science

## Contributions
Yonit Kesten completed her doctoral studies under the supervision of Amir Pnueli, a prominent figure in temporal logic and model checking. Her academic work aligns with Pnueli’s research areas, focusing on theoretical and applied aspects of computer science. While specific publications or projects are not detailed in the provided material, her Ph.D. from the Weizmann Institute of Science establishes her as a scholar in the field.

## FAQs
### Q: What is Yonit Kesten known for?
A: Yonit Kesten is known for her contributions to computer science, particularly under the guidance of Amir Pnueli, focusing on temporal logic and model checking.

### Q: Where did Yonit Kesten earn her Ph.D.?
A: Yonit Kesten earned her Ph.D. from the Weizmann Institute of Science in 1995.

### Q: Who was Yonit Kesten's doctoral advisor?
A: Yonit Kesten's doctoral advisor was Amir Pnueli, an Israeli computer scientist known for his work in temporal logic and model checking.

## Why They Matter
Yonit Kesten’s work under Amir Pnueli contributes to the foundational research in computer science, particularly in temporal logic and model checking. Her research aligns with Pnueli’s legacy, which has influenced the development of formal verification methods and concurrent systems. While her specific contributions are not detailed, her academic achievements under a renowned advisor highlight her role in advancing theoretical computer science.

## Notable For
- Ph.D. from the Weizmann Institute of Science (1995)
- Doctoral advisor: Amir Pnueli
- Focus on temporal logic and model checking

## Body
### Education and Mentorship
Yonit Kesten completed her Ph.D. at the Weizmann Institute of Science in 1995, advised by Amir Pnueli. Pnueli, a leading researcher in temporal logic and model checking, significantly influenced her academic trajectory.

### Research Focus
Her work aligns with Pnueli’s research areas, including temporal logic and model checking, which are critical for formal verification and concurrent systems in computer science.

### Academic Contributions
While specific publications or projects are not detailed, her Ph.D. establishes her as a scholar in theoretical computer science, contributing to the broader field under a prominent mentor.

## References

1. Mathematics Genealogy Project