معرفی
Steven Keuchel is a researcher at KU Leuven in Belgium, with a focus on programming languages, formal verification, and compiler design. He actively contributes to academic conferences such as SPLASH, ICFP, and ECOOP, and maintains open-source projects on GitHub.
Research Interests: His work bridges theoretical and practical aspects of computer science, emphasizing formal verification techniques, type systems, and secure software development. Key areas include Haskell-based tools, RISC-V architecture, and proof assistants like Coq.
Publications: Recent contributions include type inference logics for OOPSLA 2024, secure calling conventions for CHERI capability machines at PriSC 2024, and verification frameworks for RISC-V at DeepSpec 2020.
Academic Roles: Committee member for ECOOP 2022's Research Papers and Artifacts tracks, and reviewer for ICFP and SPLASH conferences.
Projects: Maintains open-source repositories like riscv64-ghc-bindist for RISC-V compiler distributions, alongside formal verification tools such as Needle and Katamaran.
