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

Ulrik Nymanمشاهده پروفایل

دانشیار

• Computer Science
• Formal Verification
• Real-Time Systems
• +۵ مورد دیگر

Ulrik Nyman is an Associate Professor in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. His research focuses on formal verification, real-time systems, embedded software, and cyber-physical systems. He is affiliated with the CISS - Center for Embedded Software Systems and has contributed to projects like Digital Technologies for Industry 4.0 and compositional verification of real-time systems. Research Interests: Formal Methods and Verification Real-Time and Embedded Systems Cyber-Physical Systems Power Electronics Control Modal Transition Systems Interface Theories Projects: Digital Technologies for Industry 4.0 (2019–2021): Focused on industrial automation and predictive models. Compositional Verification of Real-Time Multi-Core Safety-Critical Systems (2017–2021): Addressed safety-critical avionics and multicore schedulability. CRAFTERS: Framework for Tailoring Embedded Real-Time Systems (2012–2015): Developed application-driven middleware. Publications: Nyman’s recent work explores statistical model checking in power electronics, falsification testing for cyber-physical systems, and formal verification of OS-based software. His research bridges theoretical formal methods with practical applications in embedded systems. Labs/Teams: Active in the CISS Center, collaborating on embedded software systems and real-time frameworks.

Fabrizio Montesiمشاهده پروفایل

استاد

• Programming Languages
• Distributed Systems
• Microservices
• +۷ مورد دیگر

Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark, Department of Mathematics and Computer Science. He leads the Section of Artificial Intelligence, Cybersecurity, and Programming Languages and holds leadership roles in the Microservices Community, SDU Digital Democracy Centre, and SDU eScience Center. His work focuses on programming languages and systems, cloud/edge computing, microservices, choreographic programming, and cybersecurity.

Arne Skouمشاهده پروفایل

دانشیار

• Model Checking
• Real-Time Systems
• Energy Engineering
• +۷ مورد دیگر

Arne Skou is an Associate Professor in the Department of Computer Science at Aalborg University, affiliated with the Technical Faculty of IT and Design and the CISS - Center for Embedded Software Systems. His research focuses on model checking, real-time systems, energy engineering, and smart home automation. He has contributed to projects like domOS (operating systems for smart buildings), FEVER (virtual power plants), and FED (Flexible Energy Denmark). Skou’s work integrates formal methods with practical applications in embedded systems and energy flexibility. He has authored over 79 publications, including studies on machine learning for thermal dynamics and probabilistic energy forecasting in heat pumps. His research emphasizes interoperability frameworks like Arrowhead and schedulability analysis using tools such as UPPAAL. Skou has been involved in EU-funded initiatives addressing smart grids, energy optimization, and industrial IoT. His projects span from 1996 to 2023, with a focus on real-time systems, component contracts, and energy management. His contributions include middleware solutions for home automation (HomePort) and compositional analysis of hierarchical scheduling systems. Skou’s publications reflect a blend of theoretical computer science and applied engineering, particularly in embedded systems and energy systems. Key Projects: domOS, FEVER, FED, MANTIS (cyber-physical maintenance systems) Labs/Teams: CISS - Center for Embedded Software Systems Tools Developed: UPPAAL-based frameworks for schedulability analysis and model checking

Magnus Madsenمشاهده پروفایل

دانشیار

• Programming Languages
• Compilers
• Type Systems
• +۴ مورد دیگر

Magnus Madsen is an Associate Professor at the Department of Computer Science, Aarhus University. He specializes in programming language design, compilers, and type and effect systems, and is the lead developer of the Flix programming language. His research focuses on advancing static analysis techniques and declarative language constructs for effectful and data-driven programming. Research Interests : - Programming language design - Type systems and effect systems - Static program analysis - Datalog and declarative programming - Compiler optimization and implementation Awards & Grants : - 2023: Sapere Aude Grant (Independent Research Fund Denmark) - 2022: Dahl-Nygaard (Junior) Prize (ECOOP) - 2022: STEM Grant (Stibo Foundation) - 2021: Amazon Research Award (collaboration with Jaco van de Pol) - 2020: DFF Project One (Independent Research Fund Denmark) Advising & Collaboration : - Supervises four current PhD students (listed above). - Active in academic service: PC member for ECOOP, OOPSLA, PLDI, and other conferences. - Collaborates with industry (e.g., Google, Systematic) and academia on tool development and language research. Labs & Projects : - Core contributor to the Flix programming language and the CASA (Center for Advanced Software Analysis) initiative. - Involved in interdisciplinary projects combining declarative programming with domain-specific applications.

Alberto Lluch Lafuenteمشاهده پروفایل

استاد

• Model Checking
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Alberto Lluch Lafuente is a Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). He leads research in formal methods, cybersecurity, and software systems engineering. His work emphasizes model checking, blockchain protocols, and security risk modeling. He has supervised multiple PhD students and serves as Editor-in-Chief of the Journal of Logical and Algebraic Methods in Programming . Research interests include formal verification, attack-defense trees, distributed systems, and quantitative analysis of adaptive systems. Recent efforts focus on process mining for security analysis, liquidity-saving protocols in DeFi, and human-centered AI in software engineering. Key Projects: IoT security risk modeling, formal analysis of DeFi protocols, reduction techniques for biological systems Tools Developed: ERODE (Boolean network reduction), QFLan (quantitative analysis tool) His interdisciplinary work bridges theoretical computer science with practical applications in finance, cybersecurity, and distributed systems.

Alceste Scalasمشاهده پروفایل

دانشیار

• Formal Methods
• Programming Languages
• Multiparty Session Types
• +۵ مورد دیگر

Alceste Scalas is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research focuses on formal methods in concurrency, multiparty session types, distributed systems, and programming language theory. Scalas leads the Software Systems Engineering group and actively supervises PhD students in areas such as secure distributed systems and formal verification of communication protocols. His work integrates theoretical contributions (e.g., process algebra formalisms, Petri net encodings) with practical applications like verified network APIs and automated test synthesis for RESTful systems. Recent projects include COTS (OpenAPI test synthesis) and P4R-Type (verified P4 control plane tools). Scalas' research has been applied to secure cloud-edge systems (TaRDIS project), hybrid verification methodologies, and SDN protocol validation. He co-develops tools like Effpi for verified message-passing programs and PSTMonitor for session-type monitoring. He supervises PhD candidates working on secure distributed applications, formal methods in blockchain (Algorand smart contracts), and concurrency patterns in actor systems. His work bridges theoretical computer science with real-world system verification challenges.

Fabrizio Montesiمشاهده پروفایل

استاد

• Programming Languages
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Fabrizio Montesi is a Professor and Head of Section in the Department of Mathematics and Computer Science at the University of Southern Denmark. He holds a leadership role as President of the Microservices Community since 2019. His research focuses on Choreographic Programming, Programming Languages, Cybersecurity, and Distributed Systems, with notable contributions to frameworks like Jolie and Choral. Montesi has secured significant grants, including EU Horizon Europe funding and Villum Foundation awards. He has supervised PhD students in microservices development and contributed to over 90 research outputs. His work emphasizes formal methods, concurrency, and secure distributed systems design. Research Interests His primary research areas include choreographic programming models, formal verification of distributed systems, and cybersecurity in microservices architectures. He explores theoretical foundations such as session types, process calculi, and linear logic, while developing practical tools like the Choco project for choreography-based IT systems. His work bridges theory and practice through frameworks like Jolie, enabling secure and scalable service-oriented computing. Grants & Projects - CHORDS (EU Horizon Europe) : Choreographies for Distributed Systems (2024–2029)\n- X-IDF : Explainable Internet Data Flows (2022–2026)\n- Choco : Choreographies for connected IT systems (2020–2025). Projects emphasize cybersecurity for SMEs and formal methods for distributed systems. Awards - Best Artefact Award (2023)\n- Villum Synergy Grant (2022)\n- Distinguished Paper Award (2021)\n- Villum Young Investigator (2019)\n- Innovation Prize (2017). Media & Outreach Montesi has engaged with media on topics like AI tools for media houses, cybersecurity for SMEs, and Denmark’s success in EU research grants. His work is cited in Wikipedia and discussed in academic networks.

Hans Hüttelمشاهده پروفایل

دانشیار

• Process Calculi
• Type Systems
• Programming Languages
• +۴ مورد دیگر

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.

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

استادیار

• Network Verification
• Resilient Networks
• ISP Networks
• +۳ مورد دیگر

