Sreeranga Rajan

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.

References

  1. ^ Virginia Gold (December 4, 2014). "ACM's Distinguished Computer Scientists, Engineers and Educators Cited for Global Reach, Real-World Impact: 2014 Members Recognized for Contributions to Hardware, Software and Communications". Association for Computing Machinery. Retrieved January 12, 2026.
  2. ^ "2016 elevated fellow" (PDF). IEEE Fellows Directory. Archived from the original (PDF) on December 23, 2015.
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.