Find Academic Supervisors

Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.

• Embedded Systems
• Design Automation
• Computer Architecture
• +6 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.

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

Brandon M. Lucia is the Kavčić-Moura Professor of Electrical and Computer Engineering at Carnegie Mellon University and CEO/co-founder of Efficient Computer Company. He leads the Abstract research group and focuses his work on the intersection of computer architecture, systems, and programming languages. Education: Ph.D. in Computer Science and Engineering, University of Washington (2013) — advised by Luis Ceze Research Focus: Brandon's research is broadly centered on intermittent computing , edge computing , and energy-efficient architectures . Two major thrusts define his current work: Intermittent Computing: Making battery-free, energy-harvesting devices programmable and reliable despite frequent power failures. Applications include medical implants, space systems, and large-scale sensing. Orbital Edge Computing: Designing nanosatellite constellations that perform on-orbit data processing, enabling low-latency, high-resolution sensing in space-constrained environments. Scientific Awards: NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS 2020 Best Paper Award OOPSLA 2015 Distinguished Paper & Artifact Awards IEEE Micro Top Picks (2016, 2018 Honorable Mention) Advising & Grants: Brandon actively advises a strong cohort of Ph.D. students including Zhuo Cheng, Bradley Denby, Souradip Ghosh, Harsh Desai, Kiwan Maeng, Emily Ruppel, and others. His group is funded by the NSF (CAREER and SHF grants), the Sloan Foundation, and industry partnerships. Labs & Teams: He directs the Abstract research group at CMU ECE, which hosts interdisciplinary projects spanning hardware design, compiler construction, and system software for ultra-low-power and space-borne computing platforms.

• Computer Architecture
• Computer Systems
• Programming Languages
• +7 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 .

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 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)

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +10 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.

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

Dr. Laura Channing serves as Assistant Professor in Economic History within the Department of History at Durham University, concurrently holding roles as Department Representative and Fellow of the Durham Research Methods Centre. Her academic foundation includes a History degree from King's College London, followed by an MPhil in Economic and Social History (2017) and PhD in History (2021) from the University of Cambridge. Distinguished appointments include the Jane Eliza Procter Fellowship at Princeton University (2019-2020), Economic History Society Anniversary Fellowship at the Institute of Historical Research, and Visiting Fellowship at LSE's Department of Economic History. Channing's research pioneers interdisciplinary analysis of West African economic development from the 19th-20th centuries, specializing in colonial taxation systems, labor dynamics, and living standards. Her methodological innovation integrates qualitative archives with newly digitized quantitative sources from British and African repositories, currently culminating in a monograph on taxation-representation relationships in West African colonies. Recent publications reveal consistent focus on fiscal governance within composite colonial states and African agency in humanitarian frameworks. Jane Eliza Procter Fellow at Princeton University Economic History Society Anniversary Fellow at the Institute of Historical Research Her teaching expertise in African and Economic History, demonstrated during LSE appointments, complements active contributions to the Durham Research Methods Centre's interdisciplinary initiatives in historical methodology and data analysis.

• Economic History
• African History
• Taxation
• +4 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).

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +7 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.

• Software Systems
• Storage Systems
• Machine Learning
• +4 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).

• Computer Architecture
• GPU
• Compilers and Runtime Systems
• +3 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.

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

Dr. Jiamin Li is an Associate Professor at the School of Microelectronics, Southern University of Science and Technology (SUSTech), Shenzhen, China. She holds a Ph.D. and B.Eng. in Electrical and Computer Engineering from the National University of Singapore (NUS). Her research focuses on biomedical integrated circuits, energy harvesting, and wireless body-area networks. Education: Ph.D. and B.Eng. in Electrical and Computer Engineering from NUS Employment: Associate Professor (2024–Present), Assistant Professor (2022–2024) at SUSTech; Research Fellow at NUS Dr. Li's research addresses wireless body area powering , low-power biosignal interfaces , and intelligent biosignal processors . Her work leverages microsystem design for applications in biomedical engineering , particularly in energy-autonomous medical devices and human body-coupled communication . Her recent publications highlight advancements in concurrent power/data transmission , subharmonic pulse injection , and triboelectric energy harvesting for biomedical systems. Key venues include IEEE JSSC , Nature Electronics , and conferences like ISSCC and BioCAS. Awards: IEEE SSCS Predoctoral Achievement Award, ISSCC Best Demo Award, ASSCC SDC Best Design Award Committees: IEEE SSCS Women-in-Circuit (WiC) Committee, ISSCC Student Research Preview Committee Opportunities: Positions available for Ph.D., Master's, Postdoctoral Fellows, and Visiting Scholars

• Integrated Circuit Design
• Biomedical Microsystems
• Low-Power Sensor Interfaces
• +3 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.

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

Mu'izz Abdul Khalid is a Visiting Research Scholar and Fung Global Fellow (2024-25) affiliated with Princeton University. He concurrently serves as a Research Associate at the Global Awareness and Impact Alliance (GAIA), Brunei Darussalam's first non-governmental research organization, and an adjunct lecturer at Universiti Brunei Darussalam's Department of History and International Studies. His expertise lies in comparative politics and Southeast Asian history, with a focus on monarchical regimes and the interplay of colonial and indigenous governance structures. He holds a Ph.D. from the National University of Singapore (NUS) and a master's from University College London (UCL). Current research involves analyzing British colonial influences on Brunei's absolutist state formation. His recent articles explore civic subjecthood in Brunei and digital resilience against misinformation.

• Comparative Politics
• Southeast Asian History
• Monarchical Regimes
• +3 more

Michael Kinski serves as Professor of Japanese History of Thought and Japanology at Goethe University Frankfurt within the Faculty of Languages and Cultural Studies, concurrently leading the Institute for East Asian Philologies as Acting Director since 2013. His academic trajectory spans prestigious German institutions including Humboldt University Berlin (1998-2009) and Tuebingen University (1991-1998), with prior research engagement at Japanese universities including Tokyo University and Ritsumeikan. He completed his doctoral studies at Tuebingen University in 1991 following an M.A. at Bochum University (1987), with formative research periods in Japan at Nagoya University, Tokyo University, and Ritsumeikan University. His scholarly foundation centers on Japanese intellectual history, particularly the Edo period. Kinski's research program systematically examines Japanese societal structures through interconnected domains: Historical conceptions of childhood and developmental frameworks Formalized etiquette systems as cultural expression Material culture studies focusing on food practices and consumption Scientific knowledge transmission via Rangaku (Dutch Studies) Social value systems reflected in travel literature Intellectual history of Early Modern Japan No scientific awards were documented in source materials. Information regarding student supervision, research grants, laboratory facilities, or collaborative teams was not provided in the available texts.

• History of Childhood and conceptions of childhood in Japan
• Japanese Rules of Etiquette
• Early Modern Japanese lifestyles and value orientations as reflected in Japanese guidebook literature
• +3 more