Sreeranga Rajan

Last updated January 30, 2026

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

↑ 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.
↑ "2016 elevated fellow" (PDF). IEEE Fellows Directory. Archived from the original (PDF) on December 23, 2015.

This article about an American electrical engineer is a stub. You can help Wikipedia by adding missing information.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[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.

[1]

[2]