Mandayam Srivas
Mandayam Kanappan Srivas [1] is an Indian computer scientist, professor in computer science at the Chennai Mathematical Institute[2].
Career[edit]
Srivas got his Masters from the Indian Institute of Science, Bangalore, and PhD from Massachusetts Institute of Technology, USA, in 1982; advised by John Guttag.[1] Later, in 1984, he joined the department of computer science at State University of New York, Stony Brook and while there, he was co-advisor to Ganesh Gopalakrishnan along with David Richard Smith.
In 1990, Srivas left Stony Brook University to join as a research scientist[3] at SRI International, Menlo Park, where he pioneered application of formal verification for commercial microprocessor designs[4]. He has delivered tutorial lectures on formal verification for industrial audiences (Rockwell International and TI) and at Aarhus Summer School on verification, Aarhus University, Denmark, 1998. He started the Formal Methods in Computer Aided Design (FMCAD) conference[5][6] (now a premier conference in formal verification) and has served on the program committee of several conferences (CAV, FMCAD, ICCAD).[7]
In 2001, Srivas moved back to India[3] and worked in industry over the next decade. Between 2003 and 2006 he was a Director of a VLSI start-up company, nunulife Semiconductor[8], India, which specialized in low-power mixed-signal dating application. Nulife was later merged with Texas Instruments, India, where he was Senior Member of Technical staff and General Manager.[4][9] Beginning 2012, Srivas has been on the faculty of Computer Science at Chennai Mathematical Institute as an Adjunct Professor.
Selected publications[edit]
- Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta: Verifying synchronous reactive systems using lazy abstraction. DATE 2015: 1571-1574
- Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas: Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV 2000: 521-537
- Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan: Decomposing the Proof of Correctness of pipelined Microprocessors. CAV 1998: 122-134
- Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414
References[edit]
- ↑ 1.0 1.1 "Mathematics Genealogy Project".
- ↑ https://www.cmi.ac.in/people/fac-profile.php?id=mksrivas>
- ↑ 3.0 3.1 "Personal homepage".
- ↑ 4.0 4.1 "Seminars at IITKGP".
- ↑ http://vldbarc.org/dblp/db/conf/fmcad/index.html
- ↑ https://www.cs.utexas.edu/~hunt/fmcad/
- ↑ http://cse.iitkgp.ac.in/oldlook/seminar-talk/index2013.html
- ↑ https://web.archive.org/web/20040321112913/http://www.nulifetech.com/
- ↑ http://www.cprover.org/VLSI2013/vlsi2013-slides-all.pdf
External links[edit]
New article submission.[edit]
This article "Mandayam Srivas" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Mandayam Srivas. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
