Find Academic Supervisors

• Software Security
• IoT Security
• Software Supply Chains
• +2 more

Mojtaba Moazen is a PhD student and researcher at the Division of Theoretical Computer Science , part of KTH Royal Institute of Technology in Sweden. He is actively involved in the WASP – Wallenberg AI, Autonomous Systems and Software Program and the NEST CyberSecIT project, focusing on securing IoT applications and software supply chains. His work bridges academic research with critical real-world cybersecurity challenges. Education: PhD (ongoing) in Theoretical Computer Science, KTH Royal Institute of Technology Master of Science in Information Technology, Sharif University of Technology Bachelor of Science in Computer Engineering, K. N. Toosi University of Technology Research Interests: Mojtaba specializes in software security , IoT security , and software supply chains , with a focus on developing robust security mechanisms for emerging technologies. His recent publications highlight advancements in Android malware detection and continuous integration testing. Courses Assisted: Applied Cryptography (DD2520) Computer Security (DD2395) Internet Programming (DD1386) Language-Based Security (DD2525) Programming Techniques (DD1310)

Hamed NematiView profile

Assistant Professor

• Security of systems software
• Formal methods and program logics
• Interactive theorem proving
• +2 more

Hamed Nemati is an Assistant Professor at the Division of Network and Systems Engineering under the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. He was previously a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA) , where he also worked as a PostDoc and Research Fellow. Education : PhD in Computer Science from KTH Royal Institute of Technology Research Interests : Security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, applied machine learning Current Projects : Systematic verification of multi-language security protocols, hardware-software co-design for Spectre mitigation, capability-based access control models Scientific Awards : WASP (Wallenberg AI, Autonomous Systems and Software Program) faculty member Teaching Activities : Formal Methods in Security (Fall 2020-2023) at CISPA/Saarland University Digital Forensics and Incident Response (EP2780) (Fall 2024) at KTH

• Program Verification
• Proof Engineering
• Formal Methods
• +4 more

Karl Palmskog is a Lecturer at KTH Royal Institute of Technology in the Division of Theoretical Computer Science and the STEP research group. His work focuses on program verification and proof engineering, with particular emphasis on developing techniques and tools based on proof assistants for constructing functionally correct and secure software systems. Palmskog received his Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam, and his M.Sc. in Computer Science and Engineering from KTH in 2007. Prior to his current position, he was a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests span programming languages, software engineering, and formal verification, with a particular focus on developing techniques and tools based on proof assistants. He is an avid user of the Coq proof assistant for both proving and programming, often complemented by OCaml, and also utilizes HOL4 and other ML family dialects. His work bridges theoretical foundations with practical applications, particularly in the domains of blockchain systems, distributed systems, and automotive software verification. Analysis of his recent publications reveals a strong focus on Coq-based verification, with significant contributions to proof engineering tools and methodologies. His work includes developing tools for regression proving, change impact analysis, mutation testing for Coq projects, and lemma name suggestion using deep learning. There's also a growing trend toward applying formal methods to real-world systems like blockchain protocols and automotive software. Palmskog has been involved in several research projects, including Coq-community Proof Engineering and Distributed Components. His past projects include Trustfull (SSF), Model-based Event Driven Scalable Programming for the Mobile Cloud (NSF), Highly Adaptable and Trustworthy Software (EU FP7), and 4WARD Future Internet (EU FP7). As an educator, Palmskog has served as examiner, course responsible, teacher, and assistant for various courses including Algorithms, Data Structures and Complexity; Degree Projects; Game Theory; Parallel and Distributed Computing; and Programming Paradigms. His work on Chip, a Coq formalization of change impact analysis, demonstrates his commitment to creating practical, certified tools that bridge formal methods with software engineering practice.

Carla G MachadoView profile

Assistant Professor

• Sustainable Operations Management
• Industry 4.0
• Supply Chain Management
• +4 more

