Find Academic Supervisors

Ioannis GkioulekasView profile

Assistant Professor

• Computational Imaging
• Computer Vision
• Computer Graphics
• +6 more

Ioannis Gkioulekas is an Assistant Professor at the Robotics Institute within Carnegie Mellon University's School of Computer Science, with a courtesy appointment in Electrical and Computer Engineering. He leads the Computational Imaging Lab at CMU, focusing on joint hardware-software approaches to develop advanced imaging systems. His research spans computational imaging, computer vision, and graphics, addressing challenges like non-line-of-sight imaging, 3D sensing, and adaptive optics. Research interests include: Computational imaging systems design Non-line-of-sight and single-photon imaging LiDAR, SONAR, and interferometry applications Physics-based and differentiable rendering Probabilistic modeling and Monte Carlo methods Recent publications (2019-2021) demonstrate strong focus on waveguides, light transport simulation, 3D sonar reconstruction, and computational tomography. Common themes include inverse problems, wave-based imaging, and differentiable simulation techniques bridging graphics and sensing. Current advising includes Master's student Neham Jain and affiliates Bakari Hassan, John Liu, Bailey Miller, Sreekar Ranganathan, and Arjun Teh. Past students include PhD graduates Arpit Agarwal and Shumian Xin, and Master's student Shirsendu Halder.

Marta Zofia KwiatkowskaView profile

Professor

• Automated verification
• Probabilistic model checking
• Temporal logics
• +3 more

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

Pontus JohnsonView profile

Professor

• Cybersecurity
• Enterprise Architecture
• Attack Simulation
• +3 more

Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.

Thomas E. DoyleView profile

Associate Professor

• Biomedical Engineering
• Human-Computer Interfacing (HCI)
• Machine Learning
• +6 more

Dr. Thomas E. Doyle is an Associate Professor at the McMaster School of Biomedical Engineering and the Department of Electrical & Computer Engineering at McMaster University. His research focuses on biomedical signal processing, human-computer interfacing (HCI), and machine learning applications for healthcare augmentation, rehabilitation, and enhancement. He holds a Ph.D. from Western Ontario, Canada, and teaches courses like COMPENG 2DI4 (Logic Design). His work bridges cybernetics and clinical applications, emphasizing AI-driven solutions for medical diagnostics, patient monitoring, and space exploration. Education: B.E.Sc, B.Sc, M.E.Sc, Ph.D. from Western Ontario, Canada Recent Projects: Developed AI systems for remote healthcare diagnostics (2023) Collaborated with NASA on medical emergency simulators for deep space missions (2017–2023) Led ventilator development efforts for local hospitals during the pandemic (2020) His research interests span machine learning for mental health diagnostics, trust quantification in medical AI, and extended reality (XR) for medical training. He emphasizes interdisciplinary approaches, integrating computational methods with healthcare challenges. Recent publications highlight applications in pediatric emergency care, chronic pain management, and reliable medical device design. Dr. Doyle actively engages in educational initiatives, including first-year engineering pedagogy and experiential learning programs. He has received funding for projects such as the Educating the Engineer of 2025 (EtE-25) awards and contributes to initiatives like the Digital & Smart Systems and Health & Bio-innovation research clusters at McMaster.

• Requirements Engineering
• Goal Modeling
• Conceptual Modeling
• +7 more

Sotirios Liaskos is an Associate Professor in the School of Information Technology at the Faculty of Science, York University. He is a leading researcher in requirements engineering and conceptual modeling, with a focus on goal models, empirical evaluation, and model-driven engineering. Research Interests: Requirements Engineering Goal and Conceptual Modeling Empirical Software Engineering Model-Driven Design and Automation Uncertainty and Decision-Theoretic Reasoning in Models Applications in Blockchain and Reinforcement Learning His recent work emphasizes the empirical validation of modeling constructs, the integration of decision theory into goal models, and the automated generation of secure workflows and AI training environments. He has led and co-authored numerous experimental studies on model comprehensibility and semantic quality. Publication Trends: His publications consistently appear in top venues like ER, RE, and iStar. The last five years show a strong trend toward empirical evaluation of modeling languages, decision-theoretic goal models, and applications of goal modeling in emerging domains such as blockchain and reinforcement learning simulation design. Scientific Contributions: Developed frameworks for empirical evaluation of modeling language ontologies (Peira framework). Advanced decision-theoretic approaches to goal modeling under uncertainty. Pioneered model-driven methods for generating blockchain simulators and reinforcement learning environments. Conducted foundational empirical studies on the comprehensibility of contribution links and visualization alternatives in goal models. Advising and Collaboration: He has advised several researchers including Ibrahim Jaouhar, Wisal Tambosi, Mehrnaz Zhian, and Saba Zarbaf. He maintains a highly collaborative research profile with frequent co-authorship with John Mylopoulos, Shakil M. Khan, and other international researchers. He has served as a co-editor for multiple iStar workshop proceedings, indicating leadership in the goal-oriented requirements engineering community. Labs and Teams: While no specific lab name is mentioned, his work is closely associated with research groups focused on requirements engineering and conceptual modeling, likely within York University’s software engineering research cluster. His collaborations span institutions in Canada, Europe, and beyond.

