Find Academic Supervisors

Sheng ShenView profile

Professor

• Nanophotonics
• Nanoscale Energy Transport and Conversion
• Advanced Manufacturing
• +7 more

Sheng Shen is a Professor in the Mechanical Engineering Department at Carnegie Mellon University (CMU) , with courtesy appointments in the Departments of Electrical and Computer Engineering and Materials Science and Engineering . He earned his Ph.D. in Mechanical Engineering (Minor in Electrical Engineering) from Massachusetts Institute of Technology (MIT) , and his B.S. and M.S. from Huazhong University of Science and Technology in China. Prior to joining CMU in 2011, he conducted postdoctoral research at UC-Berkeley . Education: Ph.D., Mechanical Engineering, MIT (2010) B.S. & M.S., Power Engineering & Engineering Thermophysics, Huazhong University of Science and Technology (2000 & 2003) Research interests include nanophotonics , nanoscale energy transport and conversion , nanofabrication , and advanced manufacturing , with applications in thermal management , light sources and devices , thermal emission control , solar energy conversion , infrared sensing , and multifunctional materials . His work leverages interdisciplinary expertise in thermal and optical measurements , material synthesis , device fabrication , and theoretical modeling . Recent publications highlight advancements in infrared radiation control , thermal interface materials , metasurface engineering , and graphene-based nanosystems . His scientific awards include: NSF CAREER Award DARPA Director's Fellowship DARPA Young Faculty Award Elsevier/JQSRT Raymond Viskanta Award CMU Dean's Early Career Fellowship Philomathia Foundation Research Fellowship Hewlett-Packard Best Paper Award Best Paper Award, Julius Springer Forum Advising spans Ph.D. and postdoctoral researchers in nanoscale energy systems, with alumni contributing to solar energy conversion , infrared sensing , and flexible electronics . His lab receives funding from ARL, DARPA, DOE, DTRA, NASA, NSF, and ONR , and recently secured a DURIP award for instrumentation.

Brandon M. LuciaView profile

Professor

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

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)

Maria CraigView profile

Professor

• Childhood Diabetes
• Type 1 Diabetes
• Virology and Diabetes
• +4 more

Professor Maria Craig is a distinguished academic and researcher at the University of New South Wales, Faculty of Medicine & Health, specializing in childhood diabetes research. She holds a prominent position as a Professor with extensive contributions to the field of pediatric endocrinology and diabetes, particularly focusing on type 1 diabetes in children. Professor Craig's educational background includes: MB BS from the University of Melbourne MMedSc(ClinEpid) from the University of Newcastle PhD from the University of Sydney FRACP (Fellow of the Royal Australasian College of Physicians) Professor Craig's research primarily focuses on childhood diabetes, with special emphasis on prediction and prevention of type 1 diabetes. She has a significant interest in the association between viruses and type 1 diabetes, collaborating with the Virology Research Group at Prince of Wales Hospital (POWH). Together with Professor Bill Rawlinson, she leads the viral theme for the multicentre ENDIA study (endia.org.au). As principal investigator for the CoRD trial, she is conducting a world-first phase 1 study using autologous cord blood for prevention of type 1 diabetes in children with islet autoimmunity. Additionally, she serves as principal investigator for the Australasian Diabetes Data Network (ADDN). Her research portfolio also encompasses the epidemiology of various forms of childhood diabetes (type 1, type 2, cystic fibrosis related diabetes and monogenic diabetes) and diabetes complications, in collaboration with Professor Kim Donaghue at the Children's Hospital at Westmead. Professor Craig's extensive publication record, including over 361 journal articles, demonstrates her leadership in advancing our understanding of childhood diabetes. Her recent work shows increasing focus on early detection methods, risk prediction models, technological interventions for diabetes management, and the complex interplay between viral infections and autoimmune diabetes development. She has been instrumental in developing clinical practice guidelines through her role as co-editor of the International Society for Pediatric and Adolescent Diabetes (ISPAD) guidelines. Professor Craig has received numerous prestigious awards recognizing her contributions to pediatric endocrinology and diabetes research: Australian Paediatric Endocrine Group Young Investigator's Award (1997) Asia Pacific Paediatric Endocrine Society Clinical Teaching Award (2008) Lifetime Honorary Member, Caring and Living as Neighbours (2013) Australian Diabetes Society Jeff Flack Diabetes Data Award (2019) Australian Paediatric Endocrine Group Norman Wettenhall Award for Research and Innovation (2019) Throughout her career, Professor Craig has demonstrated exceptional leadership in professional societies, having served as former president/treasurer of the Australasian Paediatric Endocrine Group (APEG) and currently as Scientific Convenor of the Asia Pacific Paediatric Endocrine Society Fellows school. Her work with the ENDIA study and Australasian Diabetes Data Network represents significant collaborative research efforts involving multiple institutions across Australia and internationally. Her principal investigator roles for major studies indicate substantial research funding support. Professor Craig leads several important research initiatives including the ENDIA study, the CoRD trial, and the Australasian Diabetes Data Network. These programs involve multidisciplinary teams of researchers, clinicians, and support staff working collaboratively to advance understanding and treatment of childhood diabetes. Her work at the intersection of virology and diabetes represents a unique and innovative approach to understanding the environmental triggers of type 1 diabetes.

