Sreeranga Rajan
From Wikipedia, the free encyclopedia
Sreeranga Rajan is an engineer at Fujitsu Laboratories of America in Sunnyvale, California. He is an ACM Distinguished Member.[1] He was elected an IEEE Fellow[2] for his contributions to scalable formal verification of software and hardware systems.
