notable_students name article_title
paritosh pandya , zhiming liu mathai joseph mathai joseph

mathai joseph

mathai joseph is a leading indian computer scientist .
joseph studied for a bsc in physics at wilson college -lrb- mumbai , india , 1962 -rrb- and an msc in the same subject at the university of mumbai in 1964 .
he later studied for a postgraduate diploma in electronics at the welsh college of advanced technology -lrb- 1965 -rrb- and then undertook a phd in computing at churchill college , cambridge under the supervision of david wheeler -lrb- awarded 1968 -rrb- .
from 1968 -- 85 , joseph worked on programming as a fellow and senior research scientist at the tata institute of fundamental research -lrb- mumbai , india -rrb- and then became professor of computer science at the university of warwick in england for 12 years -lrb- 1985 -- 97 -rrb- .
he returned to india in 1997 .
he then worked in industry as executive director at the tata research development and design centre -lrb- pune -rrb- and as executive vice-president at tata consultancy services -lrb- 1997 -- 2007 -rrb- .
joseph was a visiting professor at carnegie-mellon university -lrb- 1980 -- 81 -rrb- , eindhoven university of technology -lrb- 1990 -- 92 -rrb- , the university of warwick -lrb- 1997 -- 98 -rrb- , and the university of york -lrb- 2001 -- 04 -rrb- .
he was board chair of unu-iist -lrb- 2004 -- 06 , united nations university , macau -rrb- .
joseph was the first person from india to be elected to the council of the acm .
in addition , he was a member of the acm india council until 2012 .
he now chairs the acm india education committee .
mathai joseph 's main research interest is in the area of formal methods related to computer systems , including real-time systems .
his most cited paper , '' `` finding response times in a real-time system '' '' , with over a thousand citations on google scholar , was joint work with paritosh pandya , published in `` the computer journal '' in 1986 .
joseph 's joint work with zhiming liu on fault tolerance gives a formal model that precisely defines the notions of `` fault '' , `` error '' , `` failure '' and `` fault-tolerance '' , and their relationships .
it also provided the properties that models fault-affected programs and fault-tolerant programs in terms of transformations .
together , they proposed a design process for fault-tolerant systems from requirement specifications and analysis , fault environment identification and analysis , specification of fault-affected design and verification of fault-tolerance for satisfaction of the requirements specification .
joseph is the author of `` digital republic '' , a personal reminiscence that also charts the development of information technology in india and the issues involved .
he is interested in improving science in india .
