Arjun Viswanathan
Visiting Assistant Professor at Union College
City of Schenectady, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolArjun Viswanathan is a Visiting Assistant Professor at Union College with nine years of experience bridging formal methods research and practical tooling for program verification. He focuses on integrating automated SMT solvers with interactive proof assistants like Coq and has industry experience applying MaxSMT to aviation security and automating Coq proofs at BedRock Systems. A PhD candidate in Computer Science from the University of Iowa, he teaches undergraduate CS while continuing research on making model checkers and proof automation more usable. Colleagues know him for combining rigorous academic depth with pragmatic engineering—turning theorem-proving advances into tools that scale to real-world problems.
9 years of coding experience
1 year of employment as a software developer
Bachelor of Technology - BTech, Computer Engineering, Bachelor of Technology - BTech, Computer Engineering at MVJ College of Engineering, Bangalore, IndiaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Iowa
Github Skills (38)
simulation10
satisfiability10
lustre10
solver10
modulo10
checker10
sat10
interaction10
imperative10
smt10
model-checking9
tla9
physics9
theorem9
sat-solver9
Programming languages (11)
Github contributions (5)
ekiciburak/bitvector
May 2019 - May 2023
Contributions:68 pushes, 3 branches in 4 years
arjunvish/smtcoq
Oct 2020 - Dec 2024
Communication between Coq and SAT/SMT solvers
Contributions:1 review, 3 PRs, 360 pushes in 4 years 3 months
smtsatsolverscommunicationcoq
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.