“Draft:Mandayam Srivas”的意思、由来-开放百科全书

词条

Draft:Mandayam Srivas

释义

Career
Selected publications
References
External links
New article submission.

Mandayam Kanappan Srivas ^[1] is an Indian computer scientist, professor in computer science at the Chennai Mathematical Institute^[2].

Career

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 [https://www.cs.utah.edu/~ganesh/ 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 Arhus 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, Nulife Semiconductor^[8], India, which specialized in low-power mixed-signal ASIC design for hearing-aid 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

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

1. ^¹{{cite web|url=http://www.genealogy.ams.org/id.php?id=82940 | title=Mathematics Genealogy Project}}
2. ^ https://www.cmi.ac.in/people/fac-profile.php?id=mksrivas>
3. ^¹{{cite web|url=https://www.cmi.ac.in/~mksrivas/ | title =Personal homepage}}
4. ^¹{{cite web | url=http://cse.iitkgp.ac.in/oldlook/seminar-talk/index2013.html | title=Seminars at IITKGP}}
5. ^http://vldbarc.org/dblp/db/conf/fmcad/index.html
6. ^https://www.cs.utexas.edu/~hunt/fmcad/
7. ^http://cse.iitkgp.ac.in/oldlook/seminar-talk/index2013.html
8. ^https://web.archive.org/web/20040321112913/http://www.nulifetech.com/
9. ^http://www.cprover.org/VLSI2013/vlsi2013-slides-all.pdf

External links

[https://www.cmi.ac.in/~mksrivas/ Academic home page]

{{authority control}}{{DEFAULTSORT:Srivas, Mandayam K.}}Category:Living peopleCategory:Indian computer scientistsCategory:Massachusetts Institute of Technology alumniCategory:IISc alumni

New article submission.

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。