جست‌وجوی استاد و پژوهشگر

Caitlin McMullinمشاهده پروفایل

دانشیار

• Co-production of public services
• Migrant integration policies
• Institutional logics in governance
• +۳ مورد دیگر

Caitlin McMullin is an Associate Professor in the Department of Social Sciences and Business Management and Organization at Roskilde University's Roskilde School of Governance. Her research focuses on co-production of public services, migrant integration, institutional logics, and nonprofit organization dynamics. She has held continuous academic appointments since at least 2018, leading research projects like 'The role of refugee and local volunteers in co-producing integration services' (ongoing) and 'Faire Ensemble: The co-creation of community projects' (2018-2019). Her work critically examines citizen involvement in public service delivery, highlighting challenges such as digital divide impacts on migrant services and sustainability of co-production initiatives. McMullin has published extensively in Public Administration Review , Public Management Review , and other peer-reviewed journals, with notable 2023-2025 publications addressing conceptual clarity in co-production theory and practical implementation barriers. Awarded the ARNOVA Emerging Scholar Award in 2019, her research also explores institutional logics shaping third sector organizations in Quebec and France. She has organized major conferences like the 2024 'Co-production and Co-creation of Public Services' event and actively engages in policy-relevant projects addressing community development challenges.

Mads Rosendahlمشاهده پروفایل

دانشیار

• Computer Science
• Hardware and Software Energy Efficiency
• Static Analysis
• +۵ مورد دیگر

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.

• IT Security
• Technology Theory
• Open Source Software
• +۳ مورد دیگر

Niels Jørgensen is an Associate Professor at Roskilde University's Department of Programming, Logic and Intelligent Systems Science Studies. His research focuses on IT security, technology theory, and the history of cryptography, particularly exploring how social movements shape technological advancements. He has contributed to projects like 'Situated Design Methods' and has participated in discussions on mobile technology security and open-source development. His work bridges technical analysis with societal impact, exemplified by studies on mobile phone hacking and cryptographic protocols. Jørgensen's publications span interdisciplinary topics, including open-source governance, educational design methodologies, and the integration of engineering principles in large-scale projects like the Boeing 777. He has engaged in activities such as lecturing on e-government curriculum design and collaborating on initiatives like the EU-supported CLIENT project. His research often highlights the interplay between technical systems and human agency, emphasizing the historical and social dimensions of technological evolution.

• Formal Methods
• Privacy Engineering
• Probabilistic Programming
• +۳ مورد دیگر

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.

Yimei Huمشاهده پروفایل

دانشیار

• Innovation Management
• International Business
• Emerging Market Multinationals
• +۷ مورد دیگر

Yimei Hu is an Associate Professor in Innovation Management at Aalborg University Business School, Aalborg University. She holds a PhD in Business Economics and a Bachelor in Economics from Tsinghua University. Her research focuses on innovation ecosystems, organizational resilience, green innovation, and international business in emerging markets. She has published in journals like Research Policy and Management and Organization Review. Her work explores topics such as US-China trade decoupling, R&D subsidy effects, and strategic alliances. She leads projects like 'Modernisation on China's Science and Technology Innovation System under the New Realities' and collaborates on initiatives like 'Green Transitions in Port of Aalborg.' Hu has received awards including the Highly Cited Paper ESI (1%) and the Inaugural MOR Best Paper Award. She actively engages with practitioners and policymakers, ensuring research relevance. Her grants include projects funded by Erasmus+ and Danish government initiatives. She advises PhD students and serves as a peer reviewer for journals like International Business Review and Journal of Product Innovation Management.

Raúl Pardoمشاهده پروفایل

دانشیار

• Privacy
• Computer Security
• Formal Methods
• +۵ مورد دیگر

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.

Giorgio Bacciمشاهده پروفایل

دانشیار

• Behavioural Metrics
• Model Synthesis and Automata Learning
• Analysis and Verification of Cyber-Physical Systems
• +۳ مورد دیگر

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 .

Reynald Affeldtمشاهده پروفایل

استاد پژوهشی

• Formal Verification
• Theorem Proving
• Programming Languages
• +۳ مورد دیگر

Reynald Affeldt is a Chief Senior Research Scientist at the National Institute of Advanced Industrial Science and Technology (AIST), Digital Architecture Research Center, and a Visiting Professor at the Nara Institute of Science and Technology (NAIST). His research focuses on formal verification of software using logic, particularly the Coq proof-assistant. Key projects include Analysis for MathComp, Monadic Equational Reasoning, Information Theory and Error-correcting codes, and 3D Geometry and Robotics. Previous AIST affiliations include: Software Quality Assurance Research Team (Cyber Physical Security Research Center) Cyber Physical Architecture Research Group (ITRI) Collaboration Promotion and International Affairs Division Software Reliability Research Group (RISEC) Research Team for Software Security (RCIS) He was a doctoral student at the University of Tokyo's Yonezawa Laboratory (2001–2011).

