Find Academic Supervisors

Mithuna S. ThottethodiView profile

Professor

• Computer Architecture
• Interconnection Networks
• Distributed Systems
• +7 more

Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.

• Computer Security
• Cryptography
• Privacy
• +4 more

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

• Quantum Computation
• Quantum Algorithms
• Computational Complexity
• +3 more

Ashley M R Montanaro is a Professor of Quantum Computation at the School of Mathematics, University of Bristol . Active in quantum computing research since at least 2014, they lead projects at the intersection of quantum algorithms , computational complexity , and quantum information theory , affiliated with the Bristol Quantum Information Institute. Research interests focus on quantum algorithm design , computational complexity analysis , and quantum simulation . Key work includes developing variational quantum algorithms for phase transition detection, Hamiltonian simulation techniques, and quantum-classical hybrid methods for solving complex problems in physics and optimization. Recent publications demonstrate expertise in: Quantum phase diagram simulation with low-depth circuits Quantum speedups for constraint satisfaction problems Quantum communication complexity of machine learning tasks Quantum-enhanced optimization heuristics Hamiltonian simulation with time-dependent product formulas Quantum algorithm complexity analysis Scientific awards include: EPSRC Fellowship (2014-2019) - "New insights in quantum algorithms and complexity" Active in quantum software development through projects like: "Quantum Algorithms from Foundations to Applications" (ERC-2018-COG) "Quantum Computing and Simulation Hub" (2019-2024) "Prosperity Partnership in Quantum Software" (2019-2023)

Jim SmithView profile

Professor

• Interactive Artificial Intelligence
• Statistical Disclosure Control
• Privacy Leakage from AI Models
• +7 more

Jim Smith is a Professor in Interactive Artificial Intelligence at the University of the West of England (UWE), Bristol, affiliated with the School of Computing and Creative Technologies and the Department of Computer Science and Creative Technologies. He serves as Director of the Computer Science Research Centre and leads the AI@UWE theme. His research is supported by UKRI, Innovate UK, and partnerships with organizations including Health Data Research UK, Office for National Statistics, NHS Scotland, and DSTL. University: University of the West of England School: School of Computing and Creative Technologies Department: Department of Computer Science and Creative Technologies Role: Professor in Interactive Artificial Intelligence Leadership: Director, Computer Science Research Centre Research Interests : Jim Smith's work focuses on Interactive Artificial Intelligence, particularly at the intersection of AI and privacy preservation when using sensitive data for public good. His research includes statistical disclosure control, privacy leakage from AI models, evolutionary computation, machine learning, and systems that learn through human interaction or self-adaptation. He explores how AI can automate privacy checks in research outputs and assess vulnerabilities in trained models. Recent Publications : His recent work spans AI privacy in trusted research environments (e.g., SACRO, SDC-Reboot), dialogue act classification, human-robot interaction, and visualization of deep learning models. Themes include privacy-preserving AI, automated disclosure control, interactive machine learning, and neuromorphic computing. Machine Learning & Privacy Evolutionary Computation Interactive AI Systems Human-Computer Interaction Statistical Disclosure Control Federated Learning Security Scientific Awards : No specific awards are mentioned in the provided texts. Advising and Grants : He currently supervises PhD students on topics including spatio-temporal air quality modeling, federated learning privacy, and threat detection in mobile networks. He leads Innovate UK and UKRI-funded projects such as SACRO and SDC-Reboot, focusing on AI-driven solutions for data confidentiality in public sector research. Interactive Machine Learning for Claim Settlement (Innovate UK) SDC-Reboot (DARE UK/Health Data Research UK) Threat Identification in Mobile Networks (Ribbon Communications) Labs and Teams : He leads the AI@UWE initiative and the Computer Science Research Centre at UWE. His work involves collaboration through DARE UK and open-source development via the AI-SDC GitHub organization, which hosts tools from SACRO and GRAIMATTER projects.

Cyrille ArthoView profile

Associate Professor

• Software Engineering
• Formal Methods
• Cybersecurity
• +5 more

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

LEE Wee SunView profile

Professor

• Machine Learning
• Planning Under Uncertainty
• Approximate Inference
• +3 more

