Find Academic Supervisors

Thomas Philip JensenView profile

Professor

• Programming Languages
• Theory of Computation
• Formal Methods
• +3 more

Thomas Philip Jensen is a Professor in the Department of Computer Science at the University of Copenhagen, specializing in the Programming Languages and Theory of Computation research section. His work bridges theoretical computer science with practical security applications through formal methods and program verification. His core research interests include: Programming Languages Theory of Computation Formal Methods Program Verification Information Flow Security Type Systems Analysis of his 2020-2024 publications reveals sustained focus on security-critical program transformations, with key trends in constant-time enforcement against side-channel attacks, logical frameworks for information flow using partial equivalence relations, and refinement-type-based verification. His work consistently connects theoretical foundations to compiler security and secure workflow systems. No scientific awards are listed in the provided information. Details about student advising and research grants are not specified in the source materials. Professor Jensen operates within the Programming Languages and Theory of Computation section, which leverages the Department of Computer Science's infrastructure including high-performance computing clusters and specialized research laboratories.

• Programming Languages
• Compiler Technology
• Reversible Computation
• +5 more

Torben Ægidius Mogensen is an Associate Professor at the Department of Computer Science, University of Copenhagen, where he leads research in the Programming Languages and Theory of Computation section. His office is located at Universitetsparken 5, Copenhagen. His primary research focuses on: Automatic program analysis and transformation (especially partial evaluation and semi-inversion) Compiler technology for functional languages Domain-specific language design Reversible computing systems and languages Algorithms, complexity theory, and automata theory Applications in graphics and fractal generation His recent publications demonstrate a strong focus on reversible computation systems, including specialized programming languages like Hermes for encryption, reversible processor architectures, and functional programming extensions. His textbook publications on compiler design (2024) and programming language implementation (2022) indicate significant contributions to computer science education and foundational knowledge. He teaches courses on compilers, programming language technology, and game development, and maintains active research collaborations internationally. He is fluent in Danish and English, with working knowledge of German and Romanian.

• Artificial Intelligence
• Machine Learning
• Medical Diagnosis
• +9 more

Henning Christiansen is a Professor at Roskilde University's Department of People and Technology, affiliated with the Programming, Logic and Intelligent Systems (PLIS) research group. He is also a Knight/Chevalier of the Dannebrog (2018) and serves as Coordinator for International Student Exchanges in Computer Science, Informatics & Humanities-Technology Studies. His research spans Deep Learning for medical diagnosis, Robotics in theatrical performances, Constraint Logic Programming, Probabilistic-logic models, Natural Language Processing, Logical methods for context comprehension, Interactive art installations, Database query systems, Cultural technology projects like Viskbook. Key projects include SEAFACTS (digital maritime history platform), EXPLAIN-ME (explainable AI in medical education), NDH (cross-border health data collaboration). Publications highlight contributions to AI ethics, robot choreography, medical image analysis, constraint-based formal methods. He has supervised over 16 projects and 285+ activities, including international conferences and exhibitions. His photography has been displayed in Roskilde libraries and cultural venues.

Hua LuView profile

Professor

• Computer Science
• Data Mining
• Data Science
• +4 more

Hua Lu is a Professor in the Department of People and Technology Programming, Logic and Intelligent Systems at Roskilde University in Denmark. His research focuses on computer science with specialties in database systems, data mining, spatial data processing, and AI/ML applications for databases. He leads projects on AI-powered spatial databases and data-driven systems. His research interests span multiple domains including data science fundamentals, IoT data streams, location-based services, and database optimization techniques. Recent publications demonstrate strong focus on spatial-temporal data processing, machine learning integration with databases, and practical applications of data science. Professor Lu has received multiple scientific awards including Best Paper nominations and runner-up awards at premier conferences, recognizing his contributions to database and mobile computing research.

Mads RosendahlView profile

Associate Professor

• Computer Science
• Hardware and Software Energy Efficiency
• Static Analysis
• +5 more

