Research output per year
Research output per year
Personal profile
Curriculum
My interests include functional and managed object-oriented programming languages and their implementation, program transformation, program specification, software development, compilers, parallel programming, and bioinformatics. See my real homepage for full information, and also my online CV.
Keywords
- Programming languages
- Software development
- Parallel programming
- Functional programming
- Program specification
Fingerprint
Dive into the research topics where Peter Sestoft is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
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, p. 1-13 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
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, In: Journal of Computer Languages. 69, 20 p., 101103.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Co-designing DSL quality assurance measures for and with non-programming experts
Borum, H. S., Seidl, C. & Sestoft, P., 18 Oct 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, p. 31-40 10 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
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, p. 227-238 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
On the semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Mar 2020, In: Journal of Computer Languages. 57, 11 p., 100960.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile
-
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
-
Parallel Programmering for Slutbrugere i Regneark
Biermann, F. (PI) & Sestoft, P. (PI)
Danish National Research Foundation
01/07/2015 → 30/06/2018
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), Goot, R. V. D. (CoI), Coscia, M. (CoI), Hardmeier, C. (CoI), Heinrich, S. (Collaborator) & Güven, A. B. (Collaborator)
Danish National Research Foundation
01/07/2021 → 30/06/2034
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
-
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
Press/Media
-
-
Nyt nationalt kvanteforum er netop præsenteret
24/02/2024
1 Media contribution
Press/Media: Press / Media
-
Udland Kryptovaluta kritiseres for et enormt energiforbrug, men nu skifter en af de største kurs
11/09/2022
1 Media contribution
Press/Media: Press / Media
-
Kinas forbud mod bitcoin-minedrift har forværret drivhusgasudledningen globalt
02/06/2022
1 Media contribution
Press/Media: Press / Media
-
Kinesisk forbud mod bitcoin-minedrift øgede drivhusgasudledningen globalt
02/06/2022
1 Media contribution
Press/Media: Press / Media
Activities
- 9 Membership in review committee
-
Assessment committee for recruitment of Full Professorships in Digital Design (Event)
Sestoft, P. (Chair)
1 Aug 2024 → 1 Jan 2025Activity: Membership types › Membership in review committee
-
Hiring committee for assistant/associate Professorships in Algorithms (Event)
Sestoft, P. (Chair), Kulyk, O. (Member) & Jacob, R. (Member)
2 May 2024 → 1 Sept 2024Activity: Membership types › Membership in review committee
-
Hiring committee for recruitment of assistant/associate professor in Data-Intensive Systems and Applications (Event)
Sestoft, P. (Chair), Tözün, P. (Member) & Husfeldt, T. (Member)
22 Aug 2023 → 31 Dec 2023Activity: Membership types › Membership in review committee
-
Hiring committee for recruitment of assistant/associate professorships in Natural Language Processing (Event)
Sestoft, P. (Chair), Hardmeier, C. (Member) & Kulyk, O. (Member)
26 Nov 2023 → 1 Mar 2024Activity: Membership types › Membership in review committee
-
Hiring committee for recruitment of assistant professor in therapeutic and affective robotics (Event)
Sestoft, P. (Chair), Støy, K. (Member) & Kulyk, O. (Member)
12 Mar 2024 → 1 May 2024Activity: Membership types › Membership in review committee