About
Alexander obtained his PhD in 2020, while working as a researcher in the programming language research group at the KU Leuven in Belgium. Currently he is a Quantitative Developer at Standard Chartered Bank in London, developing back-end services in Haskell for the internal trader platform.
Interests
His main research interests are programming languages, with a particular focus on the fields of functional and probabilistic programming, about which he has published articles at top international conferences and journals.
Outside the office, he enjoys hitting his opponents with the pointy end on the fencing piste.
Publications
-
Declarative Pearl: Rigged Contracts
In Science of Computer Programming, Volume 231, 2024 -
Forward- or Reverse-Mode Automatic Differentiation: What’s the Difference?
In Science of Computer Programming, Volume 231, 2024 -
Disjunctive Delimited Control
In Logic-Based Program Synthesis and Transformation (LOPSTR), 2021
(Best Paper Award)
-
PλωNK: Functional Probabilistic NetKAT
Proc. ACM Program. Lang. 4, POPL, Article 39 (January 2020) -
From PRISM to ProbLog: There And Back Again
In the Probabilistic Logic Programming Workshop, 2017[CEUR] -
ProbLog and Applicative Probabilistic Programming
In the Probabilistic Programming Semantics Workshop, 2017 -
The functional perspective on advanced logic programming
In ICLP 2016 Technical Communcations
OASIcs, Daghstuhl Publishing, 2016 -
Tabling with Sound Answer Subsumption
In TPLP special issue for ICLP 2016,
Cambridge University Press, October 2016 -
Tabling as a Library with Delimited Control
In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, AAAI Press, 2016 -
Fixing Non-determinism
In IFL ’15 Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages,
ACM, 2016Master Thesis: The Table Monad in Haskell (Dutch)
Defended in June 2015
Talks
The Table Monad in Haskell presented at IFL 2015 (September 14th, 2015), University of Koblenz-Landau, Koblenz. [Slides]
Fixing Non-determinism presented at the Leuven Haskell User Group (January 26th, 2016), Department of Computer Science, Leuven. [Slides]
Tabling as a Library with Delimited Control presented at IJCAI 2016 (July 13, 2016), Hilton Midtown, New York. [Slides]
A Functional Perspective on Logic Programming presented at the Doctoral Consortium of ICLP 2016 (October 18, 2016), Sheraton La Guardia, New York. [Slides]
Tabling with Sound Answer Subsumption presented at ICLP 2016 (October 20, 2016), Sheraton La Guardia, New York. [Slides]
Raytracing from First principles presented at the Leuven Haskell User Group (January 24, 2017), Department of Computer Science, Leuven. [Slides]
ProbLog is Applicative presented as a DTAI-seminar (February 27, 2017), Departement of Computer Science, Leuven. [Slides]
From PRISM to ProbLog: There And Back Again presented at PLP 2017 (September 8, 2017), LIFO (Le Laboratoir d’Informatique Fondamentale d’Orléans, Orléans, France. [Slides]
Domain Specific Languages presented at the Belgian Go meetup (February 27, 2019), imec, Leuven. [Slides]
PλωNK: Functional Probabilistic NetKAT (January 23, 2020), JW Marriot, New Orleans, Louisiana, USA. [Slides]
Harnessing Probabilistic Programming for Networks (March 5, 2020), Nokia Bell Labs, Antwerpen, Belgium [Slides]
Harnessing Probabilistic Programming for Networks (March 9, 2020), Department of Computer Science, KU Leuven, Leuven, Belgium [Slides]
Rigged Contracts (May 16, 2024), FLOPS 2024, Kumamoto, Japan [Slides]