Ivan Beschastnikh
Associate Professor
Vancouver, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolIvan Beschastnikh is an Associate Professor at UBC with 17 years of experience working at the intersection of systems and software engineering, specializing in formal methods and software analysis for distributed systems. His research spans distributed machine learning, privacy and security of ML, blockchain scalability, NFV, data center scheduling, program and log analysis, and he ships research software that others can reuse. He mentors students passionately and serves as an expert witness, translating deep technical knowledge into practical, auditable opinions for real-world disputes. Ivan spent a sabbatical with Uber’s Programming Systems Team, applying his program-analysis expertise to industry-scale distributed systems. He holds an MSc and PhD from the University of Washington and a dual undergraduate background in mathematics and computer science from the University of Chicago. Beyond papers, he emphasizes building usable research tools—most of which are available publicly—bridging academic innovation and developer adoption.
17 years of coding experience
7 years of employment as a software developer
MSc, PhD, Computer Science, MSc, PhD, Computer Science at University of WashingtonMathematics and Computer Science, Mathematics and Computer Science at University of ChicagoStuyvesant High School
Spanish, Russian
Github Skills (83)
pgo10
scroll10
instrumentation10
mining10
clock10
tla10
vector-clock10
machine-learning10
testbed10
pluscal9
logging9
scala9
distributed-systems9
vector9
ledger8
Programming languages (12)
Github contributions (5)
xxlya/leap-project.github.io
May 2020 - Jul 2021
LEAP research group at UBC
Contributions:71 commits in 1 year 1 month
ubcresearch-group
bestchai/cs416_2021w2
Jan 2022 - Apr 2022
cs416_2021w2
Contributions:85 commits, 1 PR, 77 pushes in 3 months
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.