جستجوی استاد راهنمای دانشگاهی

Claus Brabrandمشاهده پروفایل

استاد

• Computing Education Research
• Gender Studies in STEM
• Diversity in Technology
• +۳ مورد دیگر

Claus Brabrand is a Professor of Software Engineering and Head of the Center for Computing Education Research at the IT University of Copenhagen. His research focuses on computing education, gender diversity in STEM, and software product line analysis. He has led projects like DIREC (Digital Research Centre Denmark) and ATTiKA (Adaptive Tools for Technical Knowledge Acquisition), funded by the Innovation Fund Denmark and Villum Foundation. PhD in Computer Science Over 45 publications in computing education and software engineering Active in curriculum development and educational policy Research interests include improving teaching quality through learning technologies, gender representation in IT materials, and cognitive competencies in programming education. His work bridges software engineering principles with pedagogical innovations, addressing issues like novice programmer performance and curriculum design.

Martin Elsmanمشاهده پروفایل

استاد

• Programming Languages
• Theory of Computation
• Functional Programming
• +۵ مورد دیگر

Martin Elsman is a full-time Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science, University of Copenhagen (DIKU). He serves as head of the PLTC section and head of studies for the BSc education in Computer Science and Economics. Elsman is also an active maintainer of several software tools including the MLKit and SMLtoJs. Joined DIKU in 2012 after 4 years at SimCorp (2008-2012) and previous Associate Professorship at IT University of Copenhagen (2003-2008). Co-developer of Futhark, TAIL APL compiler, SMLtoJs, and SMLserver. Education: M.Sc. in Engineering, Technical University of Denmark Ph.D. in Computer Science, University of Copenhagen (DIKU), supervised by Mads Tofte. Research Interests: Elsman works on programming language design and implementation, with a focus on functional programming, module systems, domain-specific languages for financial contracts, region-based memory management, compilation techniques for parallelism, program optimization, and static type systems. His work spans both theoretical and applied domains, including blockchain-based financial contract execution, web technology, and GPU programming using functional languages. Publication Trends: His recent articles focus on functional programming, array programming, parallelism, and memory management. Topics include region inference, type systems for data-parallelism, program optimization techniques, and domain-specific compilation for financial and quantum computing. He frequently collaborates with Troels Henriksen and others on tools like Futhark and MLKit.

Andreas Pavlogiannisمشاهده پروفایل

دانشیار

• formal methods
• algorithmic verification
• automata theory
• +۶ مورد دیگر

Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University. His research focuses on formal methods , algorithmic verification , automata theory , concurrency , static and dynamic program analysis , network diffusion , evolutionary graph theory , and evolutionary game theory . Teaching courses: Programming Languages (Bachelor) , Algorithmic Model Checking (Master) , and Program Analysis (Master) Service: Program committee member for POPL, ESOP, AAAI, IJCAI, CONCUR, OOPSLA, and organizer of CONFEST'25 His research has been supported by the Austrian Science Fund (FWF), VILLUM Foundation, Stibo Foundation, and Danish Council for Independent Research (DFF). He is actively recruiting PhD and PostDoc researchers. Recent publications span quantum computing , concurrent systems , evolutionary dynamics , and network science , with particular emphasis on symbolic algorithms , dynamic analysis , and graph-based models .

Anders Møllerمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Static Program Analysis
• +۴ مورد دیگر

Anders Møller is a Professor and Vice Head of Department at the Department of Computer Science, Aarhus University, Denmark. He is a leading researcher in programming languages and software engineering, with a primary focus on static and dynamic program analysis. He serves as Chairman of the PhD Committee and holds leadership roles in the international research community, including Vice-Chair of ACM SIGPLAN and Associate Editor for ACM TOPLAS and ACM TOSEM. His research interests include programming languages, software engineering, static and dynamic analysis, program verification, and security. His work bridges theoretical foundations and practical applications, particularly in improving software reliability and security through advanced analysis techniques. The trends in his recent publications reflect a strong emphasis on static analysis for security, scalability, and real-world impact—especially in web applications, smart contracts, and open-source software supply chains. His research has evolved toward practical deployment, demonstrated by the founding and acquisition of Coana by Socket in 2025 for enhanced vulnerability detection. Recipient of the Danish Elite Research Prize 2020 ACM Distinguished Member He actively mentors students and contributes to the academic community through conference leadership (e.g., OOPSLA, PLDI, ICSE). He also co-authored the widely used textbook Static Program Analysis with Michael I. Schwartzbach. His work is deeply integrated into both academic and industrial advancements in software analysis and security.

