Find Academic Supervisors

Gene TsudikView profile

Professor

• Computer and network security
• Cryptopoetry
• Internet security and privacy
• +2 more

Gene Tsudik is a Distinguished Professor of Computer Science at the University of California, Irvine (UCI), with a career spanning over two decades. He obtained his Ph.D. in Computer Science from the University of Southern California (USC) in 1991, focusing on access control in the Internet. His research spans multiple areas including computer and network security, applied cryptography, and digital privacy, with a recent emphasis on database privacy, genomic privacy, and usable security. His notable contributions include the Inter-Domain Policy Routing (IDPR) protocol, KryptoKnight for network security, and Tree-Based Group Key Agreement protocols. He has over 210 publications and 8 patents. From 2002 to 2007, he served as Associate Dean of Research and Graduate Studies at UCI's School of Information and Computer Sciences and currently directs the UCI Secure Computing and Networking Center (SCONCE). Research Keywords : Cybersecurity, Cryptography, Privacy, Network Security, Digital Signatures, Genomic Data Protection. Scientific Awards : IEEE Fellow (2012), ACM Fellow (2014), AAAS Fellow (2016), Fulbright Senior Scholar (2007), and IFIP Fellow (2020). Professor Tsudik has supervised 18 PhD students and held visiting positions at universities across Europe and Asia. His recent publications focus on secure hardware attestation, biometric authentication, and social media data privacy.

Wolfgang KunzView profile

Professor

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +5 more

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Joseph SifakisView profile

Researcher

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +3 more

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

• Real-Time Systems
• System Architectures
• Communication Protocols
• +3 more

Roman Obermaisser is a Professor at the Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems department. His research focuses on real-time systems, system architectures, communication protocols, safety-critical systems, distributed algorithms, and fault-tolerance. He holds a PhD in Computer Science from TU Wien, awarded in 2003 for his work on integrated architectures for control paradigms. His academic contributions span over two decades, with publications in top-tier conferences and journals. Key research themes include time-triggered architectures (TTA), fault containment in embedded systems, and integration of heterogeneous communication protocols like CAN and Ethernet. He has supervised numerous graduate students, contributing to advancements in system-on-chip (SoC) design, transient-resilient architectures, and diagnostic frameworks for real-time systems. Obermaisser’s work emphasizes practical applications in automotive and industrial systems, addressing challenges such as scalability, reliability, and composability. His involvement in projects like GENESYS and DECOS highlights his role in developing cross-domain reference architectures for embedded systems. Recent efforts include evaluating ontology-based reconfiguration and COTS-based Ethernet solutions for safety-critical networks. His articles reflect a focus on real-time communication protocols, fault-tolerant design, and system integration, with applications ranging from automotive networks to smart transducers. Advising over 20 students underscores his commitment to nurturing the next generation of embedded systems researchers.

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design automation (EDA)
• +5 more

Georges Gielen is Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven, Belgium, and part-time Research Director at imec. He has held multiple leadership roles including Chair of ESAT Department (2012-2013, 2020-2024) and Vice-Rector for Science, Engineering & Technology (2013-2017). His academic career spans over 30 years at KU Leuven, progressing from Assistant to Full Professor. His research focuses on analog and mixed-signal integrated circuit design automation , with expertise in CAD tools, design optimization, sensor interfaces, and neuromorphic systems. His work bridges hardware design with machine learning, particularly in hardware-efficient AI implementations and biomedical applications. He has pioneered techniques for automated analog circuit sizing, topology synthesis, and reliability-aware design in nanometer CMOS. Gielen has received numerous accolades including the IEEE CAS Mac Van Valkenburg Award (2015), IEEE CAS Charles Desoer Award (2020), and EDAA Achievement Award (2021). He holds an ERC Advanced Grant AnalogCreate and is an IEEE Fellow since 2002. As a prolific scholar, he has chaired major conferences including DATE (2006), ICCAD (2007), and ESSCIRC (2017). He has graduated over 55 PhD students through the MICAS research group at KU Leuven, currently supervising 13 doctoral candidates. His research team collaborates extensively with imec and industry partners on cutting-edge projects in carbon-aware AI accelerators, uncertainty-aware design, and neuromorphic sensor interfaces.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +5 more

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +5 more

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

