Dr. Nicola Botta

Senior scientist

I am a senior scientist at PIK and adjunct professor (2019-2022) in the FP division, at the CSE Department, Chalmers University of Technology, Sweden. fsf_button

Department

Contact

Potsdam Institute for Climate Impact Research (PIK)
T +49 (0)331 288 2657
Nicola.Botta[at]pik-potsdam.de
P.O. Box 60 12 03
14412 Potsdam

ORCID

I apply type theory, generic programming and program verification to climate science. I have active collaborations with M. Crucifix (UCL, Louvain-la-Neuve, Belgium), P. Jansson (Chalmers University of Technology, Gothenburg, Sweden) and C. Ionescu (THD, Deggendorf, Germany). I am responsible for Theme 4 (Data and Decisions) and for part of work package 6 of the EU Horizon 2020 TiPES project. I am a developer of IdrisLibs and of the verified framework for sequential decision problems IdrisLibs/SequentialDecisionProblems. I have worked on agent based models of exchange economies with A. Mandel (CES, Paris, France) and on numerical methods for partial differential equations with R. Klein (FU-Berlin, Berlin, Germany). I have obtained a PhD from the Department of Engineering of the ETH Zürich.

Recent submissions:

  • Extensional equality preservation and verified generic programming. N. Botta, N. Brede, P. Jansson, T. Richter. Submitted to the Journal of Functional Programming, July 2020, arXiv 2008.02123.
  • Semantic verification of dynamic programming. N. Brede, N. Botta. Submitted to the Journal of Functional Programming, July 2020, arXiv 2008.02143.
  • COPOD: Copula-Based Outlier Detection. Zheng Li, Yue Zhao, Nicola Botta, Cezar Ionescu, Xiyang Hu. Submitted to the 19th IEEE International Conference on Data Mining (ICDM 2020), June 2020.

Published papers:

  • I am a member of the COMET (Computational methods and visualization) activity and a developer of IdrisLibs.
  • I am responsible for Theme 4 (Data and Decisions) and for deliverables D6.1 and D6.2 of the EU Horizon 2020 TiPES project.

  • Cartesian Seminar, see CS@uni-potsdam and CS@github.
  • Introduction to functional languages and to dependently typed languages; theory of optimal decision making under uncertainty for finite horizon sequential decision problems; policy, policy sequences and value functions; optimality, viability and reachability; uncertainty measures and possible trajectories. Given at UCLouvain in Nov. 2019 (20 hours) and March 2020 (20 hours) as TiPES deliverable D6.1, regular lectures, extra lectures).

... for thought, in no particular order: