Find Academic Supervisors

Amitabha BagchiView profile

Professor

• Data Algorithmics
• Probability and Networks
• Theoretical Computer Science
• +7 more

Amitabha Bagchi is a Professor in the Department of Computer Science and Engineering at IIT Delhi. His research spans data algorithmics, probability, networks, and theoretical computer science, with applications in distributed systems, social networks, and AI-driven platforms. He has published extensively in leading venues such as SIGMOD, VLDB, ICDE, AAAI, and KDD, often collaborating with students and researchers on problems involving graph algorithms, fairness, and large-scale data analysis. Research Interests: His primary research interests include Data Algorithmics, Probability and Networks, Theoretical Computer Science, Distributed Algorithms, Graph Algorithms, and Machine Learning Theory. He investigates algorithmic foundations for real-world problems such as food delivery optimization, social network analysis, and efficient data structures for streaming and large graphs. Publication Trends: Recent publications focus on fairness in gig economy platforms, efficient solvers for graph Laplacians, generalization in neural networks, and temporal graph querying. His work combines theoretical rigor with practical impact, often involving GPU acceleration, distributed computing, and data-aware algorithm design. Scientific Service: Editor, Algorithms (2020–present) Editor, Journal of Discrete Algorithms , Elsevier (2006–2018) Guest Editor, special issue on Algorithms for Shortest Paths in Dynamic and Evolving Networks , Algorithms (2021) Volume Editor for proceedings of ESA, ATMOS, COCOON, and others Conference Leadership: He has served on numerous program committees and as chair for conferences including ESA (Engineering Track, 2016), ATMOS (2020), and ICALP (2019). His involvement spans algorithmic engineering, transportation optimization, and theoretical computer science forums. Teaching: He currently teaches COL863: Special Topics in Theoretical Computer Science on concentration inequalities and their applications. He has previously taught advanced courses in algorithms and data structures.

Michael CarbinView profile

Assistant Professor

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Osbert BastaniView profile

Associate Professor

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +10 more

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

Teboho MojaView profile

Clinical Professor

• Higher Education Policy
• International Education Reform
• Equity in Education
• +3 more

Teboho Moja is a Clinical Professor of Higher Education at New York University's Steinhardt School, holding concurrent roles as an Extraordinary Professor at the University of the Western Cape and a Visiting Research Fellow at the University of Pretoria. She has served as an Executive Director under President Mandela's administration, leading the National Commission on Higher Education, which shaped South Africa's post-apartheid reforms. Her research focuses on higher education policy, equity in education systems, and international development in Africa. She has been honored with the Martin Luther King Jr. Faculty Award and the National Research Foundation Lifetime Achiever Award, among others. Education: She holds an Honorary Doctorate in Education from the University of Pretoria (2020). Her academic contributions include over 50 peer-reviewed publications and keynote addresses at global conferences. She has advised governments and international bodies such as UNESCO and the Councils of Universities in South Africa. Research Interests: Dr. Moja's work emphasizes equitable access to education, international partnerships in higher education, and the role of philanthropy in African universities. She explores how global institutions influence policy reforms, particularly in transitional justice contexts and post-colonial education systems. Her recent publications analyze the relevance of university rankings in Africa and collaborative models between U.S. foundations and African institutions. Awards: Martin Luther King, Jr. Faculty Award (2019) National Research Foundation Lifetime Achiever Award (2019) Women in International Education Award (2019) Graduate Students Star Award (2019) Honorary Doctorate in Education (University of Pretoria, 2020) Advising and Grants: She has led national policy commissions, advised education ministers, and contributed to international bodies. Her work bridges academia and policy, with a focus on systemic reforms and inclusive education models. She has designed field-based courses on South Africa's educational reforms and global perspectives in Indian higher education. Professional Networks: She has held visiting professorships at the Universities of Oslo, Tampere, and Hong Kong. She chairs multiple international advisory boards and collaborates with global scholars on projects addressing equity and development in education.

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +7 more

David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).

Asaf CidonView profile

Associate Professor

• Software Systems
• Storage Systems
• Machine Learning
• +4 more