• Formal Methods
• Software Verification
• Concurrent Systems
• +6 more

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

• Deontic Logic
• Normative Reasoning
• Proof Theory
• +3 more

Xavier Parent is a Researcher in the Department of Theory and Logic at Technische Universität Wien (TU Wien). His work focuses on deontic logic, normative reasoning, and proof theory, with applications to AI and legal systems. He leads the LoDEx project (2024–2026) and previously contributed to the Lisa Meitner grant (2021–2024) and TICAMORE project (2017–2022). His research emphasizes formal verification of normative systems using higher-order logic (HOL) and explores topics like conditional obligations, dyadic deontic structures, and automated reasoning. Key projects include: LoDEx: Developing logical methods for deontic explanations Lisa Meitner Grant: Investigating permissive norms and regulative norms TICAMORE: Embedding dyadic deontic logic in HOL His research interests span: Formal semantics of normative systems Automated theorem proving for deontic logics Interactions between betterness orderings and obligations Publications highlight contributions to journals like Journal of Philosophical Logic and Journal of Applied Non-Classical Logics , with conference presentations at DEON, PRIMA, and Dagstuhl Seminars. He advises students like David Pichler on extensionality in normative systems.

• Fault-Tolerant Distributed Algorithms
• Digital Integrated Circuits
• Topology
• +7 more

Ulrich Schmid is a Full Professor and Head of the Research Unit for Embedded Computing Systems at TU Wien. He holds a position in the Faculty of Informatics and leads the department of Embedded Computing Systems (E191-02). His roles include Curriculum Coordinator for the Bachelor and Master programs in Computer Engineering, as well as the Excellence Program Bachelor with Honors. He is also the Chair of the Curriculum Commission for Computer Engineering and a Substitute Member of the Informatics Commission. His research focuses on fault-tolerant distributed algorithms, digital integrated circuits, and topology-based approaches to distributed systems. He coordinates major projects such as the FWF-funded DMAC (2019–2024) and ByzDEL (2020–2025), which integrate topological semantics and hybrid delay models for robust hardware design and distributed system analysis. Schmid has contributed to groundbreaking work in Byzantine fault tolerance, epistemic logic for system recovery, and real-time scheduling through collaborations with researchers like Chatterjee, Függer, and Rajsbaum. Notable awards include the 2018 Edsger W. Dijkstra Prize and the 2021 Principles of Distributed Computing Doctoral Dissertation Award. His research also bridges formal verification techniques with physical hardware implementations, exemplified by projects like HEX (a Byzantine-tolerant clock distribution system) and the Involution tool for timing analysis. Schmid actively contributes to academic governance, advancing rigorous education and research standards in computer engineering. His advising and grant work involve mentoring on fault-tolerant architectures and securing funding from agencies like FWF and the European Commission. Labs and teams under his leadership include the Embedded Computing Systems group, specializing in hardware-software co-design for dependable systems-on-chip, and collaborations with institutions like GSI Helmholtzzentrum and the University of Amsterdam.

• Computer Science
• Software Engineering
• Formal Methods
• +6 more

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (IST Austria) since 2009, serving as its President from 2009 to 2022. He holds honorary doctorates from Fourier University and Masaryk University. His research focuses on formal methods for improving software reliability in concurrent and embedded systems, with contributions to quantitative verification, quantum computing, and algorithmic fairness. He leads the Henzinger Group , which addresses challenges in software correctness, safety-critical systems, and AI ethics. Education: PhD from Stanford University (1991), followed by postdoctoral work at Université Joseph Fourier (1991). Research Interests: Concurrent and embedded systems, formal methods, quantum algorithms, fairness in AI, and runtime verification. His team develops mathematical foundations and tools to ensure software robustness in complex systems. Recent Trends in Publications: Focus on advancing formal verification techniques for neural networks, quantum computing, and ethical AI. Key contributions include fairness shields for decision systems and middleware for third-party monitoring (VAMOS). Awards: Royal Society Fellow (2024), US National Academy of Sciences Member (2020), Wittgenstein Award (2012), and numerous test-of-time awards. Advising & Grants: Advised over 20 PhD students. Secured ERC Advanced Grants (VAMOS, QUAREM) and FWF grants (Wittgenstein Award). Labs/Teams: Leads the Henzinger Group , collaborating on projects like SPyCoDe (semantic security) and VAMOS (third-party monitoring middleware).

