Find Academic Supervisors

Zeying DuView profile

Physician Scientist

• Transplant Immunology
• Histocompatibility
• Immunogenetics
• +3 more

Zeying Du, M.D., Ph.D. is a Laboratory Immunologist and Associate Director of Histocompatibility Laboratory at the Mayo Clinic in Jacksonville, Florida . She previously served as Director of Clinical Histocompatibility Laboratory and Assistant/Associate Professor in the Department of Pathology and Laboratory Medicine at Loyola University Medical Center , Illinois. Education: MD (1986), MS (1989), PhD (1998), Postdoctoral Fellow in Immunogenetics (2008), Director-in-training Fellowship in Transplant Immunology (2010) Professional Memberships: Member of American Society of Transplantation and Cellular Therapy (ASTCT), International Society of Heart and Lung Transplantation (ISHLT), American Society of Histocompatibility and Immunogenetics (ASHI) Dr. Du’s clinical and research interests focus on identifying pre- and post-transplant biomarkers of immunological risk to improve solid organ transplant outcomes and using genetic markers for hematopoietic cell transplant donor selection to reduce graft-versus-host disease. Her work has emphasized HLA typing , next-generation sequencing , and transplant immunogenetics . Her 15 most recent publications (2015–2025) center on HLA allele discovery , antibody-mediated rejection in organ transplant recipients, and immunogenetic risk factors in transplantation. These studies leverage advanced sequencing technologies to refine histocompatibility testing and improve donor-recipient matching. Scientific Awards: Paul E. Strandjord Young Investigator Award (2010) Extraordinary Young Investigator Award (2000) Second-place Award for Progress in Natural Sciences (1998) Servier Young Investigator Award (1998) Presidential Scholarship (1998) Dr. Du actively participates in HLA laboratory inspections (College of American Pathologists, ASHI), contributes to scientific review panels (ISHLT, ACHI), and leads histocompatibility testing at Mayo Clinic’s laboratory. Her research integrates clinical immunology with genetic analysis to advance precision medicine in transplantation.

Deepak GargView profile

Researcher

• Programming Languages
• Secure Compilation
• Type Theory
• +7 more

Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.

Hamed NematiView profile

Assistant Professor

• Security of systems software
• Formal methods and program logics
• Interactive theorem proving
• +2 more

Hamed Nemati is an Assistant Professor at the Division of Network and Systems Engineering under the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. He was previously a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA) , where he also worked as a PostDoc and Research Fellow. Education : PhD in Computer Science from KTH Royal Institute of Technology Research Interests : Security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, applied machine learning Current Projects : Systematic verification of multi-language security protocols, hardware-software co-design for Spectre mitigation, capability-based access control models Scientific Awards : WASP (Wallenberg AI, Autonomous Systems and Software Program) faculty member Teaching Activities : Formal Methods in Security (Fall 2020-2023) at CISPA/Saarland University Digital Forensics and Incident Response (EP2780) (Fall 2024) at KTH

• Programming Languages
• Formal Verification
• Compilers
• +5 more

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

• Vascular Surgery
• Aortic Disease
• Peripheral Arterial Disease
• +4 more

Kenneth R. Ziegler is a Clinical Associate Professor of Surgery (part-time) at the University of Southern California, affiliated with Keck School of Medicine and Keck Medicine of USC. He specializes in Vascular Surgery, Endovascular Therapy, Aortic Disease, and General Surgery, with particular expertise in aortic aneurysms, peripheral arterial disease, limb salvage, and carotid artery interventions. Education and Training: Details about his education are not explicitly provided in the text, but he is noted as fellowship-trained in vascular surgery with board certification in Vascular Surgery. Research Interests: Dr. Ziegler focuses on optimizing vascular reconstruction in chronic/acute ischemia, patient-centered surgical strategies, and translational research in vein graft adaptation. His work extends to interdisciplinary care models, complications of endovascular procedures, and functional outcomes in limb preservation. Article Trends: His publications emphasize endovascular innovations for complex aortic pathologies, perioperative blood management, and limb salvage techniques. Key themes include fenestrated endograft modifications, stenting approaches for dissected arteries, and the role of biological patches in reconstructive surgery. Awards: None explicitly listed in the provided texts. Advising & Grants: No formal advisees or grant details are disclosed. However, his involvement in surgical training and clinical research suggests active mentorship within his department. Labs/Teams: He collaborates with the interdisciplinary limb preservation service at USC and participates in Keck Medicine’s vascular surgery teams, focusing on integrated care approaches for complex vascular cases.

Brigitte PientkaView profile

Professor

• Type theory
• Programming languages
• Logical frameworks
• +7 more

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.

Brigitte PientkaView profile

Professor

• Programming Languages
• Verification
• Type Theory
• +6 more

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

• X-ray Diffraction
• Crystallography
• Materials Science
• +6 more

Prof. Radomír Kužel is a distinguished physicist at the Department of Condensed Matter Physics within the Faculty of Mathematics and Physics at Charles University . With a career spanning over three decades, he has made significant contributions to X-ray diffraction analysis and materials science. 1975: Secondary Education at Gymnasium Čakovice 1980: RNDr. in Solid State Physics, Charles University 1989: Ph.D. (CSc.) in X-ray Diffraction Analysis 2001: Docent Title 2015: Professor Appointment by the Czech Republic President His research focuses on X-ray diffraction studies of polycrystalline materials, thin films, and nanomaterials. Key areas include dislocation dynamics, residual stress analysis, texture development, and microstructural characterization using advanced diffraction techniques. He pioneered methods for dislocation type determination from line broadening and developed analytical approaches for microstructural parameters in nitrides and oxides. Recent publications highlight his work on TiO₂ thin films , hexaferrite synthesis , and ECAP-processed metals , demonstrating expertise in structure-property relationships and thermal stability of nanomaterials. His 2021 study on W-type hexaferrite thin films exemplifies his ongoing innovation in magnetic materials. Prague Convention Bureau Hybrid Congress Award (2022) Prof. Kužel has organized major international conferences, including the 25th IUCr Congress (2021) and multiple European Powder Diffraction Conferences . He serves on editorial boards (e.g., Materials Structure ) and leads the Czech Crystallographic Society.

• Palliative Care
• Nursing
• Clinical Nurse Specialist
• +5 more

Sean Michael Reed serves as Assistant Professor in the Administration department of the College of Nursing at the University of Colorado Denver - Anschutz Medical Campus, where his work bridges palliative care, nursing theory, and clinical practice innovation. His research directly impacts military healthcare, telehealth implementation, and end-of-life care models through rigorous interdisciplinary collaboration. Dr. Reed's research program centers on palliative care acuity tools, nursing theory development (particularly unitary-caring frameworks), and military nursing applications. He investigates social determinants of health through Z-coding systems in clinical practice, telehealth disparities during pandemics, and concept analyses of resonant leadership and existential advocacy. His methodology spans mixed-methods studies, concept analyses, and critical interpretive syntheses with strong emphasis on translating findings to clinical practice. Analysis of his 2023-2025 publications reveals three dominant trajectories: 1) Conceptual refinement of nursing theory (6 articles on leadership models, healing touch, and existential advocacy), 2) Telehealth adaptation during crises (4 studies examining rural/urban disparities and prenatal care), and 3) Palliative care innovation (3 cross-cultural and military-focused studies). Military nursing and social determinants of health emerge as rapidly growing subfields in his recent work. His accolades include: 2025 Chancellor's Teaching Recognition Award, CU Anschutz, Graduate School 2024 & 2023 CU Anschutz Alumni Hero, College of Nursing 2022 President's Award from National Association of Clinical Nurse Specialists 2022 Nightingale Luminary Award and Global Academy of Holistic Nursing Scholar 2021 Clinical Nurse Specialist Institute Fellow As active researcher, Dr. Reed leads a Fulbright Scholar project adapting palliative care tools in Romania (2025-2026) and co-investigates NIH-funded telehealth studies across rural/urban Colorado communities. His prior NIH postdoctoral fellowship in palliative care training and leadership as past President of the National Association of Clinical Nurse Specialists demonstrate sustained commitment to mentoring next-generation clinicians and shaping health policy through evidence-based practice.

Sarah Dodson-RobinsonView profile

Professor

• Astrophysics
• Planet Formation
• Exoplanet Detection
• +3 more