Mads Rosendahl is an Associate Professor at Roskilde University's Department of People and Technology, specializing in Programming, Logic, and Intelligent Systems. He holds an MSc and PhD in Computer Science. His research focuses on energy-efficient software/hardware algorithms, static analysis for hardware design, and programming language approaches to concurrency and performance optimization. Key projects include 'Energy and Performance Trade-offs in Hardware and Software Implementations' (2022-2023) and 'ENTRA: Whole-systems energy transparency' (2016). He has collaborated on initiatives like ICT-Energy (2013-2016) and Situated Design Methods (2013-2014), emphasizing interdisciplinary research. His research interests span energy-efficient computing, static program analysis, algorithm implementation on low-level hardware, and compiler optimization. Notable contributions include work on probabilistic resource analysis and abstract interpretation techniques. Publications highlight advancements in static communication analysis for hardware design (2025), energy-efficient algorithms (2025), and language support for embedded systems (2023). He has also presented widely, including lectures on semantics-based cost analysis (2012) and participation in workshops like DanSAS and Reversible Computation events. Rosendahl contributes to academic service through peer reviews and conference activities, reflecting his commitment to advancing theoretical and applied computer science.

Paweł GrabarczykView profile

Associate Professor

• Philosophy of Language
• Philosophy of Mind
• Game Ontology
• +6 more

Paweł Grabarczyk is an Associate Professor and Lecturer at the IT University of Copenhagen, affiliated with the Center for Computing Education Research and the Games Research Group. His academic roles include leading the Play, Culture, and AI Research Group. His research spans philosophy of language/mind, game studies, and virtual reality, with a focus on game ontology, demoscene culture, and ethics in technology. He has authored over 40 publications and led/co-led projects like the Nordic Alliance for Sustainability in Gaming (NASG) series and the Making Sense of Games (MSG) initiative. Notable work includes studies on loot boxes, educational computing, and sustainability in game design. Media contributions include discussions on gender balance in IT and fake news prevention via games. He has collaborated internationally and presented at conferences like ICER and Koli Calling. His research bridges philosophy, game design, and educational technology, emphasizing interdisciplinary approaches.

• Formal Methods
• Privacy Engineering
• Probabilistic Programming
• +3 more

Raúl Pardo Jimenez is an Associate Professor in the Department of Software Engineering at the IT University of Copenhagen, affiliated with the Software Quality Research (SQUARE) group. His research focuses on formal methods and privacy engineering, with particular emphasis on probabilistic programming and privacy risk quantification in data analytics. His research spans three interconnected domains: Formal verification of privacy compliance systems like GDPR implementation Probabilistic modeling for quantitative privacy risk assessment Open source sustainability impacts on software quality metrics Recent publications demonstrate a consistent focus on developing rigorous computational methods for privacy preservation, with works appearing in Springer's Lecture Notes in Computer Science and Empirical Software Engineering journals. He leads the REIDENT project (2018-2022), funded by Villum Fonden, which developed Bayesian probabilistic programming approaches for reidentification risk assessment in sensitive datasets.

Ahmad Salim Al-SibahiView profile

Assistant Professor

• Probabilistic Programming
• Programming Language Theory
• Static Analysis
• +5 more

Dr. Ahmad Salim Al-Sibahi is an Assistant Professor in the Programming Language and Theory of Computation Section at the University of Copenhagen's Department of Computer Science. He is a core member of the Aleatory Science Team, focusing on probabilistic programming applications in protein folding and inference algorithm optimization. His work combines formal methods with practical machine learning frameworks like Pyro. Educational Background: PhD in Computer Science (2014-2017), IT University of Copenhagen MSc in Computer Science (2014), IT University of Copenhagen Postdoctoral Researcher at University of Copenhagen (2017-2019) Research Interests: His primary focus lies at the intersection of probabilistic programming and computational biology. He develops efficient inference algorithms for probabilistic models, particularly in protein structure prediction and voucher scanning applications. His earlier work includes formal verification of program transformations using inductive refinement types and static analysis techniques. Awards: Best Paper Award at GPCE 2018 Contributions: He contributed to dependently-typed language Idris and co-developed family-based model checking techniques. His research bridges theoretical programming language constructs with applied problems in bioinformatics and software modernization.

Lone Leth ThomsenView profile

Associate Professor

• Object Oriented Programming
• Programming Languages
• Concurrency
• +4 more

Lone Leth Thomsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. She is a member of CISS (Center for Embedded Software Systems) and Daisy (Center for Data-intensive Systems). Her research focuses on spreadsheet semantics, parallel programming, formal verification, and programming language design. Key research interests include operational semantics for spreadsheets, concurrency models, and energy-efficient software development. She has participated in projects such as P3: Popular Parallel Programming (2015–2019) and COST Action IC0701 (2008–2012), which addressed formal verification of object-oriented software. Recent work explores sustainable software practices and energy consumption analysis of IT systems. Her publications emphasize spreadsheet semantics, parallel execution optimization, and formal methods. She has collaborated on projects like The Virtual Desktop and Beyond (2006–2009), focusing on service-oriented architectures in farming industries.

