Personlig profil
Profil informationstekst
My interests include functional and managed object-oriented programming languages and their implementation, program transformation, program specification, software development, compilers, parallel programming, and bioinformatics.
Emneord
- Programming languages
- Software development
- Parallel programming
- Functional programming
- Program specification
Fingeraftryk
- 1 Lignende profiler
-
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation: Invited Contribution)
Sestoft, P. & Søndergaard, H., 11 jan. 2024, 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24). Association for Computing Machinery, s. 1-13 13 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
On the cost semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., apr. 2022, I: Journal of Computer Languages. 69, 20 s., 101103.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Co-designing DSL quality assurance measures for and with non-programming experts
Borum, H. S., Seidl, C. & Sestoft, P., 18 okt. 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, s. 31-40 10 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
On Designing Applied DSLs for Non-programming Experts in Evolving Domains
Borum, H. S., Niss, H. & Sestoft, P., 2021, Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021. IEEE, s. 227-238 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
On the semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., mar. 2020, I: Journal of Computer Languages. 57, 11 s., 100960.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
-
Contract-/Blockchain based Digital Cash
Sestoft, P. (PI), Beck, R. (CoI), Debois, S. (CoI), Gentile, L. (CoI) & Madsen, F. (CoI)
Styrelsen for Forskning og Uddannelse
03/09/2018 → 31/12/2018
Projekter: Projekt › Forskning
-
A general-purpose framework for software verification
Bengtson, J. (PI), Birkedal, L. (CoI), Sestoft, P. (CoI) & Faithfull, A. (CoI)
01/07/2013 → 30/04/2017
Projekter: Projekt › Forskning
-
Open Data Management for Scientific Innovation
Sestoft, P. (CoI), Hentschel, M. (PI) & Pedersen, A. T. B. (Samarbejdspartner)
01/01/2025 → 31/12/2028
Projekter: Projekt › Forskning
-
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), Goot, R. V. D. (CoI), Coscia, M. (CoI), Hardmeier, C. (CoI), Heinrich, S. (Samarbejdspartner) & Güven, A. B. (Samarbejdspartner)
Danish National Research Foundation
01/07/2021 → 30/06/2034
Projekter: Projekt › Forskning
-
P3: Popular parallel programming
Sestoft, P. (PI), Bock, A. A. (CoI) & Biermann, F. (CoI)
01/02/2015 → 23/03/2019
Projekter: Projekt › Forskning
Presse/medier
-
Udvalg: Hvis vi vil sikre en bæredygtig digitalisering, kræver det en fremsynet uddannelsespolitik
01/04/2026
1 Mediebidrag
Presse/medie
-
Udvalg: Hvis vi vil sikre en bæredygtig digitalisering, kræver det en fremsynet uddannelsespolitik
01/04/2026
1 Mediebidrag
Presse/medie
-
Britisk cyberchef advarer: Vibe coding kommer til at sprede sårbar kode i stor skala
26/03/2026
1 Mediebidrag
Presse/medie
-
Britisk cyberchef advarer: Vibe coding kommer til at sprede sårbar kode i stor skala
26/03/2026
1 Mediebidrag
Presse/medie
-
Forsikringsgigant vil spare 400 millioner kroner med AI: Sagsbehandlingen skal nedbringes fra dage til minutter
25/03/2026
1 Mediebidrag
Presse/medie
Aktiviteter
- 9 Medlemskab af bedømmelsesudvalg
-
Assessment committee for recruitment of Full Professorships in Digital Design (Begivenhed)
Sestoft, P. (Forperson)
1 aug. 2024 → 1 jan. 2025Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for assistant/associate Professorships in Algorithms (Begivenhed)
Sestoft, P. (Forperson), Kulyk, O. (Medlem) & Jacob, R. (Medlem)
2 maj 2024 → 1 sep. 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant/associate professor in Data-Intensive Systems and Applications (Begivenhed)
Sestoft, P. (Forperson), Tözün, P. (Medlem) & Husfeldt, T. (Medlem)
22 aug. 2023 → 31 dec. 2023Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant/associate professorships in Natural Language Processing (Begivenhed)
Sestoft, P. (Forperson), Hardmeier, C. (Medlem) & Kulyk, O. (Medlem)
26 nov. 2023 → 1 mar. 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant professor in therapeutic and affective robotics (Begivenhed)
Sestoft, P. (Forperson), Støy, K. (Medlem) & Kulyk, O. (Medlem)
12 mar. 2024 → 1 maj 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg