Find Academic Supervisors

Cao JiannongView profile

Academic

• Cloud and edge computing
• Parallel and distributed computing
• Big data analytics
• +2 more

Cao Jiannong is currently a Chair Professor and Director of the University Research Facility in Big Data Analytics at Hong Kong Polytechnic University . He has held academic roles including Assistant Professor at City University of Hong Kong and University Lecturer at the University of Adelaide and James Cook University. His research spans Cloud and Edge Computing , Parallel and Distributed Systems , Big Data Analytics , and Wireless Sensing . Ph.D. in Computer Science, Washington State University (1990) MSc in Computer Science, Washington State University (1986) BSc in Computer Science, Nanjing University, China (1982) His work focuses on solving theoretical and practical challenges in distributed computing , mobile cloud systems , and wireless sensor networks . Recent projects include coupled network embedding models for heterogeneous networks and SDN architectures for vehicular communication. His research also pioneers WiFi-based non-invasive health monitoring and fault-tolerant sensor deployment for structural health applications. Dr. Cao's publications highlight advancements in network embedding , edge computing , and WSN optimization . Key papers address multi-user computation partitioning , energy-efficient SHM systems , and consensus protocols for mobile networks. These works have been cited over 15,000 times, with an h-index of 60. Ministry of Education (China) Natural Science Award (2018) Distinguished Member, ACM (2017) Fellow, IEEE (2014) Best Paper Awards at IEEE DSAA, SMARTCOMP, and WCNC Dr. Cao has advised multiple PhD students, including Linchuan Xu and Weigang Wu , whose research on WSN-based SHM and coupled network embedding has practical impact. His leadership includes directing Hong Kong Polytechnic University's Big Data Research Facility and serving on technical committees for IEEE INFOCOM and ACM/IEEE conferences.

Lam JamesView profile

Professor

• Networked control systems
• Vibration control
• Control theory
• +7 more

Lam James is a Chair Professor of Control Engineering at the University of Hong Kong (HKU), affiliated with the Faculty of Engineering. He holds a BSc (1st Hons.) in Mechanical Engineering from the University of Manchester, and MPhil/PhD degrees from the University of Cambridge. His academic journey includes roles as a Croucher Fellow, Lecturer at the University of Melbourne, and faculty member at City University of Hong Kong before joining HKU in 1993. Professor Lam serves as Editor-in-Chief for four international journals including IET Control Theory and Applications and Journal of The Franklin Institute . His research focuses on networked control systems, vibration control, control theory, and multi-agent systems. With 600+ peer-reviewed publications, he maintains an H-index of 102 (Web of Science) and 108 (Scopus), recognized as a Highly Cited Researcher in multiple fields. Education: BSc Manchester (Mechanical Engineering), MPhil/PhD Cambridge Editorial Roles: 20+ journals, including leadership roles since 2012 His awards include Foreign Membership of Academia Europaea (2024), National Academy of Artificial Intelligence membership (2025), and two State Natural Science Awards (2015, 2019). He is a Fellow of multiple institutions including IEEE, IMechE, and HKIE.

Peter DruschelView profile

Professor

• Distributed Systems
• Operating Systems
• Network Security
• +3 more

Peter Druschel is a Professor and founding Director of the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. He holds adjunct professorships at Saarland University and the University of Maryland. His research focuses on distributed systems, operating systems, and privacy-preserving technologies. He earned his Ph.D. from the University of Arizona in 1994 and has held roles at Rice University since 1994, including Professor of Computer Science (2002–2005). Education: Ph.D. in Computer Science, University of Arizona (1994) Research Interests: Distributed systems, operating systems, network security, accountable computing, and privacy technologies. Current projects include privacy compliance in data systems (Thoth), secure communication (EbN), and privacy-aware image capture (I-Pic). Awards: SIGOPS Mark Weiser Award (2008) NSF CAREER Award (1995) Member of Academia Europaea and German Academy of Sciences Leopoldina Grants & Leadership: Leads the ERC Synergy Project imPACT, chairs the Max Planck Society’s Chemistry, Physics, and Technology Section, and collaborates with institutions like Cornell and Google. Advises on policy issues related to technology and privacy. Labs/Teams: Distributed Systems Group at MPI-SWS, collaborations with Microsoft Research and MIT. Current team includes students and postdocs working on privacy, security, and distributed systems.

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'.

Jiannong CaoView profile

Professor

• Cloud and edge computing
• Parallel and distributed computing
• Big data analytics
• +2 more