LEE Wee Sun is a Professor in the Department of Computer Science at the National University of Singapore (NUS), where he previously served as Head of Department, Vice Dean of Undergraduate Studies, and Vice Dean of Research. His academic journey began with a B.Eng. in Computer Systems Engineering from the University of Queensland (1992) and a Ph.D. from the Australian National University (1996), followed by research roles at the Australian Defence Force Academy and MIT. Education: Ph.D., Australian National University, Canberra, Australia (1996) B.Eng. in Computer Systems Engineering, University of Queensland, Brisbane, Australia (1992) Research Focus: Professor Lee pioneers work in Machine Learning , Planning Under Uncertainty , and Approximate Inference , with emphasis on integrating AI subfields for holistic reasoning. His current projects include "Learning to Decompose for Reasoning and Planning" (enhancing LLMs via self-supervised problem decomposition) and "Learning to Reason with Visual-Linguistic Inputs" (unifying vision, language, and reasoning in single architectures). Publication Trends: Recent work (2023-2025) centers on bridging LLMs with classical AI techniques, featuring breakthroughs in uncertainty quantification, multi-task optimization, and graph-based reasoning. Key themes include sparsity-aware vehicle routing, epistemic uncertainty for reliable LLMs, and differentiable neural solvers for combinatorial problems. Awards: IJCAI-JAIR Best Paper Prize (2022) RSS Test of Time Award (2021) RoboCup Best Paper Award (IROS 2015) HRATC 1st Place (2015) IPPC POMDP Track 1st Place (2011, 2014) UAI Google Best Student Paper (2014) Semeval-1 1st/2nd Place (2007) J.G. Crawford Prize (ANU 1996) Leadership & Service: As steering committee chair for ACML and area chair for NeurIPS/ICML/AAAI/IJCAI, Professor Lee shapes global AI discourse. His administrative roles at NUS and collaborations with MIT/Singapore-MIT Alliance demonstrate commitment to advancing AI education and research infrastructure. While student advisees aren't listed, his leadership positions imply extensive mentoring. Research Ecosystem: His work drives NUS's AI initiatives including Knowledge@Computing projects on reasoning frontiers. Current efforts focus on making AI systems robust through uncertainty-aware planning and multi-modal integration, with applications in robotics, verification systems, and combinatorial optimization.

Liangming PanView profile

Assistant Professor

• Natural Language Processing
• Large Language Models
• Machine Learning
• +3 more

Liangming Pan is an Assistant Professor at the University of Arizona's College of Information Science. His research focuses on building trustworthy large language models (LLMs) with an emphasis on logical reasoning, truthfulness, and safety. He holds a PhD in Computer Science from the National University of Singapore (2022), a Master's from Tsinghua University, and a Bachelor's from Beihang University. Education : PhD in Computer Science, National University of Singapore (2022) Master of Engineering in Computer Science, Tsinghua University (2017) Bachelor of Engineering in Computer Science, Beihang University (2014) Research Interests : Dr. Pan's work centers on enhancing LLMs' reliability through: Logical reasoning mechanisms to ensure faithful deductions Truthfulness verification to combat misinformation Safety protocols to mitigate societal harm Key Contributions : Developed TART, an open-source framework for explainable table-based reasoning Created benchmarks like SCITAB and FactCheck-Bench for evaluating LLMs Advanced techniques for knowledge editing and causal reasoning Awards : Best Paper Runner-Up at NeurIPS Table Representation Workshop (2024) Area Chair Award for Question Answering (IJCNLP-AACL 2023) Service & Outreach : He serves as an Area Chair for EMNLP (2024), COLING (2025), and ACL (2024). He has delivered invited talks at Tsinghua University, Peking University, and other institutions.

Gene CoopermanView profile

Professor

• High-Performance Computing
• Computer Systems
• Transparent Checkpointing
• +4 more

Gene Cooperman is a Professor at the Khoury College of Computer Sciences at Northeastern University, with an affiliation in the College of Engineering. His research focuses on high-performance computing (HPC), transparent checkpoint-restart systems, and model checking. He leads the High Performance Computing Laboratory, where he explores checkpointing technologies like DMTCP, MANA for MPI, and CRAC for CUDA, aiming to enhance HPC workflows on supercomputers such as NERSC's Perlmutter. His work bridges distributed computing, parallel algorithms, and system software to address challenges in fault tolerance, scalability, and resource management. Cooperman has advised 10 PhD students and co-authored over 125 refereed publications, contributing to projects like Geant4-MultiThreaded and Roomy for disk-based computation. His teaching includes courses on computer systems and HPC seminars. Education: Background in computational algebra and parallel computing, transitioning to HPC systems and checkpointing. Research Themes: Transparent checkpointing, MPI agnostic solutions, CUDA integration, and HPC resource optimization. Recent articles emphasize MPI checkpointing, reversible debugging (FReD), and CUDA support, reflecting trends in distributed and GPU-accelerated systems. His grants include NSF, NERSC/DOE, and MemVerge funding. Cooperman collaborates with institutions like CERN and NERSC, advancing applications in particle physics simulations and supercomputing. Current students include Aayushi Gautam, Jiajun Cao, Rohan Garg, and Twinkle Jain.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +5 more

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