• Programming Languages
• Reversible Computing
• Software Systems
• +۲ مورد دیگر

Robert Glück is a Professor at the Department of Computer Science under the Faculty of Science , University of Copenhagen. He also served as a Visiting Professor at the National Institute of Informatics, Tokyo . His research spans programming languages , reversible computing , and metaprogramming , with a focus on energy-efficient computation. Email: glueck@di.ku.dk Phone: +45 29611655 Address: Universitetsparken 5, Building B, 2100 Copenhagen Ø Glück's research interests center on reversible computing , program generation , and metaprogramming , particularly for low-energy systems. His work includes developing reversible logic circuits, invertible interpreters, and tools for program inversion via term rewriting systems. Recent publications highlight advancements in reversible flowchart languages , partial evaluation techniques , and compiler design . Key themes include garbage-free reversibility, memory-efficient algorithms, and formal verification of reversible systems. Scientific Awards: Japan Society for the Promotion of Science (JSPS) Fellowship Grants & Projects: Presto Basic Research Grant (JST) Danish Council for Strategic Research (DSF) project Danish Council for Independent Research (FNU) project Administrative Roles: Current member of the Study Board for Mathematics and Computer Science Former Head of Studies for the Master in Computer Science Professional Activities: IFIP Technical Committee WG 2.11 member (2004–) Steering Committee roles at LOPSTR 2024, FLOPS 2024, HCVS 2024, RC 2024 Editorial Board member for New Generation Computing (2005–)

• Software Testing and Verification
• Reinforcement Learning
• Program Repair
• +۵ مورد دیگر

Mahsa Varshosaz is an Associate Professor in Software Engineering at the IT University of Copenhagen, specializing in AI safety, formal verification, and program repair. Her work bridges theoretical research with practical applications in autonomous systems, particularly marine robotics. Current research focuses on model-based testing and formal specification for reinforcement learning systems Active in program repair techniques for concurrency bugs Collaborates with European Commission-funded initiatives in AI safety Recent publications highlight her expertise in autonomous underwater vehicle safety analysis and static program analysis for locking bugs. Her work intersects software engineering, artificial intelligence, and systems validation. Key projects include REMARO (Reliable AI for Marine Robotics) and DIREC (Verifiable and Safe AI), funded by major research foundations. She contributes to open-access datasets and peer-reviewed research through collaborations.

Mircea Lunguمشاهده پروفایل

دانشیار

• Software Engineering
• Virtual Reality
• Software Systems
• +۴ مورد دیگر

Mircea Lungu is an Associate Professor in Software Engineering at the IT University of Copenhagen. His research focuses on software ecosystems, software architecture, technical debt management, and immersive technologies for software development. He actively contributes to academia through publications, projects, and teaching. Affiliation: IT University of Copenhagen Academic Rank: Associate Professor Research Interests: Mircea explores the intersection of software engineering and virtual reality through projects like Immersive Software Archaeology , which leverages 3D environments for legacy system analysis. His work also addresses educational paradigms in software engineering, emphasizing live systems and experiential learning. Project Highlights: He leads the HPL-PATHS initiative (2023–2026) on hyper-personalized language education and collaborates on the ISA project (2020–2024) for virtual reality-based software exploration. Publication Trends: Recent work combines virtual reality with software engineering challenges, including collaborative exploration tools, technical debt visualization, and immersive analytics. His academic output spans conference proceedings, journal articles, and systematic reviews. Contact: Email: mlun@itu.dk