Harish RavichandarView profile

Assistant Professor

• Robotics
• Machine Learning
• Human-Robot Interaction
• +2 more

Harish Ravichandar is an Assistant Professor at the School of Interactive Computing , Georgia Institute of Technology, and a core faculty member of the Institute for Robotics and Intelligent Machines (IRIM) . He leads the Structured Techniques for Algorithmic Robotics (STAR) Lab , focusing on structured computational frameworks and learning algorithms with inductive biases to enhance robot efficiency, reliability, and self-sufficiency in human-robot collaboration and complex applications like dexterous manipulation and multi-agent coordination. His research bridges robot learning , human-robot interaction , and multi-agent systems , emphasizing stable, frugal, and safe skill acquisition from human demonstrations. Key themes include intention inference , trajectory optimization , and heterogeneous team coordination , often leveraging Koopman operators , hypernetworks , and graph-based methods . Scientific recognition includes the NSF CAREER Award , IEEE MRS Best Paper Award , and Georgia Tech’s College of Computing Outstanding Post-Doctoral Research Award . His work also received the ASME DSCC Best Student Paper Award and P&W Institute Graduate Fellowship . Harish’s educational background includes a Ph.D. in Electrical and Computer Engineering from the University of Connecticut (2018) , an M.S. from the University of Florida (2014) , and a B.E. in Instrumentation and Control Engineering from Anna University (2012) . He previously held postdoctoral and research scientist roles at Georgia Tech before his current position.

Ingo ScholtesView profile

Professor

• Network Science
• Graph Neural Networks
• Computational Social Science
• +4 more

Prof. Dr. Ingo Scholtes is Chair of Machine Learning for Complex Networks at Julius-Maximilians-Universität Würzburg's Center for Artificial Intelligence and Data Science (CAIDAS). His research spans network science, graph machine learning, and computational social science, with applications in software engineering, ecology, biology, and physics. He received a Juniorfellowship from the German Informatics Society (2014) and an SNSF Professorship (CHF 1.5Mio, 2018). Current affiliations: JMU Würzburg (since 2021), University of Zurich (2018-2024), Bergische Universität Wuppertal (2019-2021) Research focus: Higher-order network modeling, temporal graph analysis, AI for collaborative systems, causality-aware machine learning His recent publications demonstrate strong trends in temporal network analysis , graph neural networks for time-series, and higher-order models across software engineering and social science domains. He co-chairs multiple international workshops on complex networks and serves as associate editor for EPJ Data Science and Advances in Complex Systems. Key scientific contributions: Foundational work on higher-order network models published in Nature Physics Methodological innovations in temporal network visualization (HOTVis) and path-based analysis (pathpy) As both educator and organizer, he leads the Computational Social Science Section at GI e.V., mentors across disciplines, and develops tools like git2net for collaboration analysis. His work bridges theoretical foundations with practical applications in network science.

Joseph A. CampbellView profile

Assistant Professor

• Explainable AI
• Robotics
• Machine Learning
• +3 more

