Mahadevan Subramaniam



Compute Science Department

University of Nebraska at Omaha


Office: PKI 173C

Phone: 402-554-4984

Fax: 402-554-3400









Related Links

Brief Vita

I received my undergraduate degree in Computer Science from Birla Institute of Technology and Science (BITS) Pilani, India, 1986 and received my masters and doctorate in Computer Science from SUNY Albany, New York 1997. I have been a faculty in the Computer Science Department at University of Nebraska Omaha (UNO) since 2003.  I am the Director of the Nebraska  modeling, Simulation, and Automated inference laboratory. I also served as the Chairperson of the Graduate Program from 2007 to 2009.


I have over a decade of industry and start-up experience in developing marketed software and hardware products. Salient experiences include compiler design for Telecommunication and Semiconductor sectors; functional testing, synthesis, and verification of hardware and software; design of high performance multiprocessors, and I/O fabric components. I was    one of the early members of the Automated Software Engineering group at NASA Ames.


At UNO, my research centers on the developing and applying formal and data analysis methods to aid design of high-assurance interdisciplinary simulation systems. I am also interested in developing methods to aid analysis of evolving telecommunication systems and software especially to perform efficient testing with provable guarantees..



Honors and Awards

Los Alamos Guest Scientist, 2003.

Distinguished Dissertation Award, SUNY Albany, 1997.

Woody Bledsoe Student Award, CADE 1996,

National Merit Scholar, 1982.