Asaf Cidon is an Associate Professor at Columbia University, jointly affiliated with the Department of Electrical Engineering and Computer Science, and a member of the Data Science Institute. His research focuses on software systems , storage , large-scale machine learning , and cybersecurity . Stanford University - PhD in Electrical Engineering Stanford University - MS in Electrical Engineering Technion - BS in Computer and Software Engineering His work in distributed storage systems has been commercialized by companies such as Facebook, Tibco, and Rubrik. He has led projects like Sentinel and Forensics during his industry career. Recent publications highlight advancements in software-based radiation protection (ASPLOS'26), PCIe pooling with CXL (HotOS'25), and AI phishing detection (IMC'25). These reflect his expertise in system architecture , security , and networking . Scientific recognitions include best paper awards at OSDI, Usenix Security, CIDR, and ATC, along with NSF CAREER and ARO Young Investigator Awards . His papers Cookie Monster (SOSP'24) and Chablis (CIDR'24) received notable accolades. He has mentored numerous PhD and Master's students , including Edward Guo, Harry Wang, and Teng Jiang, many of whom now hold roles at Google, Meta, Amazon, and academic institutions. His lab at Columbia is actively recruiting CS and EE PhD students. Prior to Columbia, he founded and led the startup Sookasa to acquisition and served as Senior Vice President of Email Protection at Barracuda Networks , managing a $200M business with 100 engineers.

Hyesoon KimView profile

Professor

• Computer Architecture
• GPU
• Compilers and Runtime Systems
• +3 more

Hyesoon Kim is a Professor at the Georgia Institute of Technology , affiliated with the College of Computing and leading the HPArch research group . She co-directs the Center for Research into Novel Computing Hierarchies (CRNCH) . Her research focuses on Computer Architecture , GPU , Compilers and Runtime Systems , and Hardware Security , particularly for heterogeneous systems. Contact : hyesoon@cc.gatech.edu Location : 266 Ferst Drive, KACB 2344, Atlanta, GA Research Trends Her recent work spans RISC-V extensions for security, CUDA optimization on softcore GPUs, memory safety techniques, and energy-efficient deep learning architectures. Articles emphasize heterogeneous computing , GPU performance scaling, and IoT -oriented neural network methods. Open Source Projects She leads development of Macsim (heterogeneous architecture simulator) and Vortex (open-source GPU platform).

Mathieu SalzmannView profile

Academic

• Computer Vision
• Machine Learning
• Deep Learning
• +7 more

Mathieu Salzmann is a Senior Scientist and Lecturer at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Computer Vision Laboratory (CVLAB) in the School of Computer and Communication Sciences (IC). He also holds a courtesy appointment with the EPFL College of Humanities and serves as Deputy Chief Data Scientist at the Swiss Data Science Center (SDSC). He has held concurrent roles in teaching units including SIN, SODH, and SSC, reflecting his interdisciplinary engagement. His research focuses on the intersection of machine learning and computer vision, particularly in deep learning for 2D and 3D visual scene understanding, efficient and robust models, domain adaptation, and interpretable AI. These interests are evident across his extensive publication record in top-tier venues. His recent publications (2023–2024) show a consistent trend in advancing deep learning methods for visual recognition, with strong representation at CVPR, ICCV, ECCV, ICML, ICLR, and NeurIPS. Topics include domain generalization, 3D understanding, model robustness, and multimodal learning, often with applications in real-world systems. His editorial roles as Associate Editor for IEEE TPAMI and Action Editor for TMLR further highlight his leadership in the field. Area Chair: ICML 2023, CVPR 2023, ICCV 2023, NeurIPS 2023, AAAI 2024, ECCV 2024 Associate Editor: IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI) Action Editor: Transactions on Machine Learning Research (TMLR) Mathieu Salzmann has supervised numerous PhD students at EPFL, both current and past, including Bouquet Yann Yanis, Javed Saqib, Li Shuangqi, and others. He has also been involved in research grants and collaborative projects, such as his work with S. Süsstrunk and R. Baroni on comics reconfiguration. His part-time role as Senior GNC Engineer at ClearSpace (2020–2024) illustrates his applied research engagement in aerospace systems. He is actively involved in EPFL’s data science and AI research ecosystem through SDSC and multiple labs.

• Software Verification
• Formal Methods
• Programming Languages
• +5 more

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Christoph KochView profile

Professor

• Database systems
• Database theory
• Programming languages
• +2 more

Christoph Koch is a Full Professor in the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique Federale de Lausanne) , Switzerland. He has held academic positions at Cornell University (2007-2010, 2006), Saarland University (2005-2007), and TU Vienna (2001-2005). His research focuses on database systems, logic, programming languages, and data management.

Ana KlimovicView profile

Assistant Professor

• Cloud Computing
• Operating Systems
• Distributed Systems
• +4 more

Ana Klimovic is an Assistant Professor at the Department of Computer Science, ETH Zürich, and Deputy Head of the Institute for Computing Platforms. She leads the Efficient Architectures and Systems Lab (EASL) and focuses on optimizing cloud computing performance and resource efficiency. Education: Ph.D. in Electrical Engineering (Stanford University), M.S. in Electrical Engineering (Stanford), B.A.Sc. in Engineering Science (University of Toronto) Previous Roles: Research Scientist at Google Brain Her research spans cloud computing, operating systems, distributed systems, and their intersection with machine learning. Key areas include cloud-native programming models, elastic storage, GPU sharing, and data pipeline optimization. The 2025-2024 articles highlight trends in serverless computing, large language model (LLM) serving, GPU optimization, and data-centric ML systems. Themes include elasticity, resource multiplexing, heterogeneous computing, and infrastructure for AI/ML workloads. Scientific Awards: Microsoft Research PhD Fellowship, Stanford Graduate Fellowship She has led research projects on ephemeral storage, distributed training automation, and cost-efficient ML preprocessing, with grants from Microsoft Research and Stanford.

Jeff AlstottView profile

Professor

• Artificial Intelligence
• Cybersecurity
• Complex Networks
• +4 more

Jeff Alstott is a Professor of Policy Analysis at the RAND School of Public Policy, serving as the Director of RAND's Center for Technology and Security Policy (TASP) . He holds a concurrent role as a Senior Information Scientist at RAND and directs a program on technology forecasting and improving R&D investment returns at the National Science Foundation. Previously, he held leadership roles in the U.S. government, including the White House as Director for Technology and National Security at the National Security Council and Assistant Director for Technology Competition and Risks at the Office of Science and Technology Policy. Prior to that, he was a program manager at IARPA, focusing on AI, biosecurity, and science forecasting, and has held academic and research positions at MIT, Singapore University of Technology and Design, the World Bank, and the University of Chicago. Education : Doctorate in complex networks from the University of Cambridge; MBA and bachelor's degrees from Indiana University. Alstott's research spans artificial intelligence , technology forecasting , complex networks , and science and technology policy . His recent publications focus on AI security , existential risk from advanced technologies , and collaborative frameworks for AI safety , reflecting his expertise in balancing technological innovation with national and global security. He has contributed to understanding AI model weight protection , cybersecurity challenges , and policy implications of emerging technologies . Alstott has received recognition for his work, including being part of an award-winning team on technology counterintelligence . His policy recommendations and technical research have informed federal strategies for responding to advanced technologies , emphasizing the need for proactive governance and cross-sector collaboration.

Sujaya MaiyyaView profile

Assistant Professor

• Distributed Systems
• Database Systems
• Data Privacy
• +3 more

Sujaya Maiyya is an Assistant Professor at the Cheriton School of Computer Science, University of Waterloo. Prior to this, she completed a postdoc at Cornell University and earned her PhD from the University of California, Santa Barbara. Her research focuses on distributed systems, databases, and privacy/security, particularly in designing secure and efficient data management systems. She leads projects on oblivious databases, trusted execution environments (TEEs), and scalable privacy-preserving systems. Education: PhD in Computer Science, University of California, Santa Barbara (2018) MSc in Computer Science, University of California, Santa Barbara (2017) BE in Information Science, PESIT Bangalore (2014) Research Interests: Distributed systems, database privacy, oblivious datastores, genomics data security, and secure computation using TEEs. Her work emphasizes practical solutions for privacy-preserving storage and query processing, including tunable-privacy mechanisms and fault-tolerant ORAM systems. Awards and Grants: CFI/ORF Infrastructure Grant (2024-2029) NCC Research Awards (2024-2028) NSERC Discovery Grant (2023-2027) MIT EECS Rising Stars (2021) Teaching: Courses include CS348 (Introduction to Databases) and CS848 (Privacy Enhancing Data Systems). She emphasizes foundational concepts and system internals in database design and secure systems. Professional Service: Chair of Ontario Database Day (2024), PC member for SIGMOD, EDBT, VLDB, and ICDE. Frequent reviewer for journals like TKDE and DKE.