Sarah Dodson-Robinson is a Professor of Physics & Astronomy at the University of Delaware, part of the College of Arts & Sciences. She joined UD in 2014 and holds a Ph.D. from the University of California, Santa Cruz (2008) and a B.S. from Rochester Institute of Technology (2002). Her research focuses on observational and theoretical astrophysics, particularly planet formation mechanisms, exoplanet detection, and frequency-domain analysis of stellar activity. She develops advanced statistical methods to analyze time-series data from telescopes and spacecraft, addressing challenges like stellar variability in exoplanet searches. Her work spans protoplanetary disks, debris disks, and the interplay between planetary systems and their host stars. Notable contributions include studies on dust dynamics in disks, the role of magnetized turbulence in disk evolution, and the use of spectral line diagnostics to identify planetary signals. She collaborates with NASA missions and leads projects like the EXPRES Stellar Signals initiative, aiming to refine radial velocity techniques. Publications highlight her expertise in analyzing binary star systems, detecting Earth-mass exoplanets, and modeling giant planet formation. Her research bridges astrophysics and data science, with applications to upcoming NASA missions targeting exoplanet habitability.

Aki RobertsView profile

Associate Professor

• Criminology
• Criminal Justice
• Race and Ethnicity
• +3 more

Aki Roberts is an Associate Professor in the Department of Sociology at the University of Wisconsin-Milwaukee (UWM), based in Bolton Hall 740 with contact email aki@uwm.edu. Roberts conducts empirical research in criminology, specializing in crime clearance mechanisms, racial disparities in victimization, and police-citizen interactions using large-scale datasets like NIBRS. Research interests include: Criminology and criminal justice systems Race/ethnicity in crime patterns Victim-offender dynamics Police diversity and investigative outcomes Homicide clearance trends Methodological innovations in crime data analysis Roberts has also published comparative work on Japan's postwar homicide trajectories and structural analyses of university systems. Recent publications (2020-2025) reveal intensified focus on pandemic-era anti-Asian hate crimes, police diversity impacts on minority victim clearance, and methodological refinements in handling missing crime data. Roberts consistently examines how jurisdictional constraints and incident-specific factors affect crime resolution, with recurring emphasis on victim race as a critical variable in clearance disparities. Scientific Awards: No awards listed in source materials. Advising and Grants: No student advisement records or grant funding details were provided in available documentation.

Amin TimanyView profile

Associate Professor

• Programming Languages
• Type Theory
• Logical Relations
• +9 more

Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.

Charles TelescoView profile

Professor

• Cosmic Magnetic Fields
• Astrobiology
• Infrared Instrumentation
• +3 more

Charles Telesco is a Professor in the Department of Astronomy at the University of Florida, where he established the Astronomical Instrumentation Program in 1995. He holds a PhD in Astronomy and Astrophysics from the University of Chicago (1977), with prior NASA affiliations at Ames and Marshall Space Flight Centers. His research focuses on cosmic magnetic fields and astrobiology, leveraging instruments like CanariCam (a GTC facility instrument developed by his team) and the IMPS polarimeter for exoplanet studies. Key scientific contributions include mid-IR polarimetry of magnetic fields in star-forming regions and the development of compact polarimeters for biosignature detection. His work is supported by the NSF and involves collaborations with SETI, NASA, and NIST. Telesco's technical expertise spans infrared instrumentation, interstellar dust dynamics, and high-resolution observational techniques. Recent publications emphasize ultra-late-time spectroscopy of Type Ia supernovae (e.g., SN 2021aefx) using JWST, alongside advancements in polarimetry for both astrophysical and astrobiological applications. Active projects include refining IMPS for extraterrestrial biosignature detection and mid-IR surveys of nearby stars with CanariCam.

Kevin M. ChunView profile

Professor

• Acculturation
• Bicultural efficacy in health management
• Immigrant health disparities
• +4 more

