Projects per year
- 17 results
Search results
-
Agile modeller af forretningsregler og -processer der kan visualiseres og simuleres ud fra forskellige perspektiver (Kunde, forretning, og IT)
Hildebrandt, T. (PI), Debois, S. (CoI), Slaats, T. (CoI) & Sestoft, P. (CoI)
Danish Agency for Higher Education and Science
26/02/2015 → 31/05/2015
Project: Research
-
Open Data Management for Scientific Innovation
Sestoft, P. (CoI) & Hentschel, M. (PI)
01/01/2025 → 31/12/2028
Project: Research
-
TinyGPT: Robust and Data-efficient Natural Language Processing
Rogers, A. (PI), Sestoft, P. (CoI) & Müller-Eberstein, M. (Collaborator)
Independent Research Fund Denmark
01/02/2024 → 01/02/2026
Project: Research
-
P1: Pioneer Centre for Artificial Intelligence
Sestoft, P. (PI), Plank, B. (CoI), Hansen, D. W. (CoI), Larsen, A. W. (CoI), Bogers, T. (CoI), Madsen, I. J. W. (CoI), Dixen, L. (CoI), Trinhammer, M. L. (CoI), Iarygina, O. (CoI), Grasshof, S. (CoI), Mottelson, A. (CoI), Burelli, P. (CoI), Risi, S. (CoI), Rogers, A. (CoI), van der Goot, R. (CoI), Coscia, M. (CoI), Hardmeier, C. (CoI) & Heinrich, S. (Collaborator)
Danish National Research Foundation
01/07/2021 → 30/06/2034
Project: Research
-
-
CFIR: Innovationsnetværket for FinansIT
Sestoft, P. (PI), Dittrich, Y. (CoI), Beck, R. (CoI) & Hildebrandt, T. (CoI)
Danish Agency for Higher Education and Science
01/09/2014 → 31/12/2018
Project: Research
-
ToMeSo: Tools and Methods for Scalable Software Verifications
Sestoft, P. (CoI), Birkedal, L. (PI), Mehnert, H. (CoI), Jensen, J. B. (CoI), Bengtson, J. (CoI), Thamsborg, J. J. (CoI), Hartmann Jensen, M. (CoI), Sieczkowski, F. (CoI), Mehnert, H. (CoI) & Svendsen, K. (CoI)
Independent Research Fund Denmark
01/03/2009 → 30/06/2013
Project: Research
-
P3: Popular parallel programming
Sestoft, P. (PI), Bock, A. A. (CoI) & Biermann, F. (CoI)
Independent Research Fund Denmark
01/02/2015 → 23/03/2019
Project: Research
-
A general-purpose framework for software verification
Bengtson, J. (PI), Birkedal, L. (CoI), Sestoft, P. (CoI) & Faithfull, A. (CoI)
Independent Research Fund Denmark
01/07/2013 → 30/04/2017
Project: Research
-
Samfinansieret PhD'er med KU - AI Pioneer Center
Sestoft, P. (PI), Larsen, A. W. (CoI) & Iarygina, O. (CoI)
01/10/2022 → 30/09/2026
Project: Research
-
Parallel Programmering for Slutbrugere i Regneark
Biermann, F. (PI) & Sestoft, P. (PI)
Danish National Research Foundation
01/07/2015 → 30/06/2018
Project: Research
-
ProBaBLI: Projection of Balances and Benefits in Life Insurance
Sestoft, P. (PI) & Borum, H. S. (CoI)
01/01/2018 → 31/07/2022
Project: Research
-
ACTULUS: Actuarial Calculus and Computing
Sestoft, P. (PI) & Christiansen, D. R. (CoI)
01/04/2011 → 30/09/2015
Project: Research
-
ESP: Designing Evolvable Software Products
Dittrich, Y. (PI), Sestoft, P. (CoI), Unphon, H. (CoI), Vaucouleur, S. (CoI) & Rhiger, M. (CoI)
Ministry of Higher Education and Science
01/07/2006 → 30/06/2008
Project: Research
-
Contract-/Blockchain based Digital Cash
Sestoft, P. (PI), Beck, R. (CoI), Debois, S. (CoI), Gentile, L. (CoI) & Madsen, F. (CoI)
Danish Agency for Higher Education and Science
03/09/2018 → 31/12/2018
Project: Research
-
High-Level Design and Verification of Digital Systems
Fu, Z. (PI), Sestoft, P. (CoI) & Wasowski, A. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2020 → 31/10/2020
Project: Research
-
InfinIT Innovationsnetværk for Finans IT
Godskesen, J. C. (PI), Sestoft, P. (CoI), Beck, R. (CoI), Dittrich, Y. (CoI), Debois, S. (CoI) & Madsen, F. (CoI)
Danish Agency for Higher Education and Science
01/07/2014 → 31/12/2020
Project: Research