معرفی
Scott Owens is a Professor in the Department of Computer Science at the University of Kent, UK. He is a leading researcher in formal verification and programming languages, with a focus on interactive theorem proving and concurrent systems. His work primarily centers around the CakeML project, developing verified compilers and tools for ensuring software correctness.
His recent publications demonstrate expertise in verified compiler design, dynamic computation in functional languages, and weak memory model benchmarking. He actively contributes to conferences like PLDI, ICFP, and PPoPP, with a particular emphasis on formal methods and programming language theory.
- ESOP 2019 Track Committee
- PLDI 2018-2023 Reviewer/Author
- POPL 2017-2020 Committee Member
- ICFP 2016-2024 Tutorial Presenter
۰مقاله منتشرشده
