Sreeranga Rajan
Appearance
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. Archived from the original (PDF) on December 23, 2015.