Publikationer pr. år
Publikationer pr. år
Fingerprint
Dyk ned i forskningsemnerne, hvor Kunstig intelligens, cybersikkerhed og programmeringssprog er aktiv. Disse emnekoncepter kommer fra arbejde fra denne enheds forskere. Sammen danner de et unikt fingerprint.
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Forskere
-
Casper Bach
- Institut for Matematik og Datalogi
- Kunstig intelligens, cybersikkerhed og programmeringssprog - Adjunkt - Tenure track
Person: VIP
-
Ida Marie Holmsten
- Institut for Matematik og Datalogi
- Kunstig intelligens, cybersikkerhed og programmeringssprog - Studentermedhjælper
Person: TAP
Publikationer
-
Can’t you answer while you wait?
Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2025, (E-pub ahead of print) I: Annals of Mathematics and Artificial Intelligence. 32 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Europas digitale afhængighed truer vores sikkerhed. Men vi kan stadig genvinde suveræniteten
Peressotti, M., Keating, V. C. & Stentoft, J., 17. mar. 2025, I: Altinget.Publikation: Bidrag til tidsskrift › Bidrag til avis - Kronik
-
Function-as-a-Service Allocation Policies Made Formal
Palma, G. D., Giallorenzo, S., Mauro, J., Trentin, M. & Zavattaro, G., 2025, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Science+Business Media, s. 306-321 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15219 LNCS).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Hvordan sikrer vi, at cybersikkerhed bliver taget alvorligt?
Stentoft, J., Keating, V. C., Peressotti, M. & Mayer, P., 6. feb. 2025, I: Jysk Fynske Medier, Erhverv +. s. 16 1 s.Publikation: Bidrag til tidsskrift › Bidrag til avis - Kronik
Åben adgang -
JoT: A Jolie framework for testing microservices
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., feb. 2025, I: Science of Computer Programming. 240, 103215.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil14 Downloads (Pure)
Aktiviteter
-
The Ethics of Creativity in AI Education
Zhou, C. (Oplægsholder), Røssing, T. B. (Medforfatter), Cruz-Filipe, L. (Medforfatter) & Balslev, G. M. (Medforfatter)
24. maj 2024Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
Podcast - The SCM Agenda: Cybersecurity Awareness
Stentoft, J. (Underviser), Kjær, T. H. (Medforfatter), Peressotti, M. (Paneldeltager) & Mayer, P. (Paneldeltager)
11. jan. 2024Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Applied Computer Security Associates (Ekstern organisation)
Mayer, P. (Medlem)
dec. 2022 → …Aktivitet: Medlemskab › Medlemskab af forskningsnetværk eller ekspertgruppe
-
EU - Horizon Europe - ERC - Consolidator Grant - Choreographies for Distributed Systems (CHORDS)
Montesi, F. (Projektdeltager)
01/06/2024 → 31/05/2029
Projekter: Projekt › EU
-
PhD project: High choice platform environments and the spreading of intolerance
Clausen, A. (Ph.d.-studerende), Frischlich, L. (Vejleder) & Mayer, P. (Bivejleder)
01/10/2024 → 30/09/2027
Projekter: Projekt › Forskning
-
TrygFonden - Digital Security Behavior
Sohn, S. (PI), Mayer, P. (Projektdeltager), Schnittka, O. (Projektdeltager) & Siemon, D. (Projektdeltager)
01/04/2024 → 31/03/2027
Projekter: Projekt › Private fonde
-
Mapping the Cybersecurity Landscape in Danish SMEs
Kankam-Boateng, J. (Ph.d.-studerende), Peressotti, M. (Vejleder) & Mayer, P. (Bivejleder)
15/03/2024 → 15/03/2027
Projekter: Projekt › Ph.d-projekt
-
Understanding DAOs challenges and opportunities for contrasting climate change
Sampó, G. (Ph.d.-studerende), Becker, M. (Vejleder), Baumann, O. (Projektdeltager) & Peressotti, M. (Bivejleder)
01/02/2024 → 31/01/2027
Projekter: Projekt › Ph.d-projekt
Datasæt
-
A Formal Theory of Choreographic Programming in Coq
Cruz-Filipe, L. (Ophavsmand), Montesi, F. (Ophavsmand) & Peressotti, M. (Ophavsmand), Zenodo, 5. sep. 2022
DOI: 10.5281/zenodo.7773479, https://zenodo.org/record/7773479
Datasæt
-
Keep me out of the loop: a more flexible choreographic projection
Cruz-Filipe, L. (Ophavsmand), Fabrizio (Ophavsmand) & Robert, R. (Ophavsmand), Zenodo, 17. mar. 2023
Datasæt
Presse/medie
-
Tre mediehuse deler erfaringer og får nyt AI-værktøj fra stort forskningsprojekt
13/02/2025
1 Mediebidrag
Presse/medie
-
Tre mediehuse deler erfaringer og får nyt AI-værktøj fra stort forskningsprojekt
13/02/2025
1 Mediebidrag
Presse/medie
-
-
-
Priser
-
Best Artefact Award
Giallorenzo, S. (Modtager), Montesi, F. (Modtager), Peressotti, M. (Modtager), Rademacher, F. (Modtager) & Unwerawattana, N. (Modtager), 22. jun. 2023
Pris: Priser, stipendier, udnævnelser
-
Villum Bevilling - Villum Synergy
Montesi, F. (Modtager) & de Vreese, C. H. (Modtager), 7. sep. 2022
Pris: Priser, stipendier, udnævnelser