Joseph A. Campbell is an Assistant Professor in the Department of Computer Science at Purdue University, leading the Collaborative AI for Machines and People (CAMP) Lab. He holds a Ph.D., M.S., and B.S. in Computer Science and Computer Engineering from Arizona State University. Before academia, he worked as a software engineer for five years. Prior to Purdue, he was a Postdoctoral Fellow at Carnegie Mellon University's Robotics Institute. His research focuses on explainable machine learning and robotics, particularly how agents use explanations for self-improvement and decision-making. Key areas include theory of mind in multi-agent systems, lifelong learning, and interpretable transfer learning. His work bridges robotics and AI, with applications in human-robot interaction and prosthetic control. Notable publications include advancements in reinforcement learning with language models, multi-agent collaboration frameworks, and methods for enhancing state estimation in robots. His research has been presented at top conferences like NeurIPS, EMNLP, and CoRL. Dr. Campbell maintains an active GitHub profile (joe-campbell) with repositories such as Interaction Primitives for robotics applications. His lab, CAMP, explores AI systems that collaborate effectively with humans and other machines.

Lior S. PachterView profile

Professor

• Genomics
• Computational Biology
• RNA Biology
• +4 more

Lior S. Pachter is the Bren Professor of Computational Biology and Computing and Mathematical Sciences at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1994) and a Ph.D. from MIT (1999). His affiliations include the Division of Biology and Biological Engineering at Caltech. Roles: Faculty member, Principal Investigator Departments: Computational Biology and Computing and Mathematical Sciences Research interests span computational and experimental genomics, with a focus on single-cell sequencing technologies and RNA biology. His lab develops tools like kallisto, sleuth, and gget for genomic analysis. Key contributions include methods for quantifying RNA-Seq data and analyzing high-dimensional genomic datasets. Publications highlight advancements in spatial genomics, bioinformatics tools, and genomic data retrieval. His work emphasizes open-source software, with repositories hosted on GitHub.

Björn BrandenburgView profile

Researcher

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +5 more

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.

Paolo TonellaView profile

Professor

• Software Engineering
• Software Testing and Analysis
• Web Engineering
• +4 more

Paolo Tonella is a Full Professor and Director of the Software Institute at the Faculty of Informatics, Università della Svizzera italiana (USI) in Lugano, Switzerland. He also holds an Honorary Professorship at University College London (UK) and previously led the Software Engineering group at Fondazione Bruno Kessler (Italy). His research focuses on software testing, analysis, and AI-driven systems. He has authored over 200 peer-reviewed papers and 100 journal articles, with an H-index of 72. He teaches courses in Data and Software Engineering and Informatics, including Information Modeling, Probability & Statistics, and Knowledge Search. Key contributions include foundational work on web application testing (ICSE MIP award), evolutionary testing techniques (eToc/EvoSuite tools), and reverse engineering of object-oriented systems. He led the ERC-funded PRECRIME project on anticipatory testing. His recent work addresses AI dependability, autonomous systems testing, and deep learning fault analysis. Scientific awards include the ICSE MIP Award (2001) and ERC Advanced Grant (2018). He has served on editorial boards for major journals like IEEE Transactions on Software Engineering and ACM TOSEM. Current roles include leadership in the Software Institute and organizing the SIESTA summer school.

Saumya DebrayView profile

Professor

• Compilers
• Program Analysis
• Code Optimization
• +5 more

Saumya Debray is a Professor at the Department of Computer Science , University of Arizona , with research interests in Compilers , Program Analysis and Optimization , and Programming Language Implementation . Their work bridges theoretical and applied computer science, focusing on security implications of program transformations and compiler-assisted system optimization. Education: Ph.D., The State University of New York at Stony Brook (1986). Contact: Office: GS 735 | Phone: 520-621-4527 | Email: debray@cs.arizona.edu. Research Themes: Debray’s research spans three decades, with core contributions in: JIT Compiler Analysis: Bug localization, dynamic code generation, and exploitation frameworks. Code Obfuscation & Stylometry: Evading detection through optimization-based obfuscation. Malware Analysis: Deobfuscation techniques, taint analysis, and dynamic defense modeling. Binary Rewriting: Energy optimization, code compaction, and kernel specialization. Their work intersects compiler design , cybersecurity , and system optimization , with applications in executable analysis , malware detection , and undergraduate CS education .

Henry HoffmannView profile

Professor

• Self-aware & Adaptive Computing
• Computer Systems
• Computer Architecture
• +6 more

