Sreeranga Rajan is an engineer at Fujitsu Laboratories of America in Sunnyvale, California. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2016[1] for his contributions to scalable formal verification of software and hardware systems.
References edit
- ^ "2016 elevated fellow" (PDF). IEEE Fellows Directory.[dead link]
 | This article about an American electrical engineer is a stub. You can help Wikipedia by expanding it. |