Amit Vasudevan
Founder And CEO at Nirubi, Inc.
Aledo, Texas, United States
Summary
👤
Senior🎓
Top SchoolAmit Vasudevan is a founder and CEO with 16 years of deep research and engineering experience building formally verifiable, security-oriented systems for commodity platforms. His work spans secure embedded systems, IoT, virtualization, trusted computing, formal methods, and malware analysis, and he leads the überSpark and uberXMHF projects—open-source frameworks for compositional formal verification and a verifiable micro-hypervisor foundation. Formerly a senior security researcher at Carnegie Mellon’s Software Engineering Institute and a post-doc at CMU, he combines rigorous academic credentials (PhD, multiple fellowships) with practical patents and two books on trustworthy computing. Based in Aledo, Texas, he now channels his research into product and company-building through Nirubi, Inc., bringing a rare mix of formal verification expertise and applied security engineering to commercial technology. An interesting signal of his approach: he focuses not just on proofs, but on making verifiability usable on commodity hardware, enabling novel “uberApp” security architectures.
16 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy - PhD (Two time University Scholar Recipent), Computer Science and Engineering, GPA 4.0/4.0, Doctor of Philosophy - PhD (Two time University Scholar Recipent), Computer Science and Engineering, GPA 4.0/4.0 at The University of Texas at ArlingtonPost-doctoral Fellowship, Computer Science and Engineering, Post-doctoral Fellowship, Computer Science and Engineering at Carnegie Mellon UniversityBachelor of Engineering - BE, Computer Science and Engineering, GPA: 3.9/4.0, Bachelor of Engineering - BE, Computer Science and Engineering, GPA: 3.9/4.0 at BMS College of Engineering, Bangalore
Github Skills (21)
security10
hypervisor10
distributions8
sensor7
raspberry7
manjaro6
architectures5
forum5
kernel5
linux-kernel5
firmware4
rover4
raspberry-pi4
chroot3
foundation3
Programming languages (4)
Github contributions (5)
uberspark/uapp-SunFounder_PiCar-S
Nov 2020 - Dec 2021
SunFounder Smart Sensor Car Kit for Raspberry Pi
Contributions:14 reviews, 13 PRs, 13 pushes in 1 year 1 month
raspberry-piraspberrysensorraspberrypirover
amitvasudevan/uberspark
Apr 2020 - Dec 2021
UberSpark: Composable Verification of Commodity System Software
Contributions:98 pushes, 38 branches in 1 year 8 months
composablesystem-softwareverification
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.