Kevin M. Chun is Professor of Psychology and Department Chair at the University of San Francisco (USF), where he serves as co-founding faculty for the Asian American Studies and Critical Diversity Studies programs. His community-based research examines acculturation effects on Asian American immigrant health and psychosocial adjustment, with emphasis on developing culturally tailored interventions to reduce acculturation stress and improve health outcomes. Education: PhD in Clinical Psychology from University of California, Los Angeles BS in Psychology from Santa Clara University Psychology Internship at VA Palo Alto Health Care System Professor Chun's research spans acculturation theory, bicultural efficacy in health management, immigrant health disparities, and Asian American psychology. His work has pioneered culturally adapted diabetes interventions for Chinese American immigrants, resulting in the development of the Bicultural Efficacy in Health Management (BEFF-HM) measure—a superior predictor of health outcomes compared to traditional acculturation metrics. His scholarship bridges clinical psychology, public health, and community engagement to address systemic health inequities. Analysis of his 2005-2019 publications reveals consistent focus on diabetes management within Chinese American communities, emphasizing family dynamics, cultural adaptation of interventions, and measurement refinement. Key themes include bicultural health navigation, culturally responsive coping strategies, and community-partnered intervention development, demonstrating methodological rigor through mixed-methods and participatory approaches. Scientific Awards and Distinctions: USF College of Arts & Sciences Dean's Scholar Award (2017-18) Featured in APA's "Ethnicity and Health in America Series" (2013) Fellow of Asian American Psychological Association (2011) USF Multicultural Services Faculty Award (2007) Early Career Award from Asian American Psychological Association (2005) USF Ignatian Service Award (2004) USF Irvine Scholar Fellowship (1995) Professor Chun secured two NIH R01 grants as co-PI with UCSF, Cameron House, and North East Medical Services, establishing community-academic partnerships that transformed diabetes care for Chinese Americans. His research program demonstrates sustained funding success through community-based participatory frameworks. While specific students aren't listed, his textbook authorship and program co-founding indicate extensive mentorship in multicultural psychology and diversity studies. His work operates through deep partnerships with San Francisco Chinatown organizations including Cameron House and North East Medical Services, creating a sustainable model for community-engaged scholarship that centers immigrant voices in health intervention design and implementation.

Paul ShipleyView profile

Associate Professor

• Organic Chemistry
• Natural Products Biosynthesis
• Biochemistry
• +6 more

Paul Shipley is an Associate Professor in the Department of Chemistry within the Irving K. Barber Faculty of Science at the University of British Columbia Okanagan. He also serves as Associate Dean of the College of Graduate Studies. His research focuses on natural products chemistry, metabolomics, and NMR-based analysis of medicinal plants and bacteria to investigate chemical differences between species and samples. His work has applications in discovering biological activities, optimizing natural health product formulation, identifying adulterated products, and classifying species by their chemistry. Dr. Shipley's educational background includes: PhD from the University of Washington Dr. Shipley's research centers on organic chemistry and natural products biosynthesis, with particular emphasis on the biochemistry of secondary metabolism in plants and bacteria. His laboratory develops and applies nuclear magnetic resonance (NMR) metabolomics approaches to define the complex chemistry of medicinal plants, which traditionally has been challenging due to the estimated 30,000 distinct phytochemicals present in an average plant tissue. His work bridges analytical chemistry, plant biochemistry, and statistical analysis to create robust methods for species differentiation and chemical profiling. Specifically, his lab investigates NMR-based chemical approaches for medicinal plant analysis across various species, comparing results with LC/MS metabolomic analysis and chromatographic separation methods. They develop statistical tools to discriminate between true and false positives in significance analysis and optimize NMR experiments for best discrimination between sample types, with applications in hawthorn chemotaxonomy, cranberry analysis, and other medicinal plant studies. Dr. Shipley's recent publications demonstrate a strong focus on NMR-based metabolomics applied to plant chemistry, particularly for species identification and quality control of natural health products. His work spans multiple plant genera including Crataegus (hawthorn), Vaccinium (cranberry), and Artemisia (sagebrush), with consistent methodological development in statistical analysis and NMR techniques. A notable trend is the application of machine learning algorithms to refine metabolomic data interpretation and the development of robust models for distinguishing between closely related plant species and varieties. His research program has contributed significantly to: Development of new NMR-based approaches for plant metabolome analysis Creation of statistical tools for metabolomic data refinement Chemotaxonomic studies of medicinal plants with pharmacological relevance Identification of cardioprotective compounds in hawthorn species As a graduate student supervisor in the Department of Chemistry, Dr. Shipley mentors students in organic chemistry, natural products biosynthesis, and analytical methodology development. His research program involves multiple funding sources supporting NMR metabolomics instrumentation, plant collection and analysis fieldwork, statistical methodology development, and collaborative studies with pharmacology and botanical researchers. Dr. Shipley leads a research laboratory focused on NMR-based metabolomics of medicinal plants and bacteria. His team develops advanced statistical and methodological tools for model improvement in metabolomic analysis, with particular expertise in distinguishing between closely related plant species and varieties. The lab collaborates across disciplines, integrating chemical analysis with biological activity studies to connect phytochemical profiles with potential pharmacological relevance, particularly in cardioprotective compounds found in hawthorn and urinary tract health applications of cranberry compounds.