Jacob Van Geffen
Research Assistant at The University of Texas at Austin
Katy, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolJacob Van Geffen is a research-focused software engineer and senior undergraduate at UT Austin pursuing PhD programs in Programming Languages, with 12 years of development experience spanning static analysis, synthesis, and full-stack application work. As a research assistant he built program-analysis tooling to generate OS-level synchronization calls and authored a synthesis tool for R transformations that contributed to a PLDI 2017 publication. He has practical industry experience from internships at Google and Lockheed Martin, where he built data pipelines for BigQuery/Dataflow and automated build and factory tooling. Comfortable bridging theory and practice, Jacob combines a dual background in Computer Science and Pure Mathematics with hands-on engineering on data-heavy, systems-level problems. An understated strength is translating example-driven specifications into working code—evident from his synthesis work—making him well-suited for research that yields practical tooling.
12 years of coding experience
1 year of employment as a software developer
BS, Computer Science and Pure Mathematics, BS, Computer Science and Pure Mathematics at The University of Texas at AustinSeven Lakes High SchoolHerbert Henry Dow High School
Github Skills (12)
testing9
rosette7
synthesis7
rust7
racket6
starknet6
verification6
ethereum6
security5
cairo-lang5
programming-language4
symbolic-execution3
Programming languages (4)
Github contributions (5)
JacobVanGeffen/JacobVanGeffen.github.io
Apr 2017 - Jan 2020
Build a Jekyll blog in minutes, without touching the command line.
Contributions:2 PRs, 50 pushes, 1 branch in 2 years 9 months
jekyll-blogjekylljekyll-thememinutes
JacobVanGeffen/G-Force_Arena
Dec 2013 - Dec 2013
Contributions:5 commits in 1 day
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.