• Finite Model Theory
• Graph Structure Theory
• Computational Complexity
• +3 more

Kord Eickmeyer is a Lecturer at Technische Universität Darmstadt in the Department of Mathematics, specializing in the mathematical logic group. He holds a PhD in mathematics from Humboldt University Berlin and has held postdoctoral positions at TU Darmstadt (2011–2017) and the National Institute of Informatics in Tokyo (2011–2013). His research focuses on finite model theory, graph structure theory, and computational complexity, particularly in descriptive and parameterized complexity, as well as randomization and derandomization techniques. Research interests include exploring the boundaries of computational complexity through logical frameworks, analyzing graph structures for efficient algorithm design, and investigating the role of randomness in computation. His work bridges theoretical computer science and mathematical logic, with applications in algorithm design and formal methods. Publications span topics from model-checking on ordered structures to gap-planar graphs and randomized logics. Collaborations include prominent institutions like the National Institute of Informatics and Humboldt University Berlin. No scientific awards are explicitly listed, but his extensive academic contributions reflect a strong research trajectory. Advising and grants are not detailed in the provided text, though his academic career includes supervision roles during his PhD and postdoctoral phases. His involvement with the mathematical logic group at TU Darmstadt highlights collaborative research efforts in foundational areas of computer science and mathematics.

Calin BeltaView profile

Professor

• Control Theory
• Cyber-Physical Systems
• Formal Methods
• +5 more

Calin Belta is the Brendan Iribe Endowed Professor of Electrical and Computer Engineering and Computer Science at the University of Maryland, College Park. He is affiliated with the Institute of Systems Research (ISR) and the Maryland Robotics Center (MRC), and holds a Research Professor position at Boston University's College of Engineering. His work bridges control theory, formal methods, and machine learning to ensure safety in cyber-physical and data-driven systems, with applications in robotics, autonomous driving, and systems biology. Research Interests: Focus on dynamics and control theory, formal methods for verification and control synthesis, robotics, autonomous systems, and synthetic biology. Recent projects include PROGENIC (collaborating with MIT, UChicago, and UDelaware) and safety-critical control for heterogeneous robotic teams. Key Achievements: General Chair of the 2025 MRC Symposium, recipient of AFOSR Young Investigator Award (2008), NSF CAREER Award (2005), and IEEE Fellow. His work on formal methods for autonomous systems has led to impactful tools for safety assurance in robotics and AI. Grants: NSF EFRI PROGENIC grant (2024), multiple industry partnerships. Advising: Mentored students like Wenliang Liu (PhD 2024, now at Amazon), and collaborator Marius Kloetzer (shared HSCC Test of Time Award 2025). Labs/Teams: Maryland Robotics Center, Institute for Systems Research, and Boston University collaborations.

Muhammad RashedView profile

Assistant Professor

• Electronic Design Automation (EDA)
• In-Memory Computing
• Artificial Intelligence Acceleration
• +5 more

Dr. Muhammad Rashed is an Assistant Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington, within the College of Engineering. He holds a Ph.D. in Computer Engineering from the University of Central Florida (2024) and a B.S. in Electrical and Electronics Engineering from Bangladesh University of Engineering and Technology (2015). Ph.D. : Computer Engineering, University of Central Florida, 2024 B.S. : Electrical and Electronics Engineering, Bangladesh University of Engineering and Technology, 2015 His research focuses on electronic design automation (EDA), in-memory computing, AI acceleration, and sustainable computing. He explores novel computing paradigms to overcome the limitations of traditional architectures, particularly in data-intensive applications such as AI and scientific computing. His work emphasizes hardware-software co-design and leveraging emerging non-volatile memories for energy-efficient processing. The 15 most recent publications highlight a consistent focus on in-memory computing, particularly in path-based and flow-based architectures, logic synthesis, and AI acceleration. Key themes include optimization, fault tolerance, verification, and the use of advanced data structures like sentential decision diagrams. His work is published in top-tier venues such as DAC, ICCAD, ASP-DAC, and IEEE/ACM journals. Scientific Awards: UTA CARES Grant for OER Creation Research Experiences for Undergraduates (REU) Grant Alireza Seyedi Doctoral Research Innovation Endowed Scholarship David T. & Jane M. Donaldson Memorial Scholarship IEEE/ACM William J. McCalla ICCAD Best Paper Award Nomination Best Research Video Award, Design Automation Conference (DAC) Dr. Rashed advises several graduate and undergraduate students in the NextGen Computing Lab and is involved in research grants including the UTA CARES Grant and REU funding. He actively contributes to academic service through roles such as conference TPC member, journal reviewer (e.g., IEEE TCAD, ACM TODAES), and committee participation in the department and college. His lab, the NextGen Computing Lab, is dedicated to building scalable, energy-efficient computing systems for next-generation AI and scientific workloads, aligning with national initiatives in advanced computing.

