基本信息
views: 135
Career Trajectory
Bio
My research is in programming language theory, and I'm also interested in logic and category theory. I've recently been especially interested in two kinds of programming language:
Probabilistic programming languages: This is broadly to do with specifying and understanding statistical models using programming languages. I was recently awarded an ERC Consolidator grant in this area, and we recently won a Facebook research award too. Our POPL 2023 introduces the LazyPPL library which demonstrates the power of lazy data structures in probabilsitic programming. Much of my work in semantics of probabilistic programming starts from two key ideas: s-finite kernels as a simple compositional formalism allowing both sampling and observations (ESOP 2017), and quasi-Borel spaces, a new setting for higher order probability theory (LICS 2017). Our PPS 2017 abstract looked at the relationship between exchangeability and program modules which I think is an exciting direction, and we stepped further in ICALP 2018, AHP 2021 and POPL 2024..
Quantum computing and programming languages: Mathieu Huot and I found a neat universal property for quantum theory (LICS 2019, QPL 2018) based on my theory of quantum programs (POPL 2015). Earlier, I've worked on contextuality and non-locality with Sander Uijlen (see our ICALP 2015 paper), and on quantum programming languages with Mathys Rennela (see our MFPS 2017/LMCS and 2015 papers and our QPL 2016 paper). My research in this area has been supported by my grant 'Quantum Computation as a Programming Language' (EP/N007387/1) and a current AFOSR grant FA9550-21-1-0038.
Probabilistic programming languages: This is broadly to do with specifying and understanding statistical models using programming languages. I was recently awarded an ERC Consolidator grant in this area, and we recently won a Facebook research award too. Our POPL 2023 introduces the LazyPPL library which demonstrates the power of lazy data structures in probabilsitic programming. Much of my work in semantics of probabilistic programming starts from two key ideas: s-finite kernels as a simple compositional formalism allowing both sampling and observations (ESOP 2017), and quasi-Borel spaces, a new setting for higher order probability theory (LICS 2017). Our PPS 2017 abstract looked at the relationship between exchangeability and program modules which I think is an exciting direction, and we stepped further in ICALP 2018, AHP 2021 and POPL 2024..
Quantum computing and programming languages: Mathieu Huot and I found a neat universal property for quantum theory (LICS 2019, QPL 2018) based on my theory of quantum programs (POPL 2015). Earlier, I've worked on contextuality and non-locality with Sander Uijlen (see our ICALP 2015 paper), and on quantum programming languages with Mathys Rennela (see our MFPS 2017/LMCS and 2015 papers and our QPL 2016 paper). My research in this area has been supported by my grant 'Quantum Computation as a Programming Language' (EP/N007387/1) and a current AFOSR grant FA9550-21-1-0038.
Research Interests
Papers共 72 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF THE ACMno. 1 (2024): 2:1-2:53
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (2024): 3-21
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICSpp.1-14, (2023)
CoRR (2023)
Cited0Views0EIBibtex
0
0
arXiv (Cornell University) (2023)
Proceedings of the ACM on Programming Languagesno. POPL (2023): 1819-1849
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2023): 400-414
Proc. ACM Program. Lang.no. POPL (2023): 121-153
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn