Mukul Prasad is a Research Manager in the Software Quality & Security Laboratory at Fujitsu Laboratories of America. His research interests include all aspects of the validation and testing of enterprise software and hardware systems.
Mukul has worked in corporate research for the past 15 years, where he initially worked on applying formal methods to develop tools for verification of hardware designs and over the past ten years on developing tools to automate the validation, testing, and debugging of enterprise software systems.
He has thrice been a co-recipient of the Fujitsu Laboratories President Award for innovation. He has co-authored over 35 conference and journal papers, including 1 best paper award and 2 best paper nominations, 1 book and holds over 30 patents.
Mukul has a Ph.D. from the University of California at Berkeley and a B.Tech from the Indian Institute of Technology at Delhi. He is a Senior Member of IEEE and a Senior Member of ACM.