Vytautas Astrauskas
Research Engineer at Sensmetry
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolVytautas Astrauskas is a research engineer and doctoral student at ETH Zurich with 17 years of software engineering experience, currently working on Prusti, a verifier for the Rust programming language. Based in Zurich and now at Sensmetry, he blends formal methods research with practical tooling to improve Rust’s safety guarantees. He has made significant open-source contributions to rust-lang/polonius, helping evolve the core borrow-checker algorithms and command-line tooling, including comparing Naive and DatafrogOpt approaches. His work bridges deep program analysis and backend engineering, demonstrating an ability to translate theoretical advances into usable developer tools. Colleagues describe him as a meticulous problem-solver who thrives on improving compiler internals and verification pipelines.
17 years of coding experience
Doctor of Science, Computer Science, Doctor of Science, Computer Science at ETH Zürich
Github Skills (5)
data-structures10
algorithms10
rust10
data-structure10
command-line-interface9
Programming languages (9)
Github contributions (5)
rust-lang/polonius
May 2018 - May 2018
Defines the Rust borrow checker.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 3 PRs, 7 comments in 1 day
Contributions summary:Vytautas contributed significantly to the `polonius` project, which defines the Rust borrow checker. They focused on modifying the core algorithm and command-line interface. Specifically, they removed and replaced outdated code structures, modified command-line arguments and implemented the comparing algorithm functionality. The user also added the ability to compare the `Naive` and `DatafrogOpt` algorithms.
checkerrusttlaborrowtlaplus
vakaras/smauglys
Aug 2021 - Aug 2022
Contributions:3 reviews, 1 PR, 180 pushes in 1 year
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.