Brady Wagonerمشاهده پروفایل

استاد

• Cultural Psychology
• Human Memory
• History of Ideas
• +۷ مورد دیگر

Brady Wagoner is a Professor in the Department of Communication and Psychology at Aalborg University's Faculty of Social Sciences and Humanities, where he co-directs the Centre for Cultural Psychology. He has established himself as a leading figure in cultural psychology with over 200 publications spanning two decades of research. Wagoner earned his PhD in Psychology from the University of Cambridge. His academic journey has led him to develop a distinctive approach to psychology that emphasizes cultural and social contexts in human meaning-making processes. His research program investigates the dynamic processes through which individuals and societies construct meaning, with particular focus on memory, history, and the public understanding of science. Methodologically, he prioritizes examining unfolding processes rather than static mental characteristics, exploring how change occurs at both individual and societal levels and how these interact. His work integrates perspectives from psychology, anthropology, philosophy, and sociology to create a more comprehensive understanding of human experience. Analysis of his recent publications reveals a strong emphasis on memorial sites, narrative processes, cultural memory, and contemporary social phenomena including conspiracy theories and vaccine hesitancy. His work demonstrates consistent engagement with both theoretical development and empirical investigation of culturally situated psychological processes. Humboldt Research Award (2021) - prestigious lifetime achievement award from the Alexander von Humboldt Foundation Collegium de Lyon fellowship (2021) Netherlands Institute for Advanced Studies Research Fellowship (2021) Lucienne Domergue Award (2019) Institute for Advanced Studies Lyon Research Fellowship (2018) Wagoner has created and co-directed the professional kandidate program in Cultural Psychology since 2013 and teaches courses in social psychology with social theory, general psychology, and the psychology of religion. He regularly supervises student projects across multiple semesters and offers PhD courses on visual methods. His current research projects include analyzing memorial sites, studying the romantic philosophical roots of psychology, and conducting longitudinal research on conspiracy theorists and anti-vaxxers. He leads the MAKINGHISTORIES project (2023-2026) and participates in the Niels Bohr Centre for Cultural Psychology, demonstrating sustained research activity and grant acquisition throughout his career. As co-director of the Centre for Cultural Psychology, Wagoner oversees a research environment focused on culturally sensitive psychological approaches. His collaborative network spans international institutions, as evidenced by his involvement in projects like the Memorandum of Understanding between Aalborg University and Ritsumeikan University in Japan. His work with colleagues such as Carolin Demuth, Ignacio Brescó de Luna, and Salem Awad demonstrates his commitment to interdisciplinary and international research collaborations.

Morten Rhigerمشاهده پروفایل

دانشیار

• Computer Science
• Programming Languages
• Semantics of Programming Languages
• +۱۰ مورد دیگر

Morten Rhiger is an Associate Professor in the Department of People and Technology at Roskilde University, Denmark, specializing in programming language theory and implementation with expertise in semantics, type systems, and compiler design. His research portfolio centers on: Programming Languages : Core design principles and theoretical foundations Semantics : Formal denotational and operational frameworks Type Systems : Safety mechanisms and correctness verification Compilers : Optimization techniques and runtime systems Program Generation : Staged computation and automatic code synthesis Multi-stage Languages : Runtime code generation and partial evaluation Publication trends reveal sustained contributions from foundational work (2009-2012) on pattern combinators and staged computation to recent innovations in type-based uncurrying (2024), with significant interdisciplinary work on energy-transparent systems (2016). His research consistently bridges theoretical rigor with practical implementation challenges. Rhiger actively contributes to major research initiatives including ENTRA (2012-2015) for energy transparency, NUSA (2011-2013) for model checking, and recent energy-certification projects (2020-2022), demonstrating sustained focus on program analysis and energy-aware computing. He maintains strong community engagement through organizing the Copenhagen Programming Languages Workshop and participating in key conferences including the Symposium on Implementation and Application of Functional Languages.

