Ravi Mangal
Assistant Professor at Colorado State University
Fort Collins, Colorado, United States
Summary
👤
Senior🎓
Top SchoolRavi Mangal is an Assistant Professor at Colorado State University with a decade of experience at the intersection of software engineering, security, and formal methods. His research focuses on analyzing the safety and security of software systems using formal techniques, building on postdoctoral work at Carnegie Mellon and a PhD from Georgia Tech. He has industry research experience from internships at Microsoft and Google, and practical engineering roots stretching back to NVIDIA and early roles in India. Known for bridging rigorous academic methods with real-world application, he often collaborates across academia and industry to translate formal analyses into usable tooling. Based in Fort Collins, he combines teaching, mentorship, and research to advance dependable software systems. An understated strength is his track record of working with leading verification researchers, signaling deep domain expertise and strong research networks.
9 years of coding experience
13 years of employment as a software developer
PhD Computer Science, PhD Computer Science at Georgia Institute of TechnologyBachelor of Technology Information Technology, Bachelor of Technology Information Technology at Veermata Jijabai Technological Institute (VJTI)
English, Hindi
Github Skills (9)
science10
ranking10
react9
computer-science9
jar9
verification7
java6
deep-learning4
neural-network3
Programming languages (3)
Github contributions (5)
ravimangal/CSrankings
Sep 2024 - Nov 2024
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Contributions:9 pushes, 1 branch in 2 months
nnarodytska/VFL
Jun 2023 - Jul 2023
Contributions:11 pushes in 10 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.