Mathai Joseph - Mathai Joseph

Mathai Joseph
narozený
Indie
Národnostindický
Alma materWilson College, Mumbai, University of Bombay, Welsh College of Advanced Technology, Univerzita v Cambridge
Známý jakoSystémy v reálném čase; formální metody
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Warwick, Tata Institute of Fundamental Research
Doktorský poradceDavid Wheeler[1]
Pozoruhodné studentyParitosh Pandya, Zhiming Liu

Mathai Joseph je přední indián počítačový vědec.[2]

Joseph studoval na BSC v fyzika na Wilson College (Bombaj, Indie, 1962) a MSc ve stejném předmětu na University of Mumbai v roce 1964.[3] Později studoval na a Postgraduální diplom v elektronika na Welsh College of Advanced Technology (1965) a poté podnikl a PhD ve výpočtech na Churchill College, Cambridge pod dohledem David Wheeler[1] (udělen 1968).

V letech 1968–85 pracoval Joseph na programování jako Chlapík a vedoucí vědecký pracovník na Tata Institute of Fundamental Research (Bombaj, Indie) a poté se stal profesorem počítačová věda na University of Warwick v Anglie po dobu 12 let (1985–1997).[3] Do Indie se vrátil v roce 1997. Poté pracoval v průmyslu jako Výkonný ředitel na Tata Research Development and Design Center (Pune ) a jako výkonný Víceprezident na Poradenské služby společnosti Tata (1997–2007).

Joseph byl Hostující profesor na Carnegie-Mellon University (1980–81), Eindhoven University of Technology (1990–1992), University of Warwick (1997–98) a University of York (2001–04).[3] Byl Board Chair z UNU-IIST (2004–06, Univerzita OSN, Macao ).[4] Joseph byl první osobou z Indie, která byla zvolena do rady ACM.[5] Kromě toho byl do roku 2012 členem rady ACM India. Předsedal výboru pro vzdělávání ACM India do roku 2014.

Mathai Joseph je hlavním výzkumným zájmem v oblasti formální metody související s počítačové systémy, počítaje v to systémy v reálném čase. Jeho nejcitovanější článek, “Nalezení doby odezvy v systému v reálném čase", s více než tisíci citacemi Google Scholar,[6] byla společná práce s Paritosh Pandya, publikoval v Počítačový deník v roce 1986.[7]

Josefova společná práce s Zhiming Liu na odolnost proti chybám dává formální model, který přesně definuje pojmy chyba, chyba, selhání a odolnost proti chybáma jejich vztahy. Poskytl také vlastnosti, které modelují programy ovlivněné chybou a programy odolné vůči chybám, pokud jde o transformace. Společně navrhli proces návrhu systémů odolných proti poruchám od specifikací a analýz požadavků, identifikace a analýzy poruchového prostředí, specifikace návrhu ovlivněného poruchami a ověření tolerance vůči poruchám pro splnění specifikace požadavků.[8][9]

Joseph je autorem knihy Digitální republika, osobní reminiscence, která také mapuje vývoj Informační technologie v Indii a související problémy.[4][10][11] Zajímá se o zlepšení vědy v Indii.[12]

Knihy

  • Joseph, Mathai; Shyamasundar, R. K., eds. (1984). Základy softwarové technologie a teoretická informatika, čtvrtá konference, Bangalore, Indie, 13. – 15. Prosince 1984, sborník. Přednášky z informatiky. 181. Springer-Verlag. ISBN  978-3-540-13883-9.
  • Joseph, Mathai, ed. (1988). Formální techniky v reálném čase a systémy odolné vůči chybám, Proceedings of a Symposium, Warwick, UK, 22. – 23. Září 1988. Přednášky z informatiky. 331. Springer-Verlag. ISBN  978-3-540-50302-6.
  • Joseph, Mathai, ed. (1996). Systémy v reálném čase: specifikace, ověřování a analýza. International Series in Computer Science. Prentice Hall. ISBN  978-0-13-455297-2.
  • Joseph, Mathai (2013). Digitální republika: Nárůst Indie v oblasti IT. www.power-publisher.com. Power Publishers. ISBN  978-93-82792-57-4.[11]
  • Joseph, Mathai (2017). Mrtvý z důvodu. ASIN: B01N80H1W4. Amazon Kindle.

Reference

  1. ^ A b Digitální republika, strana 72.
  2. ^ Ibaraki, Stephen (27. srpna 2013). „Chat s Dr. Mathaiem Josephem: mezinárodně uznávaný autor, výkonný pracovník, výzkumný pracovník a technologický poradce; význačný počítačový vědec“. Blog kanadského manažera IT. blogs.technet.com. Citováno 25. ledna 2013.
  3. ^ A b C Ibaraki, Stephen (11. ledna 2010). „Dr. Mathai Joseph: Renomovaný výkonný pracovník, výzkumný pracovník, významný vědec sdílí své hluboké postřehy o výpočetní technice, výzkumu, kariéře, trendech“. Blog kanadského manažera IT. blogs.technet.com. Citováno 25. ledna 2013.
  4. ^ A b „Bývalý předseda představenstva UNU-IIST prof. Mathai Joseph vydává novou knihu o indickém rozvoji IT“. punetech.com. Pune Tech. 2. května 2013. Citováno 25. ledna 2014.
  5. ^ „Dr. Mathai Joseph“. Microsoft Research. Citováno 26. ledna 2014.
  6. ^ „Nalezení doby odezvy v systému v reálném čase“. Google Scholar. Citováno 29. ledna 2014.
  7. ^ Joseph, Mathai; Pandya, Paritosh (1986). „Nalezení doby odezvy v systému v reálném čase“. Počítačový deník. 29 (5): 390–395. doi:10.1093 / comjnl / 29.5.390. Citováno 29. ledna 2014.
  8. ^ Liu, Zhiming; Joseph, Mathai (1992). „Transformace programů pro odolnost proti chybám“. Formální aspekty práce na počítači. 4 (5): 442–469. doi:10.1007 / BF01211393.
  9. ^ Liu, Zhiming; Joseph, Mathai (1999). „Specifikace a ověření tolerance, načasování a plánování chyb“. Transakce ACM v programovacích jazycích a systémech. 21 (1): 46–89. CiteSeerX  10.1.1.54.2264. doi:10.1145/314602.314605.
  10. ^ Kabra, Navin (14. května 2013). „Kniha: Digital Republic: India's rise to IT Power - autor Mathai Joseph“. punetech.com. Pune Tech.
  11. ^ A b Robinson, Andrew; Bowen, Jonathane (Leden 2014). „Digital Republic: India’s rise to IT Power - by Mathai Joseph“. Recenze knih. Britská počítačová společnost. Citováno 1. února 2014.
  12. ^ Joseph, Mathai; Robinson, Andrew (2. dubna 2014). „Policy: Free Indian science“. Příroda. 508 (7494): 36–38. doi:10.1038 / 508036a.

externí odkazy