Elette BoyleView profile

Associate Professor

• Cryptography
• Computer Security
• Coding Theory
• +7 more

Elette Boyle is an Associate Professor at Reichman University (IDC Herzliya) and a Senior Scientist at NTT Research . She holds a Ph.D. in Mathematics from MIT (advised by Shafi Goldwasser and Yael Tauman Kalai) and an undergraduate degree from Caltech . Education Ph.D. in Mathematics, MIT B.S. in Mathematics, Caltech Her research focuses on cryptographic solutions for secure data processing , particularly in secure multi-party computation , function/homomorphic secret sharing , and distributed point functions . Recent work explores topology-hiding communication , memory checking complexity , and sublinear-communication MPC . Key trends in her publications include: Advancements in Function Secret Sharing for branching programs and sparse vectors. Efficient Secure Multi-Party Computation protocols with preprocessing. Information-theoretic and computational Topology-Hiding Broadcast schemes. Optimized Oblivious Transfer with constant computational overhead. Scientific Awards European Research Council (ERC) Award Israeli Science Foundation (ISF) Grant United States Air Force Office of Scientific Research (AFOSR) Grant Google Research Scholar Award International Association for Cryptologic Research (IACR) Recognition As Director of the Foundations & Applications of Cryptography (FACT) Research Center , she leads collaborative work with institutions like Technion Israel , Cornell University , and NTT Research . Her students include Pierre Meyer (Ph.D.) , Matan Hamilis (Ph.D.) , and D'or Banon (MSc.) .

John HaleView profile

Professor

• Cyber security
• Bioinformatics
• High performance computing
• +6 more

John Hale, Ph.D., is a Professor and Chair of Computer Science at The University of Tulsa's Tandy School of Computer Science, where he holds the Tandy Endowed Chair in Bioinformatics and Computational Biology. He is a founding member of the TU Institute of Bioinformatics and Computational Biology (IBCB) and a faculty research scholar in the Institute for Information Security (iSec). Education: Ph.D., Computer Science, The University of Tulsa (1997) M.S., Computer Science, The University of Tulsa (1992) B.S., Computer Science, The University of Tulsa (1990) Dr. Hale's research spans cybersecurity , bioinformatics , cyber-physical systems , and applied formal methods . His work focuses on neuroinformatics, cyber trust, attack modeling, secure software development, and information privacy. Recent publications highlight trends in large-scale graph analysis for cybersecurity, attack graph generation on high-performance computing clusters, and security frameworks for nuclear reactor control systems. His research also explores hybrid attack graph modeling, reflective deception strategies, and compliance methods for cyber-physical infrastructures. Scientific Awards: 2000 National Science Foundation CAREER Award Dr. Hale has advised numerous research projects and received funding from the U.S. Air Force, Army, NSF, NIH, DARPA, NSA, and NIJ. He has testified before Congress on cybersecurity and holds a patent for anti-piracy technology. His lab work includes developing cyber-physical testbeds and science DMZ security solutions.

Jingwen ZhangView profile

Associate Professor

• Health Communication
• Social Influence
• Digital Health Interventions
• +3 more

Jingwen Zhang is an Associate Professor in the Department of Communication at the University of California, Davis. Her work focuses on health communication, social influence, and innovative online interventions. She holds a Ph.D. from the Annenberg School for Communication at the University of Pennsylvania, with previous degrees from Zhejiang University and Clemson University. Her research explores digital health interventions, medical misinformation, and global health communication. Education Ph.D., Communication, University of Pennsylvania (2016) M.A., Communication, University of Pennsylvania (2013) M.A., English, Clemson University (2011) B.A., Media and International Culture, Zhejiang University (2009) Research Interests Zhang’s work bridges health promotion and technology, emphasizing: AI-driven chatbots for behavior change (e.g., sleep health, physical activity) Social media’s role in vaccine hesitancy and misinformation Cross-cultural health communication strategies Online networks for public health interventions Recent Article Trends Her recent work highlights: AI chatbots in health promotion targeting marginalized groups Fact-checking strategies and public engagement Cultural dynamics of vaccine hesitancy Media effects on health behavior during crises Awards Chinese Government Award for Outstanding Students Abroad (2016) Russell Ackoff Doctoral Student Fellowship (2015) Annenberg National Health Communication Study Grant (2013) Teaching & Engagement Zhang teaches courses on persuasion theories and health communication. Her work with UNICEF informs global health communication strategies. She actively designs interventions addressing HIV/AIDS, reproductive health, and pandemic response.