Aslan Askarovمشاهده پروفایل

دانشیار

• Computer Security
• Programming Languages
• Information Flow Control
• +۲ مورد دیگر

Aslan Askarov serves as Associate Professor in the Department of Computer Science at Aarhus University, Denmark, focusing on foundational security mechanisms and programming language theory. His work bridges theoretical rigor with practical applications in privacy-enhancing technologies. Research interests center on computer security and programming languages, with specialized expertise in information flow control, type systems, and traffic analysis mitigation. His investigations address critical vulnerabilities in metadata privacy for instant messaging systems, oblivious execution techniques for reactive programs, and formal verification of virtual machine safety. This work consistently targets provable security guarantees against sophisticated adversaries while maintaining practical performance constraints. Recent publications reveal a concentrated trajectory toward metadata protection in communication systems, combining language-based security with cryptographic techniques. Key contributions include novel approaches to metadata privacy beyond conventional tunneling, traffic-oblivious execution with bounded overheads, and formal methods for virtual machine safety verification. These efforts demonstrate a unified focus on eliminating side-channel leaks through principled system design. Recognition includes the 2022 award for research on misinformed privacy perceptions in messaging applications. Misinformed messaging app choices based on privacy misconceptions (2022) Currently leads the ProPrIM project (2023-2025) developing provable privacy frameworks for metadata protection. Supervises 2 PhD students and maintains active media engagement on metadata privacy issues since 2022. Collaborative networks span European institutions with significant cross-border research coordination. Research operations integrate formal methods with systems security through Aarhus University's computer science infrastructure, leveraging international partnerships for experimental validation of privacy-preserving protocols.

Philipp Georg Haselwarterمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Probabilistic Programming
• +۳ مورد دیگر

Philipp Georg Haselwarter is an Assistant Professor at the Department of Computer Science , Aarhus University . His expertise lies in programming languages , formal verification , and cryptographic proofs . His research interests include Higher-order probabilistic programming Separation logic for program analysis Modular cryptographic proofs in Coq Resource-aware and cost-bounded formal methods Key trends in his recent publications span Formal verification techniques for probabilistic and cryptographic systems Integration of separation logic with cost and error analysis Development of frameworks like SSProve for cryptographic proofs Applications of type theory and higher-order logic in programming languages

Marco Carboneمشاهده پروفایل

استاد

• Theoretical Computer Science
• Session Types
• Concurrency Theory
• +۷ مورد دیگر

Marco Carbone is a Professor of Theoretical Computer Science at IT University of Copenhagen. His research focuses on session types , concurrency theory , structured communication , and formal verification of distributed systems. He leads the Center for Information Security and Trust and serves as Head of Education for the Master of Science in Computer Science program. Research Areas: Session Types, Concurrency, Security Protocols, Trust Management, Programming Logic Projects: GAINER (2023-2024), MECHANIST (2021-2025), PROBABILIST (2025-2028), BeHApi (2018-2023) Scientific Awards: International Prize (2018) His recent work explores probabilistic choreographies, asynchronous session subtyping, and mechanized proofs for session type systems. He has published extensively in venues like Logical Methods in Computer Science and Lecture Notes in Computer Science .

Susanne Boch Waldorffمشاهده پروفایل

دانشیار

• Organization theory and analysis
• Institutional theory
• Institutional logics
• +۸ مورد دیگر

Susanne Boch Waldorff is an Associate Professor at the Department of Organization, Copenhagen Business School (CBS), specializing in the implementation of contemporary reforms, policies, and steering technologies within organizational practices. Her empirical work focuses on health care, police, and social sectors, examining public sector governance, organizational change, and public value creation. She serves as Study Director for the Master of Public Governance program and teaches PhD courses in organizational analysis. Her research centers on organization theory, institutional logics, and policy translation processes, utilizing qualitative methods and ethnography to investigate discursive strategies, collaborative innovation, and professional dynamics. She analyzes how macro-level reforms interact with micro-level practices, emphasizing the role of institutional contexts in shaping organizational outcomes and value creation in public institutions. Analysis of her 51+ publications reveals consistent themes in public sector innovation and policy implementation. Recent work explores micro-tactics for maintaining practices during reform, welfare state restructuring by non-profits, and frontline interpretations of innovation imperatives. Her scholarship bridges institutional theory with public management, highlighting tensions between policy mandates and organizational realities across health care, construction, and governance contexts. Waldorff supervises PhD projects and Master's theses in the Master of Public Governance program while coordinating the PhD course 'Perspectives in Organizational Analysis'. She maintains active research collaboration with Rigshospitalet (Copenhagen University Hospital), contributing up to 7.5 hours weekly to health care project development since 2023, demonstrating applied engagement with public sector innovation challenges.