Carla G Machado serves as Assistant Professor in Business Administration at Jönköping International Business School (JIBS), Sweden, and Director of Societal Engagement. She joined JIBS and the Centre for Family Entrepreneurship and Ownership (CeFEO) in 2020 after extensive industry experience in industrial marketing, communication, and sustainability auditing for major family-owned Brazilian industrial groups and the Inter IKEA Group. Her research focuses on sustainable operations management within Industry 4.0 contexts , examining organizational digital readiness, supply chain resilience, and sustainable frameworks for family businesses. As an active member of the global 'Supply Chain 4.0' network, she explores digital transformation applications in diverse business contexts including family firms. Her teaching portfolio spans Supply Chain Management, Sustainable Operations, Logistics, Industrial Marketing, and Business Strategy. Analysis of her 15 most recent publications reveals consistent emphasis on sustainability integration with digital technologies, particularly examining ESG frameworks, circular economy applications, and resilience strategies in supply chains. The research demonstrates strong methodological diversity including systematic reviews, conceptual frameworks, and empirical case studies across manufacturing and family business contexts. Her scientific contributions include developing maturity frameworks for sustainable operations and digital readiness assessment tools. While no formal awards are documented, her work shows significant collaborative engagement through global research networks and practical industry applications. Machado actively advises on societal engagement initiatives through her directorship role and contributes to executive education programs. Her research trajectory indicates growing focus on integrating family business dynamics with sustainable operational frameworks, particularly examining how family firms act as 'systemic irritators' within sustainable entrepreneurial ecosystems.

• Distributed/Parallel Computing
• Information Visualization
• Fault-Tolerant Communication Mechanisms
• +4 more

Philippas Tsigas is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. He leads the Distributed Computing and Systems Research Group and has held roles as co-leader of research initiatives such as the PEPPHER project. His research spans distributed/parallel computing, information visualization, and fault-tolerant communication mechanisms. He has supervised numerous PhD students, including Yi Zhang, Håkan Sundell, and Farnaz Moradi. Research interests include lock-free data structures, multicore algorithms, secure network services, and visualization tools like Lydian and DataMeadow. Notable awards include Best Paper Awards at IPDPS 2003 and SNS 2012. His work has been published in top venues like IEEE Transactions on Parallel and Distributed Systems and ACM Journal of Experimental Algorithmics. Awards highlight contributions to lock-free algorithms and network modeling. Students have contributed to projects like NBmalloc (memory reclamation) and GPU Quicksort. Collaborations with institutions like SSF and VR have supported his research. Tsigas is also involved in teaching distributed systems and mentoring early-career researchers.

Alejandro RussoView profile

Professor

• Computer Science
• Information Security
• Functional Programming
• +3 more

Alejandro Russo is a Professor at Chalmers University of Technology , specializing in Information Flow Control (IFC) , Secure Programming Languages , and Functional Programming . His research bridges theoretical foundations and practical implementations, focusing on mitigating timing channels , covert channels , and data leakage in concurrent systems. Developed novel frameworks for Differential Privacy with provable accuracy bounds Pioneered COWL integration for browser security and instruction-based scheduling to prevent cache timing attacks Led major projects like HIPSTER (hybrid static/dynamic IFC) and AppFlow (practical IFC deployment) His publications reveal expertise in security libraries for Haskell and Python , with a focus on faceted execution , label manipulation , and mechanized security proofs . Students under his supervision have explored topics ranging from secure eDSLs to privacy-preserving compilation techniques . Scientific awards : Google Research Award (2011) for Python taint analysis Advising and grants : Principal Investigator for VR , STINT , and Google Research Award Supervised 12+ PhD and Master’s students in security and functional programming research

Peter DybjerView profile

Professor

• Intuitionistic Type Theory
• Categorical Type Theory
• Proof Assistants
• +9 more

Peter Dybjer is a Professor of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology in Sweden. He is a leading researcher in the field of type theory, with a focus on intuitionistic type theory, categorical semantics, and proof assistants. His work bridges foundational aspects of mathematics and computer science, emphasizing constructive methods and formal verification. Research Interests: Intuitionistic Type Theory and its categorical semantics Proof assistants and formal verification Inductive and inductive-recursive definitions Game semantics and normalization techniques Dependent type systems and their applications Homotopy Type Theory and univalent foundations Activities & Contributions: Editor of the Bulletin of Symbolic Logic Member of program committees for conferences like TYPES, FSCD, and MFPS Keynote speaker at events including the European Congress of Mathematics and the Hausdorff Research Institute's Summer School on Types, Sets, and Constructions Initiated and directed the Master's Program in Computer Science – Algorithms, Languages, and Logic at Chalmers Teaching & Outreach: Professor Dybjer has taught advanced courses at international summer schools, including: Inductive Definitions in Constructive Type Theory (TYPES Summer School, 2005) Dependent Types at Work (LerNet Summer School, Uruguay, 2008) Normalization by Evaluation (Midlands Graduate School, 2009 and 2015)