Raúl PardoView profile

Associate Professor

• Privacy
• Computer Security
• Formal Methods
• +5 more

Raúl Pardo is an Associate Professor in Computer Science at the IT University of Copenhagen (ITU). He previously held postdoctoral positions at ITU's SQUARE group and Inria's Privatics team. He earned his PhD from Chalmers University of Technology, focusing on formalizing privacy policies for social networks under Gerardo Schneider's supervision. His research integrates formal methods with privacy and security, addressing topics such as privacy risk analysis, probabilistic programming, and GDPR compliance. Key domains include genetic data, IoT, and social networks. Publications highlight contributions to privacy quantification, formal verification of consent mechanisms, and probabilistic systems analysis. He actively participates in conferences like SEFM, SOSYM, and ETAPS, and has organized tracks on verification and learning for autonomous systems. Pardo teaches courses on probabilistic programming, formal methods, and security at ITU, INSA Lyon, and Chalmers. Notable students include Rasmus Carl Rønneberg (SEFM'23) and Ivana Kellyérová (TIME'16). His work has been recognized, including a nomination for the Danish MSc thesis award. He leads the SQUARE research group at ITU, focusing on privacy-preserving software systems and probabilistic modeling.

• Computer Science
• Artificial Intelligence
• Cybersecurity
• +7 more

Matteo Trentin is a PhD student at the Department of Mathematics and Computer Science (University of Southern Denmark), focusing on Artificial Intelligence , Cybersecurity , and Programming Languages . His research intersects Serverless Computing , Resource Allocation , and Static Program Analysis , with a strong emphasis on Scheduling Policy and Domain-Specific Languages . Current affiliation: Department of Mathematics and Computer Science, University of Southern Denmark Research themes: Cloud systems, runtime environments, cost-aware scheduling, and formal methods Collaborations: International work with researchers in software architecture and formal verification His publications address topology-aware allocation , affinity-aware function scheduling , and formal specification of FaaS policies , often leveraging domain-specific languages and static analysis to optimize serverless platforms . Key trends include cloud resource management , operational semantics , and service platform engineering .

Ernests LavrinovicsView profile

Researcher

• Machine Translation
• Transfer Learning
• Large Language Models
• +4 more

Ernests Lavrinovics is a PhD fellow at the Department of Computer Science , Aalborg University , affiliated with the Technical Faculty of IT and Design and Data, Knowledge and Web Engineering research group. His work focuses on Natural Language Processing (NLP) , Large Language Models (LLMs) , and addressing challenges in machine translation and knowledge graph integration for resource-poor languages. His research explores critical NLP themes including hallucination detection in LLMs , adapter-based regularization techniques for multilingual transfer, and multitask benchmark development for creole languages. He contributes to datasets like MultiHal and CreoleVal , emphasizing semantic grounding and cross-lingual evaluation. Recent publications analyze adapter architectures as regularizers in low-resource settings (ACL 2025) He co-developed MultiHal (2025), a multilingual dataset for LLM hallucination evaluation His work spans knowledge graph applications , transfer learning , and multilingual representation challenges As an active academic, he has organized events like the Copenhagen NLP Symposium (2025) and AAU NLP Symposium (2024). He participates in technical programs at venues such as ACL and MRL Workshops , with citations in Scopus and Mendeley readership.

Giorgio BacciView profile

Associate Professor

• Behavioural Metrics
• Model Synthesis and Automata Learning
• Analysis and Verification of Cyber-Physical Systems
• +3 more

Giorgio Bacci is an Associate Professor at the Department of Computer Science , Aalborg University , Denmark. He is a member of the Distributed, Embedded, and Intelligent Systems (DEIS) research group led by Prof. Kim G. Larsen. He earned his Ph.D. in Computer Science from the University of Udine (2013) under Prof. Marino Miculan, following M.Sc. and B.Sc. degrees in Computer Science from the same university (2008 and 2005, both 110/110 cum laude ). Research Interests include: Behavioural Metrics : Quantitative methods for system equivalence and approximation. Model Synthesis and Automata Learning : Automated construction of models for probabilistic/stochastic systems. Analysis of Cyber-Physical Systems : Formal verification techniques for real-time and hybrid systems. Process Algebras : Nondeterministic, probabilistic, and stochastic process calculi. Semantics of Programming Languages : Formal models for probabilistic and concurrent computation. Scientific Service includes roles as PC member for LICS 2025 , ICALP 2025 , and co-chair for EXPRESS/SOS 2025 and GandALF 2025 . He has contributed to 35 publications in areas like probabilistic automata , Markov processes , and bigraphical models , with a focus on computational complexity and behavioral distances . Awards include: Teacher of the Year 2022/2023 (Department of Computer Science, Aalborg University) Best Paper Award at CALCO 2021 .

Johannes WachsView profile

Associate Professor

• Network Science
• Data Science
• Complexity Science
• +14 more

Johannes Wachs is an Associate Professor at the Institute of Data Analytics and Information Science, Corvinus University of Budapest, and a Research Fellow at the Centre for Economic and Regional Studies. He is affiliated with the Complexity Science Hub Vienna, where he has been a faculty member since April 2020. His interdisciplinary research bridges data science, network science, and complexity to study digital economies, open source software, and societal challenges. PhD in Network Science, Central European University (2019) MS in Applied Mathematics, Central European University (2012) BS in Mathematics and Economics, Tulane University (2009) His research focuses on the application of network and data science to understand social, economic, and technical systems. Key interests include open source software ecosystems, AI’s impact on knowledge sharing, corruption detection, urban inequality, and digital innovation. He uses large-scale digital trace data to model complex behaviors in online communities, software development, and public policy. His recent publications reveal a strong trend in analyzing digital platforms such as GitHub and Stack Overflow, studying brain drain in tech, and assessing climate and health risks in Austria. His work combines network modeling, machine learning, and empirical analysis to uncover patterns in human behavior and systemic risk. IMF Anti-Corruption Challenge Winner (2020) Principal Investigator, CRISP Project (2021–2024), funded by FFG Grants from Hungarian Research Funding Agency (OTKA), City of Vienna, and WU Projects Johannes Wachs actively supervises PhD and Master’s students, including Hannah Schuster and Brigi Németh. He has taught courses in computational social science, social networks, and data mining at institutions including RWTH Aachen, CEU, and WU Vienna. He is launching a new MSc in Social Data Science at Corvinus in 2025. He leads the CRISP project, which builds semantic data pools for real-time crisis response and intervention, integrating heterogeneous data sources for impact forecasting and policy transparency.

Susana S. FernándezView profile

Professor

• Foreign Language Pedagogy
• Second Language Pedagogy
• Intercultural Semantics/Pragmatics
• +7 more

Susana S. Fernández is a Professor at the Department of German and Romance Languages, School of Communication and Culture, Aarhus University, Denmark. She holds leadership roles as head of the Study Board for Theoretical Pedagogical Education for Upper Secondary School Teachers, co-head of the research program Language and Communication , and head of the research unit Language Acquisition and Pedagogy . Her research is centered on foreign and second language pedagogy, with a strong emphasis on intercultural semantics and pragmatics, grammar teaching, teacher cognition, and Spanish linguistics. Her research interests include: Foreign and second language pedagogy Intercultural semantics and pragmatics Grammar instruction and teacher cognition Spanish language acquisition Corpus linguistics and Spanish linguistics Pragmatic competence in adult learners The recent publications (2020–2025) reflect a consistent focus on communicative language teaching, intercultural competence, and the cognitive aspects of grammar instruction. Her work bridges theoretical linguistics with practical classroom applications, particularly in Danish as a second language for adult migrants and teacher training contexts. She frequently engages in national discourse on language education policy. Her scientific awards include: To-årigt post-doc stipendium (2007) for research on cognitive-based grammar teaching Velux Foundation stipendium (2022) Susana S. Fernández actively supervises and mentors through her leadership in research programs and projects. She has led or participated in numerous research projects, including the Velux-funded Danish in the Making , and contributes to academic service through peer review, editorial work, and organizing workshops and conferences. Her work is supported by external grants and institutional collaboration. She is actively involved in research networks and collaborative projects such as Emancipatory Ethnopragmatics and Ethnopragmatics for Intercultural Competence (EPIC) , which aim to integrate cultural values and communicative styles into language education. Her current projects extend into 2027, indicating sustained research activity.