Morten Konggaard Schou is an Assistant Professor at the Department of Computer Science, Aalborg University, Denmark. His primary affiliation is with the Distributed, Embedded and Intelligent Systems group within The Technical Faculty of IT and Design. His research focuses on network verification, resilient networks, and formal methods applied to networking challenges such as ISP network analysis, MPLS protocols, and pushdown systems. He has contributed to tools like AalWiNes and PDAAAL, which address network reachability and resilience. Key research interests include quantitative verification of network systems, automated discovery of flow splitting ratios in ISP networks, and formal verification of pushdown systems. His work bridges theoretical computer science with practical network engineering, emphasizing fault tolerance and dependability in telecommunications infrastructure. He has published extensively in venues like IEEE Pacific Rim International Symposium on Dependable Computing and the Archive of Formal Proofs. Collaborations span academic and industry standards, with datasets deposited on Zenodo supporting reproducibility of his research. His 2023 PhD thesis, 'Quantitative Verification and Synthesis of Resilient Networks,' underpins much of his current work. He actively contributes to open-source tools for network analysis and formal methods validation.

Hugo Daniel Macedoمشاهده پروفایل

دانشیار

• Digital Twins
• Formal Methods
• Cyber-Physical Systems
• +۳ مورد دیگر

Hugo Daniel Macedo serves as an Associate Professor in the Department of Electrical and Computer Engineering at Aarhus University, where he leads research at the intersection of formal methods and cyber-physical systems. His primary institutional affiliations include the INTO-CPS initiative and the HUBCAP project, focusing on integrated toolchains for collaborative engineering design. His research spans critical domains in modern engineering: Digital Twins : Visualization frameworks, security architectures, and applications in autonomous systems (e.g., F1TENTH race cars) and sustainable infrastructure (floodwater management for Power-to-X) Formal Methods : Advancement of the Vienna Development Method (VDM), including tool integration with UML and Visual Studio Code Cyber-Physical Systems : Model-based design, co-simulation techniques, and lifecycle management for circular economy applications Analysis of his 2022-2024 publications reveals a strategic focus on operationalizing digital twins through formal verification, with significant contributions to floodwater resource systems and secure autonomous vehicle frameworks. His work consistently bridges theoretical formal methods with industrial applications, particularly in sustainable engineering contexts. Dr. Macedo actively supervises graduate students in digital twin implementation and formal verification methodologies, though specific advisee names are not publicly documented. His project leadership includes the EU-funded Digital Innovation HUBs initiative (2020-2022), which developed collaborative platforms for cyber-physical system design, securing substantial research grants for toolchain integration and security validation. He maintains active roles in the International Overture Workshop series as both contributor and proceedings editor, driving community standards for formal methods tooling. Current laboratory work centers on the INTO-CPS Application environment, where his team develops co-simulation frameworks for real-time digital twin deployment across automotive and environmental engineering domains.

Andrzej Wąsowskiمشاهده پروفایل

استاد

• Software Engineering
• Formal Methods
• AI and Robotics
• +۸ مورد دیگر

Andrzej Wąsowski is a Professor in the Computer Science Department at IT University of Copenhagen. His research focuses on software engineering, formal methods, AI/robotics, and safety-critical systems. He leads projects like REMARO (Marine Robotics reliability) and INSIGHT (program repair). His work emphasizes model-driven engineering, probabilistic systems, and open-source collaboration. Research Interests Formal Verification of Autonomous Systems Probabilistic Programming and Privacy Analysis Software Product Line Engineering Robotics and Cyber-Physical Systems Recent Work Recent articles explore symbolic execution for probabilistic programs, risk-aware marine robotics planning, and privacy quantification in genetic data. He has contributed over 200 ROS bug findings and developed tools like Clafer for model-based design. Teaching & Community Teaches courses in probabilistic programming, advanced software analysis, and model-driven development. Active in open-source communities, including ROS and Clafer. Supervised 20+ PhD students who now hold academic and industry positions. Labs & Projects Leads the SQUARE Group and VBDB bug database. Coordinates the REMARO EU training network. Previously worked on ROSIN (robot software quality) and EBA (Linux kernel analysis).

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

دانشیار

• Choreographic Programming
• Concurrent Systems
• Formal Methods
• +۵ مورد دیگر