Nasir MemonView profile

Professor

• Digital Forensics
• Biometrics
• Authentication
• +6 more

Nasir Memon is a Professor of Computer Science and Engineering at the New York University Tandon School of Engineering and concurrently serves as the Dean of Engineering at NYU Shanghai. He has been a faculty member at NYU Tandon since September 1998. Memon is a co-founder of NYU's Center for Cyber Security (CCS) and NYU Abu Dhabi, and the founder of key initiatives such as the OSIRIS Lab, CyberSecurity Awareness Week (CSAW), the NYU Tandon Bridge program, and the Cyber Fellows program. His work focuses on advancing cybersecurity education and addressing systemic biases in AI-driven systems. Education: Ph.D., Computer Science, University of Nebraska Master of Science, Mathematics, Birla Institute of Technology and Science (BITS), Pilani Bachelor of Engineering, Chemical Engineering, BITS, Pilani Research Interests: Media Forensics and Authentication Biometric Security and Privacy Data Compression and Privacy-Preserving Techniques Network Security and Incident Response AI Ethics and Fairness in Machine Learning Cybersecurity Education and Workforce Development Awards and Honors: IEEE Fellow (2010) SPIE Fellow (2014) Jacobs Excellence in Education Award (2002) NSF CAREER Award (1997) Advising and Grants: Advises Ph.D. students like Anubhav Jain and Govind Mittal, and mentors Master’s students such as Rishit Dholakia. Recipient of NSF grants and funding from NYU Abu Dhabi and Indiana University Bloomington for projects like computational tools for fact-checking and AI-driven bias mitigation. Labs and Teams: Directs the OSIRIS Lab, a leading research group in cybersecurity and AI. Leads initiatives at the NYU Center for Cybersecurity (CCS) and collaborates with NYU Abu Dhabi’s Center for Cyber Security.

Laura EloView profile

Professor

• Computational Biomedicine
• Medical Bioinformatics
• Data Science
• +7 more

Laura Elo serves as Professor of Computational Medicine and Head of the Medical Bioinformatics Centre at the University of Turku, Finland. She concurrently holds the position of Research Director at Turku Bioscience Centre and acts as InFLAMES Flagship Contact, driving interdisciplinary biomedical research initiatives. Her academic foundation includes a PhD in Applied Mathematics (2007) and Adjunct Professorship in Biomathematics (2011), establishing her quantitative expertise before transitioning into biomedical applications. Her research program focuses on transforming molecular and clinical datasets through statistical modeling and advanced machine learning . Key thrusts include robust computational tools for proteome/epigenome analysis, AI-driven digital health diagnostics, and computational systems immunology for immune-mediated diseases. This work directly addresses challenges in reproducibility and scalability of high-throughput biotechnology data. Analysis of her recent publications reveals dominant themes in type 1 diabetes biomarker discovery , multi-omics integration , and immune system modeling , with strong emphasis on clinical translation through collaborations with experimental and medical teams. Her scientific recognition includes: JDRF Career Development Award Professor Elo actively trains MSc/PhD students and postdoctoral fellows while leading major research initiatives including ERC grants. Her teaching portfolio spans Bioinformatics Journal Club, AI in Diagnostics, and Systems Biology courses. The Elo Lab (https://elolab.utu.fi) operates as a hub for computational biomedicine, developing open-source tools like CellRomeR while maintaining close ties with Turku Bioscience Centre's experimental facilities for validating computational predictions in immunology and metabolic disease contexts.