Sreeranga Rajan

From Wikipedia, the free encyclopedia

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]

  1. ^ "2016 elevated fellow" (PDF). IEEE Fellows Directory.[dead link]