Brian LawrenceView profile

Assistant Professor

• Arithmetic Geometry
• Number Theory
• Diophantine Geometry
• +2 more

Brian Lawrence is an Assistant Professor in the Department of Mathematics at the University of Wisconsin–Madison, currently on leave as of 2025. Previously, he held positions at UCLA, the University of Chicago, and Columbia University, following doctoral studies at Stanford University under Akshay Venkatesh. His educational background includes: PhD in Mathematics from Stanford University (advisor: Akshay Venkatesh) Lawrence's research centers on arithmetic geometry, specializing in Diophantine problems through p-adic methods. His work develops innovative approaches to Mordell's conjecture, Shafarevich-type results, and rational point distribution using p-adic Hodge theory, étale cohomology, and period mappings. He bridges theoretical number theory with computational frameworks, particularly in algorithmic solutions for Diophantine equations. His publication trends reveal sustained focus on foundational Diophantine geometry problems, with recent work emphasizing conditional algorithms for the Mordell problem and sparsity phenomena in integral points. Collaborations with leading mathematicians like Venkatesh and Sawin demonstrate interdisciplinary engagement across number theory and algebraic geometry. Lawrence actively mentors undergraduate researchers, supervising projects on resultants, Hodge theory, and symmetric polynomials by students including Pramana Saldin, Yuchen Chen, Anuj Sakarda, and Spencer Dembner. His organizational roles include founding the Crystalline Cohomology seminar at Columbia and co-organizing the University of Chicago Number Theory Seminar, fostering collaborative research environments. He contributes extensively through expository notes on schemes, polynomials on lattices, and Fibonacci numbers modulo p, reflecting commitment to mathematical education and knowledge dissemination across multiple institutions.

Jeff HuangView profile

Associate Professor

• Human-Computer Interaction
• Data Science
• Health Informatics (eHealth/mHealth)
• +3 more

Jeff Huang is an Associate Professor and Associate Chair of Computer Science at Brown University. His research focuses on Human-Computer Interaction (HCI), with emphases on personalized systems using behavioral data, health informatics, and user interfaces. Huang holds a PhD from the University of Washington and degrees from the University of Illinois at Urbana-Champaign. His work is funded by NSF, NIH, and ARO, and he has received awards including the NSF CAREER Award and ARO Young Investigator Award. Education: PhD in Information Science, University of Washington (2013) MS in Computer Science, University of Washington (2013) BS and MS in Computer Science, University of Illinois at Urbana-Champaign (2007) Research Interests: His work spans health informatics (e.g., sleep tracking systems like Self-E and SleepCoacher), user interface design, and leveraging behavioral data for personalized systems. Notable projects include WebGazer (webcam eye tracking), filtered.ink (creative illustration tools), and Sochiatrist (mental health analytics). Teaching: He teaches courses on user interfaces, HCI, and research methods, including CSCI 0130/1300 (User Interfaces), CSCI 2300 (HCI Seminar), and CSCI 2000 (Research Methods). Awards: NSF CAREER Award Facebook Fellowship ARO Young Investigator Award Grants & Advising: Huang leads a research group advising over 50 students, many of whom have pursued academic and industry roles. His grants support projects in HCI, health tech, and collaborative systems.

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