• Distributed Systems
• Fault-Tolerant Computing
• Asynchronous Algorithms
• +3 more

Prof. Ulrich Schmid is a full professor at TU Wien, affiliated with the Forschungsbereich Embedded Computing Systems. His research focuses on distributed systems, fault-tolerant computing, and asynchronous algorithms. He leads projects like 'Asynchronous Distributed Algorithms in the Theta-Model' and 'Gracefully Degrading Agreement in Directed Dynamic Networks.' Prof. Schmid has received honors at TU Wien and actively supervises numerous students in PhD and Master's programs. His academic work spans theoretical foundations (e.g., epistemic logic in Byzantine systems) and practical applications (e.g., digital circuit delay modeling). Key contributions include hybrid delay models for integrated circuits and formal verification frameworks for timed circuits. Collaborations involve institutions like the Institut für Technische Informatik and the E191-02 research group. Notable research areas: Byzantine fault tolerance, consensus protocols, and embedded systems Leadership in 4 major projects addressing distributed computing challenges Recipient of TU Wien honors (2021) Prof. Schmid's lab emphasizes bridging theoretical computer science with hardware-software co-design, producing over 220 publications and 10+ supervised theses since 2000.

Tom HenzingerView profile

Professor

• Formal Methods
• Software Engineering
• Computer Science
• +5 more

Tom Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Tom Henzinger Group. His research focuses on formal methods to enhance software quality, addressing challenges in concurrent systems, real-time and embedded systems, quantum computing, neural networks, and biochemical reaction networks. He has advised numerous PhD students and postdoctoral researchers, contributing to advancements in these fields. His work emphasizes mathematical rigor in software analysis and verification. Current projects include VAMOS (Middleware for best-effort third-party monitoring) and SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design). Past projects involved model checking and runtime verification techniques. Research interests span concurrent software synthesis, quantitative modeling of reactive systems, predictability of real-time systems, and formal methods applied to quantum computation and neural networks. He is also engaged in exploring hardware-optimal solutions for quantum algorithms. Administrative Assistant Ksenja Harpprecht supports the group. Courses taught include 'Formalisms Every Computer Scientist Should Know,' focusing on logics, automata, and semantics. The group hosts regular seminars, such as the Tuesday group seminar and the Wednesday joint formal methods seminar with TU Wien's FORSYTE group.

• Distributed Systems
• Service-Oriented Computing
• Cloud Computing
• +3 more

Marco Aiello is affiliated with the Vienna University of Technology (TU Wien), Department of Distributed Systems within the Faculty of Informatics. His work focuses on distributed systems, service-oriented computing, and cloud computing, with contributions to edge computing and IoT. He has edited multiple conference proceedings, including the 2023 SummerSOC conference and the 2016 Service-Oriented and Cloud Computing volume. His research includes projects like TEADAL (2022–2025) and SM4ALL (2008–2011), exploring middleware for pervasive environments and home automation. Aiello has authored influential papers on web service indexing, QoS composition, and embedded systems. He received the 2006 Web Service Challenge award for his indexing work. Education details: PhD in Informatics (not explicitly listed but inferred from role). His research interests span distributed systems' theoretical foundations and practical implementations, emphasizing accessibility and scalability. Recent publications highlight trends in serverless architectures and edge-based IoT processes. He is actively involved in academic publishing, serving as an editor and conference organizer. Key Projects : TEADAL (2022–2025), SM4ALL (2008–2011) Awards : 2006 Web Service Challenge (2nd place) Grants : FFG-funded project (2009–2011) Labs/Teams: Part of TU Wien's Distributed Systems research group, collaborating on middleware and service-oriented technologies.

• Systems
• Concurrency
• Memory Management
• +5 more

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.