Jiannong Cao is a Chair Professor and Director of the University Research Facility in Big Data Analytics at the Department of Computing, Hong Kong Polytechnic University. He has held various academic roles since 1990, including Assistant Professor at City University of Hong Kong and Lecturer at Australian universities. PhD in Computer Science, Washington State University (1990) MSc in Computer Science, Washington State University (1986) BSc in Computer Science, Nanjing University (1982) His research focuses on cloud and edge computing , parallel and distributed computing , and mobile computing , with significant contributions to wireless sensor networks (WSN) for structural health monitoring (SHM) and software-defined networking (SDN) for vehicular communications. Recent work includes WiFi-based non-invasive health monitoring systems and multi-user computation partitioning in mobile cloud environments. Dr. Cao’s publications demonstrate trends in WSN optimization , SDN architectures , and cognitive modeling for network embedding , with applications in smart healthcare , transportation systems , and industrial IoT . Ministry of Education Natural Science Award (2018) ACM Distinguished Member (2017) IEEE Fellow (2014) Best Paper Awards at IEEE DSAA, SMARTCOMP, WCNC He has mentored numerous researchers, including Linchuan Xu , Xuefeng Liu , and Weigang Wu , who have authored key publications in top venues like ACM WSDM and IEEE INFOCOM . His professional roles include chairing IEEE committees and serving on grant panels for the Hong Kong Research Grant Council.

• 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.

• 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.

Rafail OstrovskyView profile

Professor

• Algorithms
• Cryptography and Computer Security
• Theoretical Computer Science
• +3 more

Rafail Ostrovsky is a Professor of Computer Science and Mathematics at UCLA , affiliated with the Center for Information and Computation Security at the Henry Samueli School of Engineering and Applied Science. He earned his Ph.D. in Computer Science from MIT in 1992 under Silvio Micali. Research Focus: His work spans cryptography, algorithms, and theoretical computer science, emphasizing secure multi-party computation, zero-knowledge proofs, oblivious RAM, and high-dimensional data analysis. Applications include privacy-preserving data mining, systems security, and quantum cryptography. Article Trends: Recent publications address concurrent security protocols, robust secret sharing via expander graphs, and efficient multi-party computation. Topics intersect computational complexity, cryptographic reductions, and practical security implementations. Awards: Recipient of the 2018 RSA Conference Excellence in Mathematics Award , 2017 IEEE Fellow , and multiple IEEE/ACM honors. Holds 14 U.S. patents and over 290 refereed papers. Advising: Supervised 27 Ph.D. students, many now professors at top institutions. Served on 40+ program committees, including FOCS 2011 Chair. Labs: Leads the CICS research center, fostering interdisciplinary work in information security and cryptographic systems.

• Scientific Workflow Management
• Distributed Computing
• Numerical Linear Algebra
• +3 more

Wilfried Gansterer is a Professor at the Faculty of Computer Science, University of Vienna, leading the Theory and Applications of Algorithms research group. His work focuses on numerical algorithms, distributed computing, and machine learning, with notable contributions to graph neural networks and fault-tolerant systems. Active in projects such as Algorithmic Data Science for Computational Drug Discovery (2020–2028) and REPEAL (Resilience vs. Performance in Numerical Linear Algebra, 2016–2020). Research Interests: Dr. Gansterer’s expertise spans graph neural networks, matrix compression, adversarial defense mechanisms, and high-performance computing. His work addresses challenges in efficient computation, resilience against node failures, and optimizing distributed systems. Projects : Algorithmic Data Science for Computational Drug Discovery (2020–2028) REPEAL: Resilience vs. Performance in Numerical Linear Algebra (2016–2020) Verteiltes Rechnen (Distributed Computing, 2007–2014) Awards : 2023 Best Paper Award for work on Crossfire: An Elastic Defense Framework for Graph Neural Networks. Labs/Teams : Directs the Theory and Applications of Algorithms group, focusing on algorithmic innovation in distributed and high-performance computing environments.

• 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.

• 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.

• Edge Computing
• Fog Computing
• Cloud Computing
• +4 more

