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.
جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۳۱-۳۷ از ۳۷ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
Jonas Wolpers Reholt is an Instructor at the Department of Computer Science, University of Copenhagen, affiliated with the Algorithms and Complexity (AC) section. His work bridges theoretical computer science with practical applications, particularly in the realm of efficient computation and algorithmic paradigms. Role: Instructor University: University of Copenhagen Department: Algorithms and Complexity Email: jonas.reholt@di.ku.dk The AC section focuses on understanding computational efficiency through mathematical theory, with impacts on machine learning and applied domains. Jonas’s research aligns with themes like program analysis and reversible computing, as evidenced by his 2023 publication on static dereversibilization techniques. His recent work contributes to the theoretical foundations of reversible computation, with applications in software optimization and data structures. The publication appears in the Lecture Notes in Computer Science series, reflecting interdisciplinary collaboration and rigorous peer-reviewed scholarship. As a member of the AC section, Jonas engages in teaching and research alongside prominent figures like Professor Mikkel Thorup, who leads the section. The AC section also hosts major research centers such as BARC and DABAI, fostering innovation in algorithm design and big data analytics.
Mads Rosendahlمشاهده پروفایل
دانشیار
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.
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.
Matteo Trentinمشاهده پروفایل
پژوهشگر
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 .
Aslan Askarovمشاهده پروفایل
دانشیار
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.
- Computer Science
- Cybersecurity
- Formal Methods
- +۳ مورد دیگر
René Rydhof Hansen 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 cybersecurity , formal methods , and program analysis . Academic Rank: Associate Professor Institution: Aalborg University Department: Computer Science Research Interests: He specializes in security modeling , embedded systems security , and formal verification . His work includes analyzing side-channel vulnerabilities, secure resource sharing, and full-stack cybersecurity frameworks for defense. Recent Publications (2024): Focus on Datalog program verification , DTLS protocol attacks , bit-flip impacts , and security modeling using tools like Isabelle and formal methods. Scientific Awards: EuroSys Test of Time Award (2018) Projects: Leads initiatives like Foundations of Secure Resource Sharing and contributes to Full-Stack Cybersecurity for Defense and Security by Design in Digital Denmark .