Doron Peled
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | Haifa |
| Israel | |
| Academic advisor | Amir Pnueli |
| Citations | 26,230 |
| Education | Technion - Israel Institute of Technology |
| Affiliations | Bar-Ilan University |
| Interests | Concurrency Theory |
| Model Checking | |
| Runtime Verification | |
| Software Testing | |
| Program Synthesis | |
| Books | Model Checking |
| Model Checking, Second Edition | |
| Software Reliability Methods | |
| Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings | |
| Publications | scholar.google.com |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1455007 |
Doron Peled Life story
Doron A. Peled is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification.
Doron Peled Photos