Marco Peressotti is an Associate Professor of Computer Science at the University of Southern Denmark, where he is a member of the Department of Mathematics and Computer Science and the Section of Artificial Intelligence, Cybersecurity, and Programming Languages. He also serves on the Communication Group of the Microservices Community, an international research network. His academic career focuses on making concurrent and distributed systems more effective and robust through formal methods and programming language techniques. Dr. Peressotti received his Ph.D. in Computer Science from the University of Udine in 2017. His educational background forms the foundation for his current research in formal methods and distributed systems. Peressotti's research centers on choreographic programming, formal methods, and concurrency theory, with a unifying mathematical perspective rooted in Logic and Category Theory. His work aims to make programming and analysis of concurrent systems more effective and robust. He has made significant contributions to the development of choreographic programming languages, particularly through the Choral language, which integrates object-oriented programming with choreographic abstractions. His research spans theoretical foundations to practical implementations, with applications in microservices, cybersecurity, and distributed systems. His recent publications demonstrate a strong focus on advancing choreographic programming, with particular attention to handling communication failures, out-of-order execution, and practical applications in microservices architectures. His work increasingly intersects with cybersecurity concerns, particularly in supply chain security for small and medium enterprises. The trend shows growing engagement with practical policy implications of his theoretical work, as evidenced by numerous opinion pieces in Danish media outlets. Dr. Peressotti actively supervises students, with Valentino Picotti recently defending a PhD thesis on "Language Support for Microservices Development" under his co-supervision. His research has practical applications in software verification, as demonstrated by his introduction to Software Verification with TLA+ for participants of the Danish Cyber Championships. He collaborates extensively with researchers including Fabrizio Montesi and Jan Stentoft on cybersecurity awareness and supply chain risk management. As a member of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, Peressotti contributes to research groups focused on formal methods for distributed systems. His work with the Microservices Community connects him to an international network of researchers advancing service-oriented computing paradigms.

Andrzej Wasowskiمشاهده پروفایل

استاد

• Software Engineering
• Software Product Lines
• Model Driven Development
• +۵ مورد دیگر

Andrzej Wasowski is a Professor and research group leader at the IT University of Copenhagen , specializing in Software Engineering and Software Quality Research (SQUARE) . He leads projects involving underwater robotics , AI verification , and probabilistic programming , with a focus on model-driven development and variability in systems . Key Collaborations: Innovation Fund Denmark, European Commission, Danmarks Frie Forskningsfond Research Trends include underwater image segmentation , safety analysis of autonomous vehicles , and symbolic methods in probabilistic programs . His work integrates formal methods with real-world applications in marine technology. Projects like VARIETE and DIREC explore dependable systems and verifiable AI . He has contributed datasets to ZENODO and participated in workshops on domain-specific language design and software testing .

• Formal Verification
• Software Engineering
• Cyber-Physical Systems
• +۳ مورد دیگر

James Woodcock is a Professor in the Department of Electrical and Computer Engineering at Aarhus University, specializing in Software Engineering and Computing Systems. With over 200 research outputs and 11 completed projects, he focuses on Formal Verification, Cyber-Physical Systems (CPS), and Robotics. His work integrates Digital Twins, Model Checking, and Process Algebra to ensure system reliability. Key research areas: Formal Verification, Robotics, CPS, Digital Twins, Security Engineering Active collaborations: University of York, University of Liverpool, University of Bremen Recent projects include: UK Trustworthy Autonomous Systems Verifiability Node (2020-2024) RoboTest: Model-Based Testing of Autonomous Robots (2018-2023) His 2025 paper on BDI Agent Verification and 2023 State-of-the-Art Report on Verified Computation highlight his leadership in applying Formal Methods to Robotics and Security. Over 2005-2025, he has published extensively in CPS , Formal Verification , and Model-Based Design . Awarded prestigious titles including Chartered Engineer (2011) and Distinguished Researcher (2019), he has served as Editor, PhD Examiner, and Visiting Lecturer globally.

Mohsen Ghaffariمشاهده پروفایل

دانشگاهی

• Reinforcement Learning
• Multi-agent Systems
• Game Theory
• +۴ مورد دیگر

Mohsen Ghaffari is a postdoctoral researcher in Computer Science at the IT University of Copenhagen, Denmark, affiliated with the Digital Research Center Denmark (DIREC). His research focuses on decision-making under uncertainty in multi-agent systems, leveraging software analysis to enhance the reliability and safety of reinforcement learning. He holds a PhD in Computer Science and is a supervisor at the Institute for Advanced Studies in Basic Sciences, Zanjan. Research Areas: Reinforcement Learning, Multi-Agent Systems, Game Theory, Smart Grids, Formal Methods External Roles: Teaching Assistant for Advanced Programming Projects: Co-Investigator on DIREC initiatives focusing on AI safety and autonomous systems. His work emphasizes theoretical foundations and practical applications of reinforcement learning, including formal specification frameworks and real-world implementations like epidemic modeling and smart grid optimization.