• Software Engineering
• Process Modeling
• Business Process Management
• +۵ مورد دیگر

Thomas Troels Hildebrandt is a Professor in the Department of Computer Science at the University of Copenhagen, where he heads the Software, Data, People & Society research section. His work focuses on developing reliable and flexible software systems that adapt to user needs and legislative changes, with applications in digital law, workflows, and business processes. His educational background includes: PhD in Computer Science from Aarhus University (awarded February 23, 2000) Professor Hildebrandt's research spans Software Engineering , Process Modeling , and Business Process Management , with a focus on declarative approaches like Dynamic Condition Response (DCR) graphs. His work integrates formal methods to ensure system reliability in contexts ranging from smart contracts to public governance. He actively explores societal implications of AI, advocating for transparency and user-centered design in digital systems. Recent publications demonstrate a strong trend toward declarative process modeling applied to smart contracts and public governance . Key developments include DCR graphs for dynamic behavior modeling, cross-chain business logic monitoring, and digital compliance frameworks. His interdisciplinary approach bridges computer science with real-world societal challenges, particularly in adapting systems to evolving legislation and user requirements. No specific scientific awards are mentioned in the provided information. Professor Hildebrandt leads interdisciplinary research projects and serves on advisory boards for digitalization and AI. His work has fostered industry collaboration, including founding DCR Solutions based on his research. He acts as an independent consultant and speaker in digital transformation, with recent projects focusing on blockchain integration and public sector AI ethics. He directs the Software, Data, People & Society research section, which develops human-centered methods for adaptable digital systems. Current initiatives include DCR graph applications for GDPR compliance, smart contract security, and transparent AI in public services, with strong industry and government partnerships.

Danny Bøgsted Poulsenمشاهده پروفایل

دانشیار

• Formal Methods
• Model Checking
• Cyber-Physical Systems
• +۳ مورد دیگر

Danny Bøgsted Poulsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. His research focuses on formal methods, model checking, and cyber-physical systems with applications in security analysis and programming languages. He contributes to projects like BEO-COVID (2020–2020) and IDEA4CPS (2011–2015), which explore decision support tools and foundational cyber-physical systems. His academic background includes advanced work in formal verification and statistical model checking. Key research interests include: Formal methods for string constraints and SMT solvers Statistical analysis of security-critical systems Modelling protocols like DTLS and attack-defense scenarios Applications of formal methods in education and public health Recent work highlights include developing SMTQuery for benchmark analysis, statistical evaluation of bit-flip vulnerabilities, and leveraging large language models for educational feedback. His research outputs span over 36 publications across journals and conferences, with active contributions to UPPAAL tool development and open datasets for reproducibility. Poulsen collaborates internationally on projects involving formal verification of embedded systems and cybersecurity protocols. His work bridges theoretical computer science with practical applications in safety-critical systems.

• Programming Languages
• Type Systems
• Theoretical Computer Science
• +۵ مورد دیگر

Hans Hüttel is a Part-time Lecturer and Guest Researcher in the Department of Computer Science at the University of Copenhagen's Faculty of Science, specializing in Programming Languages and Theory of Computation within the Programming Languages and Theory of Computation research group. His research focuses on: Type systems for programming languages Process calculi and concurrency theory Formal semantics of programming languages Static analysis techniques Theoretical foundations of programming languages Data flow and alias analysis Hüttel's scholarly work demonstrates sustained contributions to programming language theory with publications spanning from 2022 to 2025. His research trajectory shows both theoretical depth in process calculi and practical applications in modern programming languages. The 2025 publication on program synthesis indicates adaptation of his expertise to emerging AI-assisted programming paradigms while maintaining rigorous theoretical foundations. His publications appear in reputable venues including Communications of the ACM, Information and Computation, and Electronic Proceedings in Theoretical Computer Science, reflecting both theoretical significance and practical relevance in programming language design and implementation. Hüttel maintains active collaborations with researchers across multiple institutions as evidenced by his co-authored publications with colleagues including Lybech, Bendixen, Bojesen, Lund, Jensen, Paulsen, Teule, and Saioc. His work receives attention across academic platforms with readership on Mendeley and mentions on social media platforms including X and Bluesky.

