Arbeids- og kompetanseområde
Är intresserad i följande forskningsområde:
- Bayesiansk statistik och maskininlärning
- Funktionell programmering, certifierad programmering samt typteori (Haskell, Coq)
- Beräkningsmatematik, geometrisk integration
Publikasjonar
-
Pouchol, Camille, Verdier, Olivier (2021)
-
Modin, Klas, Verdier, Olivier (2020)
-
Munthe-Kaas, Hans Zanna, Stern, Ari, Verdier, Olivier (2020)
-
Pouchol, Camille, Verdier, Olivier (2020)
-
Benn, James, Marsland, Stephen, McKachlan, Robert I., Modin, Klas, Verdier, Olivier (2019)
Vis alle