Helle Terkildsen Maindalمشاهده پروفایل

استاد

• Health Promotion
• Intervention Research
• Health Literacy
• +۷ مورد دیگر

Helle Terkildsen Maindal is Professor in the Department of Public Health at Aarhus University, Denmark, specializing in health promotion interventions for populations at risk of diabetes, cardiovascular disease, and obesity. Her research integrates equity perspectives, organizational health literacy, and systems thinking within community and primary care settings. Education PhD in Health Promotion and Prevention (2009) Her research focuses on lifespan health interventions targeting gestational diabetes, physical inactivity, and obesity through interdisciplinary approaches. Key themes include stigma mitigation in healthcare, municipal health promotion systems, and cross-sectoral collaboration between civil society and clinical settings. She employs mixed-methods designs emphasizing real-world implementation contexts. Recent publications demonstrate growing emphasis on ethical dimensions of specialized care , international comparative analyses of diabetes risk heterogeneity, and critical examinations of healthcare resource distribution. Her work increasingly incorporates implementation science frameworks to address equity gaps in preventive services. Scientific Recognition Faculty TIER award (Thinker/Expert in Residence) 2024 JCD-prisen 2021: Årets vejleder (Supervisor of the Year) She leads 25 research projects since 2012 including major initiatives like Escape from inequity in health (2024-ongoing) and the Development Center for Health Literacy (2024-2026). Her grant portfolio demonstrates sustained funding for diabetes prevention programs and health literacy interventions, often involving municipal partnerships and cross-institutional collaborations with Steno Diabetes Centre Copenhagen. As active committee member for Public Health in Central Denmark Region and Forum for Dialog om Sundhed i Dagligvarebranchen , she bridges research with policy implementation through knowledge translation activities and stakeholder engagement platforms.

• Temporal Logic
• Rhetoric
• Information Architecture
• +۴ مورد دیگر

Per Frederik Vilhelm Hasle is Professor at the Department for Information Studies, University of Copenhagen, and former Director (2013-2017) of the Royal School of Library and Information Science. With a multidisciplinary background in German Philology (M.A., Aarhus University, 1981) and Computer Science (PhD, Aarhus University, 1989), his research integrates humanistic and computational approaches to information science. Research Focus: His primary work explores temporal logic, rhetoric, and persuasive design, emphasizing the relationship between time and human understanding. Current projects include leading the 'Digital Humanities and Temporal Logic' work package in the national research initiative 'The Primacy of Tense' and investigating rhetorical strategies in digital interfaces like websites and e-learning systems. Publications & Trends: Recent works (2019-2024) predominantly analyze Arthur Prior's contributions to temporal logic, branching time theories, and hybrid logic, blending historical scholarship with contemporary applications in digital humanities and philosophy of information. Awards & Leadership The Obel Foundation Educator of the Year Prize (2007, Aalborg University) Erskine Visiting Fellowship (2018, University of Canterbury) Director of Centre for Persuasive Design (2007-2008) General Chair of international conferences including Persuasive Technology 2010 and iConference 2014 Educational & Administrative Roles Supervision of PhD, MA, and BA students in information science Developer of Aalborg University's Information Architecture program (2005-2006) Founding head of the Elite Study in Persuasive Design (2006-2008) Extensive committee work including Portuguese Agency of Evaluation and Accreditation

• Reversible Computing
• Functional Programming
• Formal Methods
• +۱ مورد دیگر

Joachim Tilsted Kristensen serves as an Assistant Lecturer in the Department of Computer Science at the University of Copenhagen, contributing to both teaching and research initiatives within theoretical computer science. His research spans reversible computing, functional programming, formal verification, and computer science education methodologies. He specializes in developing invertible programming languages and visualization tools for formal proof instruction, bridging theoretical concepts with pedagogical applications. Recent publications demonstrate dual emphases: educational tool development for formal methods training and foundational advances in reversible computation, with contributions to major venues like the International Conference on Reversible Computation and EPTCS proceedings.