• Materials Science
• Thin Film Technology
• Optical Properties of Materials
• +3 more

Prof. Dr. Cemal Ulutaş is a faculty member at Hakkari University , affiliated with the Faculty of Education in the Department of Mathematics and Science Education . He also holds administrative and advisory roles across multiple institutions: Dean of the Faculty of Education Board Member at Faculty of Engineering and Faculty of Fine Arts Coordinator at Education and Training Coordination Office Chairman of the Academic Evaluation and Quality Improvement Board Advisory Board Member at Career Development Application and Research Center His research focuses on materials science with an emphasis on thin film technology , particularly metal sulfides and oxides . He investigates structural, electrical, optical, and physical properties of films like γ-MnS, CuS, SnS, and Mn 3 O 4 , using methods such as chemical bath deposition and post-deposition annealing . Current projects examine the impact of variables like molar concentration, bath temperature, and substrate choice on thin film behavior. Recent publications (2010–2023) highlight systematic studies on metal chalcogenide thin films , including concentration gradients, substrate interactions, and thermal stability. Experimental techniques span X-ray diffraction , UV-Vis spectroscopy , and electrical resistivity measurements . Notably, his work bridges fundamental material science with applied engineering challenges, such as optimizing evaporative cooling systems in a 2010 study. As a thesis advisor, he has guided 2 graduate students . His academic contributions are documented in Google Scholar (10 citations, H-Index 620), Scopus (24 publications, H-Index 480), and Web of Science (15 citations, H-Index 9).

Anwar HaqueView profile

Associate Professor

• Network Security
• 5G and Beyond Networks
• IoT
• +9 more

Dr. Anwar Haque is an Associate Professor in the Department of Computer Science at Western University, Canada, and a Faculty of Science Distinguished Research Professor. He holds a Ph.D. in Electrical and Computer Engineering and an M.Sc. in Computer Science from the University of Waterloo. Prior to academia, he was Associate Director at Bell Canada. His research focuses on 5G networks, IoT, cybersecurity, AI, and autonomous systems, with over 100 peer-reviewed publications and $15M in collaborative grants. Dr. Haque leads the Western Information & Networking Group (WING) Lab and is the founder/CEO of Bamboo Innovations Inc., a tech startup developing socially responsible smart technologies. Leadership roles include industry expert-in-residence in the Faculty of Science, Undergraduate Chair of the Computer Science Department, and member of Western’s Senate. He has delivered over 30 keynote talks and media features include BBC Earth and The Globe and Mail. Awards include the IEEE CCECE Leadership Award and multiple grants from NSERC, MITACS, and Bell Canada. His work spans network reliability, smart grids, and cybersecurity, with industry partnerships like the Bell-Western 5G Research Centre.

Gretchen A. MachtView profile

Associate Professor

• Human Systems Engineering
• Team Performance
• Sustainability
• +7 more

Gretchen A. Macht is an Associate Professor in the Department of Mechanical, Industrial and Systems Engineering at the University of Rhode Island, College of Engineering. She specializes in Human Systems Engineering, with research emphasizing team performance, sustainability, electric vehicles, solar energy systems, and voting systems. Her work bridges engineering, ergonomics, and public policy. Her research interests focus on understanding and optimizing human-centered systems. She investigates team communication and performance through fuzzy cognitive maps and entropy modeling, develops sustainable design practices for products and energy systems, and analyzes user behavior in electric vehicles and solar installations. A significant portion of her research is dedicated to election systems, where she uses simulation to improve accessibility, safety, and efficiency of in-person voting, particularly during public health crises. Her recent publications span topics such as EV charging behavior, solar installation safety, voting simulation, and team dynamics. These works reflect interdisciplinary trends combining systems engineering, data analytics, ergonomics, and sustainability science. She frequently employs simulation, naturalistic data analysis, and human factors methodologies. Dr. Macht has secured substantial grant funding from organizations including the U.S. Election Assistance Commission, National Science Foundation, MIT, and Democracy Fund. She serves as Principal Investigator (PI) or Co-PI on projects related to election systems (e.g., SMILE, URI VOTES), ergonomic redesign of protective gear, and community solar development. She leads the SIS Lab and the URI VOTES initiative, fostering collaborative research on simulation and system design. Her lab supports graduate students in conducting impactful research at the intersection of engineering and societal challenges. Notable grants include: PI, MIT: “Voting in Person - White Paper” (2023) PI, US EAC: “SMILE 2.0” (2022) PI, Democracy Fund: “URI VOTES Pocket Guide Tool” (2022) Co-PI, NSF: “Election Science: Convergence Accelerator Workshop Proposal” (2021) PI, US EAC: “SMILE: Simulation Models for an Immersive Learning Environment” (2021) She has advised several graduate students, including Mehrsa Khaleghikarahrodi, Nicholas D. Bernardo Jr., and Tim Jonas, whose research aligns closely with her focus areas in EVs, elections, and team performance.