Dragi Kimovski is a Habilitated Assistant Professor in Distributed Systems at Klagenfurt University, Austria, focusing on Edge Computing and AI. He previously held roles at the University of Innsbruck and the University of Information Science and Technology in Macedonia. His research spans Edge/Fog/Cloud computing, multi-objective optimization, and high-performance computing. He has coordinated major projects like 6GContinuum and KärtnerFog, and led initiatives such as DataCloud and ASPIDE. His teaching includes courses on Distributed Computing, Cloud Computing, and IoT. He is the co-creator of the Carinthian Computing Continuum and maintains a blog on Edge AI World. His work emphasizes sustainable and efficient computing solutions for emerging technologies. Education: Not explicitly listed in the provided text. Research Interests: Edge Computing, Fog Computing, Cloud Computing, Multi-objective Optimization, High-Performance Computing, AI in Distributed Systems. His work addresses challenges in resource management, latency reduction, and scalability across heterogeneous environments, with applications in healthcare, IoT, and 6G networks. Projects: 6GContinuum (Coordinator): Focuses on AI services over 6G networks. KärtnerFog (Scientific Coordinator): Develops adaptive Fog infrastructures over 5G. DataCloud (WP5 Leader): Manages Big Data pipelines on the Computing Continuum. ASPIDE (Scientific Coordinator): Advances exascale programming models for data processing. Teaching: Klagenfurt University: Courses include Distributed Computing, IoT, Cloud Computing, and Advanced Programming. University of Innsbruck: Taught Advanced Parallel and Distributed Systems. University of Information Science and Technology: Courses in High-Performance Computing and Network Architectures. Labs/Teams: Co-created the Carinthian Computing Continuum, an automated SDN testbed for Edge computing research. Active in interdisciplinary teams addressing extreme data processing and sustainable computing.

• Distributed Systems
• Edge Computing
• Serverless Computing
• +4 more

Stefan Nastic is an Assistant Professor at the Technische Universität Wien (TU Wien), affiliated with the Faculty of Informatics and the Distributed Systems department. He serves as Curriculum Coordinator for the Master’s program in Distributed and Next Generation Computing, and is a Substitute Member of the Curriculum Commission for Informatics. His research focuses on distributed systems, edge computing, serverless computing, IoT, and smart cities. He holds a PhD in IoT cloud systems (2016) and a BSc (not explicitly stated). Key research contributions include frameworks for serverless edge-cloud continuum (e.g., HyperDrive, GoldFish), federated learning applications (e.g., adaptive human activity recognition), and IoT infrastructure governance (e.g., Polaris Scheduler). He leads projects like RapidREC (2023–2025) on supply chain optimization and participates in initiatives like TEADAL (2022–2025) for edge-cloud workflows. Publications span 30+ peer-reviewed articles in top venues like IEEE IoT, ACM, and IEEE Cloud. He supervises graduate students on stateful serverless functions, federated learning, and edge-cloud scheduling. His work addresses challenges in resource management, latency reduction, and scalable distributed systems.

Jeffrey KramerView profile

Professor

• Software engineering
• Distributed computing
• Requirements engineering
• +5 more

Professor Jeffrey Kramer is a distinguished academic at Imperial College London, where he currently serves as Professor in Distributed Computing within the Department of Computing, Faculty of Engineering. With a career spanning over four decades at Imperial College, he has held numerous leadership positions including Senior Dean (2009-2012), Dean of the Faculty of Engineering (2006-2009), and Head of the Department of Computing (1999-2004). Professor Kramer's research focuses on software engineering, particularly in distributed computing, requirements engineering, software architecture, and self-managing adaptive systems. His work on the Darwin Software Architecture led to commercial implementation by Philips in consumer television products. He has been a principal investigator in research projects developing the CONIC and DARWIN environments for distributed programming. His publication portfolio includes over 200 refereed journal and conference papers along with two influential books: 'Distributed Systems and Computer Networks' (1986) and 'Concurrency: State Models & Java Programs' (1999, 2nd ed. 2006). His most cited works address software architecture, dynamic reconfiguration, and adaptive systems, demonstrating a consistent research trajectory focused on foundational aspects of distributed software systems. FREng Fellow of the Royal Academy of Engineering (2008) ACM SIGSOFT Outstanding Research Award (2005, joint with Prof. Magee) ACM SIGSOFT Distinguished Service Award (2011) Editor-in-Chief of IEEE Transactions on Software Engineering (2006-2009) Most Influential Paper Award at ICSE 2003 IEE Informatics Premium prize (1998/99) Professor Kramer has served on over 50 international conference committees in the last decade and has delivered numerous keynote addresses globally. His industrial collaborations include work with BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft, and Philips. He has also served as an expert witness for major law firms and has been involved in numerous research collaborations and consulting engagements.