معرفی
Hans Hüttel is an Associate Professor in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. His research focuses on theoretical foundations of computer science with emphasis on programming languages and formal methods.
His research interests span process calculi, type systems, concurrency theory, program synthesis, and security protocols. The fingerprint analysis of his work shows strong emphasis on Type Systems (100%), Process Algebra (27%), Cryptographic Protocols (22%), and Branching Time (18%). His recent work demonstrates a growing interest in the intersection of formal methods with emerging technologies like large language models.
Hüttel's publication trend shows consistent output with 97 research outputs including 56 articles in proceedings, 17 journal articles, and 9 conference articles in journals. His most recent work (2024-2025) focuses on type systems for programming languages, program synthesis with LLMs, and functional array programming.
Scientific Awards:
- CONCUR Test-of-Time Award (Sept 2020)
Hüttel has participated in multiple research projects including TREsPASS (Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security), BETTY (Behavioural Types for Reliable Large-Scale Software Systems), and educational initiatives like PBL Exchange. He has 35 media appearances where he discusses topics ranging from AI ethics to university education reform.
He leads research within the Distributed, Embedded and Intelligent Systems group and has been active in educational development through problem-based learning (PBL) initiatives at Aalborg University.
