Background
Ryan joined Adventium Labs (now Galois) as an intern in 2019. At Adventium, he lead the techincal efforts for the FRIGATE tool. He also worked on the development of formalisms to model emergent execution (DECIMAL) and contributed to the Logika verification framework. At Galois, he is developing novel learning approaches for timed automata and wrangling model checkers.
He holds B.S. degrees in Mathematics and Computer Science from the University of Minnesota Twin Cities College of Science and Engineering.
Outside of work, Ryan enjoys extolling the virtues of the manual transmission, failing to attain Strava KOMs, and being let down by the Minnesota Twins.