Didrik LundbergView profile

Researcher

• System Security
• Formal Methods
• P4 Programming Language
• +3 more

Didrik Lundberg is a Researcher at the Department of Theoretical Computer Science within the School of Electrical Engineering and Computer Science at Royal Institute of Technology . His work focuses on system security and formal methods , particularly in mechanized reasoning for the P4 programming language. Key research areas include formal verification , network security , and program logic , as evidenced by his publications on HOL4P4 , symbolic execution , and unstructured program logics . He has presented at international conferences such as SEFM 2020 , OOPSLA 2024 , and VSTTE 2024 . His peer-reviewed articles and conference contributions span topics like P4 semantics, data plane verification, and Hoare-style logic for unstructured programs. He also authored a master's thesis titled Provably Sound and Secure Automatic Proving and Generation of Verification Conditions (2018).

Marc HellmuthView profile

Associate Professor

• Discrete Mathematics
• Combinatorics
• Graph Theory
• +10 more

Marc Hellmuth is an Associate Professor of Computational Mathematics at the Department of Mathematics, Stockholm University, Sweden. His academic career includes previous positions as Junior Professor for Biomathematics and Computer Science at University of Greifswald, Germany (2015-2020), Lecturer at School of Computing, University of Leeds, UK (2020), and PostDoc positions at Saarland University and Max-Planck Institutes. Dr. Hellmuth earned his PhD in Computer Science from University of Leipzig, Germany (2007-2010, summa cum laude), supervised by Peter F. Stadler, and completed his Venia Legendi (habilitation) at Saarland University, Germany (2016). His research spans the interface of discrete mathematics, computer science, and life sciences with emphasis on: Discrete Mathematics including Graph Theory, Combinatorics, and Optimization Algorithm Design and Complexity Theory Mathematical and Computational Biology Phylogenomics and Evolutionary Analysis Computational Chemistry and Atom Tracking His publication record demonstrates a consistent focus on developing mathematical frameworks and efficient algorithms for biological problems, particularly in phylogenomics, orthology detection, and evolutionary analysis. His work bridges theoretical computer science with practical applications in biology and chemistry, often resulting in open-source software tools. Dr. Hellmuth has developed numerous software tools including AsymmeTree for phylogenetic simulation, tralda for tree algorithms, and specialized tools for phylogenomics, atom tracking, and graph analysis. His collaborative work extends internationally with research visits to institutions including Yale University, University of Leoben, Vienna University of Economics, University of Southern Denmark, Université de Montréal, and institutions in China.

Michael MinockView profile

Associate Professor

• Natural Language Interfaces
• Knowledge Representation
• Databases
• +4 more

Michael Minock is an Associate Professor in Computing Science at Umeå University. His research focuses on the intersection of AI and relational databases, particularly in natural language interfaces, semantic tractability, and knowledge representation. He has led significant projects such as the VR grant (2015-04953) and EU STREP SpaceBook (2011–2014). Minock also co-founded C-Phrase Technologies AB and teaches courses on databases and large language models. B.S. in Computer Science (Honors), University of Michigan Ph.D. in Computer Science, UCLA His research explores the logical foundations of database query languages, emphasizing higher-order logic in natural language interfaces. Recent work integrates LLMs into database management systems. Key publication trends include query containment analysis, cooperative question answering, and context-aware navigation systems. Subfields span natural language processing, spatial databases, and semantic reasoning. Scientific Awards: Pell Grants Michigan Competitive Scholarship DARPA AASERT Award Minock's teaching includes courses on database management and LLM applications in IT. He actively contributes to open-access publications and maintains a strong interdisciplinary focus across AI, logic, and real-world database challenges.

Lars-Henrik ErikssonView profile

Senior Lecturer

• Formal Methods
• Logic in Computer Science
• Programming Language Theory
• +7 more

