Projekter pr. år
Personlig profil
Emneord
- Datalogi
- proceskalkyler og deres matematiske teori
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
Projekter
- 5 Afsluttet
-
PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (Strategic Council for Education at AAU)
Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.
01/01/2018 → 01/03/2019
Projekter: Projekt › Andet
-
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
Projekter: Projekt › Forskning
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Projekter: Projekt › Forskning
-
Calculi and verification techniques for security and mobility, 1999-2001
01/01/1999 → 31/12/2001
Projekter: Projekt › Forskning
Publikationer
-
Contextualisation in university level problem-based learning
Dahl, B., Hüttel, H., Rasmussen, J. G. & Rasmussen, M. G., 2023, I: For the Learning of Mathematics. 43, 3, s. 27-31 5 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil23 Downloads (Pure) -
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, s. 43-59 17 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)14 Downloads (Pure) -
A Structure Editor with Type-Safe Copy/Paste
Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 aug. 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 19 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, s. 51-66 16 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgang -
Key Agreement in the Lightning Network Protocol
Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Aktiviteter
- 1 Foredrag og præsentationer i privat eller offentlig virksomhed
-
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Foredragsholder), Morten Grud Rasmussen (Paneldeltager), Jakob Gulddahl Rasmussen (Paneldeltager) & Hans Hüttel (Paneldeltager)
31 maj 2022Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
Presse/medier
-
-
Perfekt klonede menneskelige stemmer trænger ind i din øregang
20/04/2023 → 28/04/2023
3 elementer af Mediedækning
Presse/medie
-
Over 1.000 forskere og techmoguler i opråb: Sæt øjeblikkeligt udviklingen af kunstig intelligens på pause
29/03/2023 → 03/04/2023
6 elementer af Mediedækning
Presse/medie
-
-
Debat: Medarbejdere mener AAU-fyringer ødelægger arbejdsmiljø, uddannelser og forskning
Poul Houman Andersen, Jesper Lindgaard Christensen, Meg Duroux, Morten Ejrnæs, Hans Hüttel, Martin Bak Jørgensen, Preben Horsholt Rasmussen, Lars Rosgaard Jensen, Jens Kirk, Lone Stub Petersen, Janne Emily Seemann & Trine Schultz
21/03/2019
1 element af Mediedækning
Presse/medie