معرفی
Tiark Rompf is the Kevin C. and Susanne L. Kahn New Frontiers Associate Professor at Purdue University, with a scientific focus on programming languages, compilers, and systems research. He co-directs the Purdue Center for Programming Principles and Software Systems (PurPL) and serves as a Scientific Advisor at SambaNova Systems.
His research spans Reachability Types (integrating Rust-style lifetime tracking with higher-order abstractions), Rhyme (query languages for nested data), and formal verification using Coq and logical relations. Key techniques include Graph IRs, Mechanized Proofs, and E-Graphs.
Scientific Awards:
- GPCE Test of Time Award (2020)
- ACM SIGPLAN PL Software Award (2019)
- NSF CAREER Award (2016)
- Google Faculty Research Award (2017, 2018)
- DOE Early Career Research Award (2017)
He teaches graduate courses on compilers (CS 502, CS 590) and software foundations. His lab actively recruits PhD students for projects involving type systems, compiler design, and metaprogramming.