Lars-Henrik Eriksson is a Senior Lecturer in the Department of Computer Science at Uppsala University, part of the Department of Information Technology. He holds a PhD and is recognized as an Excellent Teacher and educational mentor. He currently serves as the program director for the Master's program in Computer Science and has previously held leadership roles, including Head of the Department of Computer Science from 2004 to 2018. PhD in Computer Science Excellent Teacher Award Pedagogical Mentor at Uppsala University His research focuses on the applications of logic in computer science, particularly formal methods for software development. His work spans formal specification, verification, and synthesis, with strong emphasis on logic programming, interactive theorem proving, and logical frameworks. He has made significant contributions to the use of formal methods in safety-critical domains such as railway signaling. His current research includes modeling application domains within formal methods and formalizing concurrency theory using the Isabelle proof assistant. The recent publications reflect a sustained focus on modal logics for nominal transition systems, formal verification tools (e.g., GTO), and domain-specific applications of formal methods. These works demonstrate deep integration of theoretical logic and practical software engineering, especially in distributed and safety-critical systems. The recurring themes include concurrency, verification, and the use of domain models to enhance formal reasoning. Scientific Awards and Recognitions: Excellent Teacher Pedagogical Mentor Lars-Henrik Eriksson has advised numerous students through project supervision, thesis reviews, and course mentorship, though no formal list of advisees is provided. He has been involved in significant research management, including leading the department and directing a master’s program. He has also collaborated with industry, particularly in railway signaling, contributing to safety analysis and formal verification projects with Trafikverket and through companies he co-founded. He is a board member of Formal Methods Europe and served as program committee chair for the FME Symposium 2002 (part of FLoC’02). His work bridges academia and industry, especially in the application of formal methods to real-world engineering challenges.

Bengt JonssonView profile

Professor

• Formal Methods
• Real-Time Systems
• Distributed Systems
• +6 more

Bengt Jonsson is a Professor at the Division of Computer Systems, Department of Information Technology, Uppsala University. His research focuses on formal methods, real-time and distributed systems, semantics and verification of concurrent systems, and IoT security. Current Projects: UPMARC (Software Technology for Multicore Programming), aSSIsT (Secure Software for IoT), and Designed for UPDATE (Safe Embedded Software Updates) Past Projects: CoDeR-MP (Multicore Real-Time Applications), ProFun (Wireless Sensor Networks), CONNECT (Networked Component Synthesis) His work includes automated verification, model checking, and symbolic execution for concurrent systems. Recent publications address dynamic partial order reduction, IoT protocol testing, and lock-free data structures. Scientific Awards : CAV Award 2017 He advises PhD students and teaches courses like Model-Based Development of Embedded Systems and graduate-level symbolic execution. Personal interests include piano playing and orienteering.

Anna LukinaView profile

Assistant Professor

• Artificial Intelligence Safety
• Formal Methods
• AI Interpretability
• +4 more

Anna Lukina is an Assistant Professor in the Department of Intelligent Systems at Delft University of Technology's Faculty of Electrical Engineering, Mathematics and Computer Science. She leads the Sequential Uncertainty Monitoring and Interpretability (SUMI) Lab, focusing on improving safety and interpretability of artificial intelligence through formal methods with applications in engineering, transportation, health, and finance. Her research spans the critical intersection of formal verification and machine learning, particularly in developing techniques for runtime monitoring of neural networks, safety verification of decision-tree policies, and creating verifiable reinforcement learning systems. She has established strong international collaborations with researchers across the US, Europe, Japan, and Australia. Lukina's recent publications (2021-2025) demonstrate consistent output in top AI venues including AAAI, NeurIPS, and IJCAI, with a clear trajectory toward increasingly sophisticated verification techniques for complex AI systems. Her work shows strong emphasis on practical applications while maintaining theoretical rigor, particularly in creating methods that provide formal guarantees for black-box AI systems. As part of her service commitment, she leads initiatives promoting junior computer scientists from underrepresented communities, reflecting her dedication to diversity in the field as highlighted in her DerStandard interview "Warum so wenige Frauen Den Code knacken wollen" and university magazine Delta. She currently supervises multiple PhD researchers including Sterre Lutz, Daniël Vos, Aaron Berger, and Johannes Koch, along with numerous successful MSc graduates who have completed theses on topics ranging from anomaly detection to genetic programming for explainable AI.