Henry Hoffmann is a Professor and Liew Family Chair in the Department of Computer Science at the University of Chicago. His research focuses on self-aware computing systems that adapt to meet goals like power efficiency, performance, and security. He leads the SEEC project and has contributed to advancements in computer architecture, embedded systems, and quantum computing. Hoffmann received the PECASE (2019), DOE Early Career Award (2015), and was inducted into the Samsung Hall of Fame for discovering vulnerabilities in SmartTVs. He holds a PhD from MIT (2013) and has co-founded Config Dynamics (2019). His work bridges control theory, machine learning, and traditional computer systems to create adaptive solutions for modern computing challenges. Education: PhD in Electrical Engineering and Computer Science from MIT (2013), SM (2003), and B.S. (1999) with highest honors from UNC Chapel Hill. Professional experience includes roles at Tilera Corporation and MIT Lincoln Laboratory. Research Interests: Self-aware systems, adaptive resource management, quantum computing optimization, and cybersecurity. His SEEC framework enables systems to autonomously adapt to constraints like energy and performance. Recent work explores applying adaptive techniques to AI/ML models for energy-efficient inference and security. Awards: Over $19M in research funding, 100+ publications, and leadership roles in NSF Expedition EPiQC (quantum computing). Named Chair of UChicago CS Department (2023-2024). Labs/Teams: Systems Group, EPiQC (quantum computing), and CERES (unstoppable computing systems). Current students include Jerry Ding and Ryien Hosseini. Notable alumni include Yi Ding (now faculty at Purdue) and Nikita Mishra.

Bimlesh WadhwaView profile

Associate Professor

• Software Engineering
• Human-Computer Interaction (HCI)
• Computing Education
• +4 more

Dr. Bimlesh Wadhwa is an Associate Professor in the Department of Computer Science at the National University of Singapore (NUS) and serves as Assistant Dean for Student Life at Tembusu College. She holds dual affiliations as a Residential Fellow at Tembusu College and an active member of the School of Computing's academic community. Her work bridges software engineering, human-computer interaction (HCI), and computing education. Dr. Wadhwa's research focuses on gender issues in HCI, software design quality, and digital well-being. She has pioneered initiatives like the Code for Community program to bring computing education to underserved groups. Her pedagogical contributions include developing courses on object-oriented design, software engineering principles, and interaction design. She actively engages with professional communities through roles such as Faculty Representative at the Singapore Computer Society Student Chapter and advisor to the Computing Club at NUS. Her recent work addresses pressing societal challenges like technology-facilitated sexual violence and integrates AI into educational contexts. She has organized major competitions including CodeXtreme and the Singapore Science and Engineering Fair, fostering innovation among students. Her interdisciplinary collaborations span healthcare applications, smart city technologies, and educational equity initiatives. Dr. Wadhwa’s scholarly contributions include over 80 publications in top venues such as FSE, CHI, and IEEE conferences. She has co-edited book chapters for Springer and Wiley on HCI and informatics, reflecting her commitment to advancing both technical and societal dimensions of computing. In addition to her academic roles, she leads MakerLab initiatives and contributes to national educational policies on computational thinking. Her work emphasizes bridging academia-industry gaps through projects like the GEAR mobile game-assisted rehabilitation system and cloud service brokerage frameworks.

Debdeep PatiView profile

Professor

• Machine Learning
• Bayesian Statistics
• High Dimensional Data Analysis
• +3 more

Debdeep Pati is a Professor in the Department of Statistics at the University of Wisconsin-Madison, affiliated with the School of Computer, Data & Information Sciences. His research focuses on Bayesian methods, high-dimensional data analysis, machine learning, and computational statistics, with applications in health data and network analysis. He has contributed to approximate Bayesian computation, graphical models, and fair algorithms. Key research interests include Bayes theory in high dimensions, hierarchical modeling, efficient Bayesian computation, and real-time tracking algorithms. His work bridges theoretical advancements with practical applications in areas like electronic health records and nuclear physics constraints. Recent work emphasizes Wasserstein-guided nonparametric Bayes, fair clustering algorithms, and variational inference in singular models. He has developed software for covariate-dependent Gaussian graphical modeling, published in ACM Transactions on Mathematical Software . Grants: NSF proposal on Wasserstein-guided nonparametric Bayes, NIH R01/R21 grants on periodontal disease and diabetes comorbidity. Advising: No named advisees listed but actively supervising research in Bayesian computation and high-dimensional statistics. Awards: 2024 JASA reproducibility award for 'Covariate-Assisted Bayesian Graph Learning.' He is an Associate Editor for Journal of Computational and Graphical Statistics and has organized workshops at Banff International Research Station (BIRS) and the Institute for Mathematics and its Applications (IMSI).