Mathai Joseph
Mathai Joseph is an Indian computer scientist and author.
Mathai Joseph | |
|---|---|
| Born | India |
| Nationality | Indian |
| Alma mater | Wilson College, Mumbai, University of Bombay, Welsh College of Advanced Technology, University of Cambridge |
| Known for | Real-time systems; formal methods |
| Awards | 2020 Test-of-Time Award |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of Warwick, Tata Institute of Fundamental Research |
| Doctoral advisor | David Wheeler |
| Notable students | Paritosh Pandya, Zhiming Liu |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.