Christoph EggerView profile

Assistant Professor

• Cryptography
• Computational Complexity
• Statistical Privacy
• +7 more

Christoph Egger is an Assistant Professor at Chalmers University of Technology in the Department of Computer Science and Engineering, where he works with the Security & Privacy Lab and the Crypto Team. Prior to this position, he was a Marie-Curie Fellow at Institut de Recherche en Informatique Fondamentale (IRIF) from fall 2022 to 2024, researching connections between cryptography and complexity theory. His educational background includes: PhD: "On Abstraction and Modularization in Protocol Analysis" Master's: "An implementation of global caching for the alternation-free coalgebraic μ-calculus" Bachelor's: "Analysing and attacking the I2P Network Database" Dr. Egger's research focuses on cryptography and its connections to computational complexity, statistical privacy, and formal methods. His work spans multiple areas including cryptographic foundations (random oracles, key agreement protocols), privacy-enhancing technologies (ring signatures, information flow techniques), and practical applications in genomic data security. He develops both theoretical frameworks and practical tools like CryptoZoo for cryptographic proof visualization, bridging the gap between theoretical cryptography and real-world security challenges. His recent publications demonstrate a strong focus on cryptographic foundations and privacy technologies, with significant contributions to ring signatures, key agreement protocols, and genomic data security. His work bridges theoretical cryptography with practical applications in blockchain, anonymous communications, and healthcare data management, showing consistent productivity across multiple high-impact venues in security and privacy. Dr. Egger has served on program committees for prestigious conferences including IEEE Computer Security Foundations Symposium (CSF), Proceedings on Privacy Enhancing Technologies (PETS), and Conference on Applied Cryptography and Network Security (ACNS). He currently advises PhD students Lucia Lavagnino at Chalmers and Kirthivaasan Puniamurthy at Aalto University. Previously, he advised Master's students including Julian Brost and Kirthivaasan Puniamurthy. His Marie-Curie Fellowship was cofunded by EU H2020 Marie Sklodowska-Curie Action and FSMP Comunity Service. Dr. Egger is an active member of the Security & Privacy Lab and Crypto Team at Chalmers. He is also a founding member of the FAUST CTF team and has been a Debian Developer for over a decade, contributing to various Free Software projects including the Linux kernel and Git version control system, demonstrating his commitment to both academic research and practical software security.

• Model-Driven Engineering
• Robotics Software Engineering
• Software Architecture
• +3 more

Federico Ciccozzi is an Associate Professor in Computer Science at Mälardalen University's School of Innovation, Design and Engineering, where he leads the ASSO research group and the VR ORPHEUS project. He also serves as Head of Research Education in Computer Science and Electronics at the university. His academic journey includes a M.Sc. in Global Software Engineering (via the GSEEM program) and a Ph.D. in Computer Science and Engineering from Mälardalen University (2014), followed by promotion to Docent (Associate Professor) in 2017. Education: M.Sc. in Global Software Engineering (GSEEM program, joint between Mälardalen, L'Aquila, and Amsterdam) Ph.D. in Computer Science and Engineering (Mälardalen University, 2014) Docent (Associate Professor) in Computer Science (Mälardalen University, 2017) His research focuses on model-driven engineering, robotics software engineering, and software architecture. He has pioneered work in blended modeling approaches, EAST-ADL extensions, and formal verification of complex systems, particularly in robotics and automotive domains. Recent projects emphasize industrial collaborations, such as optimizing ROS2 multi-robot systems and enhancing safety-critical software through model-based methodologies. Research Contributions: Developed frameworks for transforming surface languages into augmented EAST-ADL models Advanced blended modeling techniques across JetBrains MPS and Eclipse tools Examined consistency management in industrial model-driven development Edited special issues on model-driven engineering and low-code development His work bridges academic innovation and industrial practice, with notable projects like the Rubus Component Model for vehicular systems. He actively organizes workshops (e.g., RoSE, ASYDE) and contributes to standardization efforts like the Portable Test and Stimulus Standard. Labs/Teams: Leads the ASSO research group, focusing on advanced software engineering methodologies and robotics systems development.