Ju Fengمشاهده پروفایل

پژوهشگر

• Wind Energy Systems
• Floating Offshore Wind Farms
• Wind Farm Optimization
• +۶ مورد دیگر

Ju Feng is a Senior Researcher at the Department of Wind and Energy Systems, Technical University of Denmark (DTU), specializing in Wind Energy Systems , Wind Farm Optimization , and Control Strategies . He contributes to research in Floating Offshore Wind Farms , Multi-Disciplinary Optimization , and Noise Propagation . His work includes developing simulation tools, wake models, and control frameworks for wind farms in complex environments. Research Interests: Optimization of wind farm design and operation Advanced wake and flow modeling AI-driven wind energy solutions Noise control and acoustic propagation Multi-fidelity/multi-disciplinary modeling Cost-effective wind farm technologies Publication Trends: Ju Feng's recent work (2022-2024) focuses on floating offshore wind farms , noise constraints , and multi-disciplinary integration . Older articles (2012-2017) emphasize control algorithms , wake modeling , and optimization frameworks . Advising: Supervising PhD Student Wang R. (AI-Augmented Wind Farm Design Optimization, 2025-2028) Co-supervising Nyborg C. M. (Noise Control in Wind Farms, 2019-2023) Collaboration Network: Active in international projects like DecoWind, ModFarm, and FarmConners. Collaborates with institutions such as DTU Wind Energy and researchers including Shen W. Z. , Réthoré P.-E. , and Bredmose H. .

• Programming Languages
• Formal Verification
• Privacy Risk Analysis
• +۲ مورد دیگر

Willard Rafnsson is an Associate Professor in Programming Logic and Semantics at IT University of Copenhagen. His research develops formal methods for security and privacy, particularly probabilistic programming approaches for quantifying privacy risks. Research investigates privacy risk assessment methodologies, attacker knowledge modeling, and formal verification techniques. Recent work examines privacy vulnerabilities in genetic data and develops tools for leakage quantification. Rafnsson leads projects on practical static analysis and reliable AI for autonomous systems, focusing on security foundations.

Lars Mandrupمشاهده پروفایل

دانشیار

• Biomedical Engineering
• Signal Processing
• Machine Learning
• +۵ مورد دیگر

Lars Mandrup is an Associate Professor in the Department of Electrical and Computer Engineering at Aarhus University, specializing in Signal Processing and Machine Learning. He serves as the Unions Representative for DM and is a member of LSU and LAMU. His primary responsibilities include educating Diploma and Master Engineers in Biomedical Engineering. Mandrup's research expertise lies in Physics, Mathematics, and Biophysics, with a strong focus on Biomedical Engineering. He applies Computational Fluid Dynamics (CFD) to Magnetic Resonance data for cardiovascular modeling, including blood flow analysis and mitral valve mechanics. Additionally, he is a key contributor to Electromagnetic Compatibility (EMC) research, developing foundational educational materials and advancing EMC testing standards and methods. His publication record shows a clear interdisciplinary trajectory, merging engineering with medical applications. Key themes include CFD-based cardiovascular simulations and EMC education. The biomedical work leverages MRI data to model complex physiological processes, while the EMC contributions span theoretical principles to practical testing standards, reflecting a commitment to both academic and industrial relevance. No scientific awards were mentioned in the provided information. Mandrup actively mentors students in Biomedical Engineering programs and serves as a PhD examiner. He is a member of the EMC group within the TUR Network for Electronics and Information Technology, which drives curriculum development in EMC education across Danish engineering institutions. He is affiliated with the EMC group (EMC-gruppen), dedicated to advancing EMC education and professional development. This group collaborates within the TUR Network to enhance teaching materials and methodologies for EMC courses.