Projects per year
Personal profile
Keywords
- Computer Science
- process calculi and their underlying theories
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 5 Finished
-
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
Project: Other
-
Vejledning og IT-platform: PBL Exchange
Hüttel, H., Gnaur, D. & Nørmark, K.
01/02/2017 → 01/05/2018
Project: Research
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R. (Project Manager), David, A. (Project Participant), Hüttel, H. (Project Participant) & Larsen, K. G. (Project Participant)
01/11/2012 → 31/12/2016
Project: Research
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Project: Research
-
Calculi and verification techniques for security and mobility, 1999-2001
01/01/1999 → 31/12/2001
Project: Research
Research output
-
Contextualisation in university level problem-based learning
Dahl, B., Hüttel, H., Rasmussen, J. G. & Rasmussen, M. G., 2023, In: For the Learning of Mathematics. 43, 3, p. 27-31 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Citation (Scopus)56 Downloads (Pure) -
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 Sept 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile3 Citations (Scopus)34 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).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 19 Sept 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66 16 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open Access -
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. (eds.). Springer, p. 139-155 17 p. (Communications in Computer and Information Science, Vol. 1545 CCIS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus)
Activities
- 1 Talks and presentations in private or public companies
-
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Lecturer), Morten Grud Rasmussen (Panel member), Jakob Gulddahl Rasmussen (Panel member) & Hans Hüttel (Panel member)
31 May 2022Activity: Talks and presentations › Talks and presentations in private or public companies
Press/Media
-
Perfekt klonede menneskelige stemmer trænger ind i din øregang
20/04/2023 → 28/04/2023
3 items of Media coverage
Press/Media: Press / Media
-
-
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 items of Media coverage
Press/Media: Press / Media
-
-
Debat: Medarbejdere mener AAU-fyringer ødelægger arbejdsmiljø, uddannelser og forskning
Andersen, P. H., Christensen, J. L., Duroux, M., Ejrnæs, M., Hüttel, H., Jørgensen, M. B., Rasmussen, P. H., Jensen, L. R., Kirk, J., Petersen, L. S., Seemann, J. E. & Schultz, T.
21/03/2019
1 item of Media coverage
Press/Media: Press / Media