Deian StefanView profile

Associate Professor

• Security
• Programming Languages
• Systems
• +6 more

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

• Microbiology
• Immunology
• Bacterial Vaccines
• +5 more

James B. Kaper is a Professor and Chair of the Department of Microbiology & Immunology at the University of Maryland School of Medicine. He serves as Vice Dean for Academic Affairs and previously held leadership roles as Senior Associate Dean (2014–2019) and Chair (2007–present). His research focuses on the molecular pathogenesis of diarrheagenic Escherichia coli and Vibrio cholerae , including vaccine development and bacterial-host interactions. Education: BS (1973) and PhD (1979) in Microbiology from University of Maryland; Postdoc in Molecular Pathogenesis at University of Washington (1979–1981) Dr. Kaper’s work has led to the creation of live attenuated cholera vaccines, including CVD 103-HgR, the first licensed recombinant bacterial vaccine. His lab investigates bacterial genetics, intestinal colonization, and immune system activation, particularly TLR5 response to V. cholerae flagellin. He has authored 303 peer-reviewed articles and 68 book chapters. His research has been funded continuously by NIAID since 1982. Key publications include foundational work on V. cholerae vaccines (1984), genomic structure (1998), and quorum sensing in EHEC/EPEC (1999). His lab’s recent studies focus on phosphotyrosine proteomics (2013) and pathogenicity island regulation (2007). Scientific awards: Fellow, American Academy of Microbiology (1994); NIH Merit Award (2004); ASM DC White Award (2019) Editorial roles: Editor-in-Chief, EcoSal (2006–present); Associate Editor, International Journal of Medical Microbiology (2000–present) As an academic leader, Dr. Kaper has mentored over 60 graduate students and postdoctoral fellows. He holds multiple patents for cholera vaccines and E. coli diagnostics, including U.S. Patents 4,935,364; 5,399,494; and 6,204,004. His lab at UMSOM combines basic science with translational applications for enteric disease prevention.

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.

Alexis BattleView profile

Associate Professor

• Genomics
• Machine Learning
• Computational Biology
• +3 more

Alexis Battle is an Associate Professor at Johns Hopkins University with appointments in Biomedical Engineering , Computer Science , and Genetic Medicine (secondary). She directs the Malone Center for Engineering in Healthcare and serves as Deputy Director of the Data Science and AI Institute . Educated at Stanford University (PhD in Computer Science, 2013), Battle transitioned to academia after leadership roles at Google. Research Focus: Battle’s work bridges genomics and machine learning , emphasizing the impact of genetic variation on human health. Her lab develops tools like Watershed to predict functional effects of rare variants, aiming to enhance rare disease diagnosis. Key themes include non-coding DNA analysis , personalized genomics , and systems biology , with applications in cardiovascular disease and neurodegenerative disorders . Publications & Awards: Over 60 peer-reviewed articles in journals like Nature , Science , and Genome Biology , with recent emphasis on single-cell transcriptomics , multiomics integration , and telomere biology . Recipient of the President’s Frontier Award (2022), Microsoft Investigator Fellowship (2019), and Searle Scholar (2016). Scientific Awards: 2022 President’s Frontier Award 2019 Microsoft Investigator Fellowship 2019 Johns Hopkins Discovery Award 2017 Johns Hopkins Catalyst Award 2016 Searle Scholar Advising & Funding: Mentors 11 PhD students, 3 undergraduates, and postdoctoral fellows. Her research is funded by NIH, Searle Scholars, and institutional grants. The Battle Lab collaborates on projects like the GTEx Consortium , focusing on gene regulation and clinical genomics .