Find Academic Supervisors

Hyeran Helen JeonView profile

Assistant Professor

• Bone Remodeling
• Orthodontic Tooth Movement
• Wound Healing
• +3 more

Hyeran Helen Jeon, DDS, MSD, DScD , is an Assistant Professor in the Department of Orthodontics at the University of Pennsylvania School of Dental Medicine , where she has served since 2018. After completing her DScD and orthodontic certificate at Penn, she transitioned to faculty and expanded her clinical practice at Penn Dental Family Practice. Her work bridges orthodontic mechanics with periodontal biology, informed by dual board certifications in Orthodontics (American Board) and Periodontology (Korean Board). Education: DScD and Orthodontic Certificate (University of Pennsylvania, 2016/2014), MSD and Periodontic Certificate (Ewha Womans University, 2007/2008), DDS (Pusan National University, 2004) Research Focus: Dr. Jeon investigates bone remodeling mechanisms in orthodontics, particularly inflammation-force interactions, wound healing pathways, and TADs for maxillary expansion. Her work spans cell signaling (FOXO1, RANKL) , animal models , and clinical imaging (CBCT, MRI) . She mentors students across disciplines, emphasizing translational research. Scientific Contributions: Recent publications explore TMJ disc displacement, IFT80 osteocyte roles, and population-specific dental norms. Key trends include mechanistic insights into orthodontic tooth movement and cross-disciplinary applications of osteobiology and immunology . Awards: Schoenleber Pilot Grant (2018), IADR Young Investigator (2015), Presidents’ Travel Award (2016) Clinical & Academic Engagement: Practices at Penn Dental Family Practice, teaches predoctoral/postdoctoral students, and serves as journal reviewer for Journal of Dental Research and Orthodontics and Craniofacial Research .

Matthew FeinsteinView profile

Associate Professor

• Immunocardiology
• Cardiovascular Diseases
• Inflammation Research
• +4 more

Matthew Feinstein, MD MSc is a cardiologist and physician-scientist at Northwestern Medicine and a tenured Associate Professor at the Northwestern University Feinberg School of Medicine. His primary appointment is in the Department of Medicine (Cardiovascular Diseases), with secondary appointments in Preventive Medicine (Epidemiology) and Pathology. Dr. Feinstein serves as Director of Northwestern's Clinical and Translational Immunocardiology Program and Director of Medical Student Research at NUFSM. Dr. Feinstein received his bachelor of arts in sociology from Princeton University. He earned his MD and MSc in clinical investigation from Northwestern University Feinberg School of Medicine. He completed his internship and residency in internal medicine at Northwestern University and completed his fellowship in cardiovascular medicine at Northwestern University. Scientifically, Dr. Feinstein runs a translational research laboratory focused on immune plasticity in cardiovascular diseases, with particular interest in human models of chronic immune dysregulation. His work aims to identify and refine cellular and cell-extrinsic targets that reprogram immune responses to blunt and ultimately resolve pathologic inflammation. His research spans several key areas including HIV-associated cardiovascular disease, inflammation in heart failure, and immune mechanisms in atherosclerosis. Dr. Feinstein employs advanced techniques including single-cell analysis, immune profiling, and translational models to investigate the intersection of immunology and cardiovascular pathophysiology. Analysis of Dr. Feinstein's recent publications reveals a strong focus on the intersection of immunology and cardiovascular disease, particularly examining how chronic inflammatory states impact cardiac function. His work spans basic science investigations of immune cell dynamics in myocardial infarction, clinical studies of heart failure phenotypes in special populations including people with HIV, and translational research exploring novel therapeutic targets for inflammatory cardiovascular conditions. A notable trend is his increasing focus on the role of specific immune cell subsets and their metabolic programming in cardiovascular disease progression. Department of Medicine Junior Faculty of the Year Award (2024) Mihai Gheorghiade, MD Clinical Research and Mentoring Award (2024) Outstanding Teacher Award, Feinberg School of Medicine (2020) ASCI Young Physician Scientist Award (2019) Fellow of the American Heart Association (FAHA) (2019) Multiple teaching awards from 2011-2018 Dr. Feinstein serves as overall PI and Director of Northwestern's American Heart Association Strategically Focused Research Network on Inflammation and is the contact PI on several active National Institutes of Health R01 awards focused on Inflammation and Cardiovascular Diseases. He has mentored numerous medical students through Northwestern's Research Intensive Scholarly Emphasis (RISE) program and the Area of Scholarly Concentration (AOSC) program. As Director of Medical Student Research, he oversees research opportunities for medical students across various cardiovascular and immunological projects. Dr. Feinstein directs Northwestern's Clinical and Translational Immunocardiology Program, which brings together clinicians and researchers focused on the intersection of immunology and cardiovascular disease. His laboratory conducts cutting-edge research on immune mechanisms in cardiovascular conditions, particularly examining how chronic immune dysregulation contributes to cardiovascular pathologies. The program collaborates with multiple centers including the Center for Human Immunobiology and the Northwestern University Clinical and Translational Sciences Institute (NUCATS).

Benjamin DelawareView profile

Assistant Professor

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

Benjamin Delaware is an Assistant Professor in the Department of Computer Science at Purdue University since 2016. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 2013 under William Cook and Don Batory, following an M.Sc. in Computer Science from Washington University in St. Louis (2007) and a dual B.S. in Computer Science and B.A. in Russian from Truman State University (2005). Research focuses on program synthesis , formal verification , and relational program properties . Key contributions include KestRel (relational verification), PALM (LLM-assisted proof automation), and Clotho (distributed system testing). His publications span top venues like OOPSLA, PLDI, and POPL, with recent work (2025) on coverage-type-guided synthesis and LLM-integrated proof repair . He has received multiple scientific awards , including a SIGPLAN Distinguished Paper Award (2023) and CRII Award from NSF (2018). Ben advises a research group producing graduates such as Qianchuan Ye (now at SUNY Buffalo) and Kia Rahmani (UT Austin postdoc). He teaches graduate courses on program reasoning (CS560) and programming language design (CS456/CS565), with earlier teaching experience at UT Austin. Active in academic service , he served as Program Committee Co-Chair for RocqPL 2026 and CoqPL 2025 , and as Diversity, Equity, and Inclusion Chair at POPL 2023. His grants include NSF funding for input generator verification (2023-2026) and Cisco research on privacy-preserving computation (2022-2023).

• Catalysis
• Inorganic Chemistry
• Coordination Chemistry
• +4 more

Katsuaki Ishida is an Assistant Professor at Waseda University's Research Organization for Nano & Life Innovation, with a focus on catalytic processes for petroleum refining and resource chemistry. His career spans both academia and industry, including roles at JX Nippon Oil & Energy Corporation and NEDO. Doctor of Engineering from The University of Tokyo (1988) Teaching experience at Tsukuba University Graduate School since 2019 Research interests include catalyst development , hydrocracking processes , and ultra-low sulfur diesel production . His work explores molecular structure-activity relationships in catalytic systems and nitrogen/sulfur poisoning effects. Recent publications analyze branching structures in fuel oils, pore size optimization in catalysts, and transition metal sulfide dispersion techniques. Key awards include the Japan Petroleum Institute Award for Distinguished Papers (2008). He holds numerous patents in low-sulfur fuel production and has presented extensively on biofuels, membrane separation, and circular economy technologies.

• Sex Determination
• Temperature-Dependent Sex Determination
• Reptile Biology
• +3 more

Amanda Carter serves as an Assistant Professor in the Department of Biological Sciences at Northern Arizona University. Her research profile indicates active scholarly engagement with 24 publications spanning 2013-2024, an h-index of 13, and 438 citations according to Scopus metrics. She maintains an active research program with recent outputs including a 2024 book chapter on reptile sex determination. Dr. Carter's research centers on thermal biology and sex determination mechanisms, with fingerprint analysis revealing dominant focus areas: Sex Determination (100%), Sex Ratio (88%), Temperature-Dependent Sex Determination (79%), and Trachemys scripta biology (79%). Her work examines how climate variation affects developmental processes in reptiles and insects, particularly investigating temperature fluctuations, heat waves, and mean temperature shifts. Key model organisms include red-eared slider turtles (Trachemys scripta) and dung beetles (Onthophagus taurus, Phanaeus vindex). Her publication trends show increasing interdisciplinary impact, with 2024's book chapter synthesizing reptile reproductive biology, 2022 editorial on Anthropocene sex ratios, and multiple 2020-2021 studies on insect thermal plasticity. Research outputs demonstrate strong ecological relevance, evidenced by media coverage including 15 news outlets, 4 X posts, 1 Facebook page, and 32 Mendeley readers for key publications. No formal scientific awards are documented in the provided materials. Her advising activities show no listed students in the available records. Current research appears focused on climate change impacts on developmental plasticity across life stages, with recent work exploring metabolic tradeoffs in beetle pupae and thermal sensitivity in reptile sex determination systems.

Raunak SinhaView profile

Associate Professor

• Neural Processing in the Retina
• Fovea
• Neural Computation
• +5 more

Raunak Sinha is an Associate Professor in the Department of Neuroscience at the University of Wisconsin-Madison. His research focuses on neural signaling in the retina, with particular emphasis on the fovea—the central part of the primate retina that dominates visual perception and mediates the highest spatial and chromatic sensitivity. He made the first intracellular recordings from retinal output neurons in the fovea, uncovering a specialized neural circuit that operates without synaptic inhibition. Dr. Sinha's research interests include: Neural Processing in the Retina Fovea specialization and function Neural Computation Phototransduction diversity Sensory transduction mechanisms Functional diversity of retinal neurons across types and visual field His recent publications (2023-2025) demonstrate a strong focus on retinal circuit organization, neural plasticity, and regional differences in photoreceptor function across the primate retina. His work spans neuroscience, ophthalmology, and computational modeling with applications to understanding visual perception and developing treatments for retinal diseases. Dr. Sinha has received several prestigious awards including: Career advancement award from the Research to Prevent Blindness Foundation (2025) ICTR Translational Basic & Clinical Pilot Award (2024) David and Nancy Walsh Family Professor in Vision Science (2019) Multiple research grants from Alcon Research Institute, BrightFocus Foundation, and E. Matilda Ziegler Foundation Dr. Sinha mentors numerous graduate students, postdocs, and undergraduates. His lab has successfully guided several PhD students to completion including Abhilash Sawant (2024), Aindrila Saha (2025), and Jenna Nagy (2025). His students have received multiple awards including Kenzi Valentyn Vision Research Awards and best poster prizes at major conferences. The Sinha lab is part of the McPherson Eye Research Institute at UW-Madison and collaborates extensively with other labs including the Hoon Lab, Chapman Lab, and Gamm Lab. They utilize advanced techniques including electrophysiology, two-photon imaging, and connectomics to study retinal function.

• Demand Response
• Energy Storage
• Grid Integration
• +3 more

Rongxin Yin is a Researcher at Lawrence Berkeley National Laboratory, where they work within the Energy Storage and Distributed Resources Division (ESDR) and specifically the Grid Integration Group. Their work focuses on developing and implementing demand response strategies to improve grid reliability and efficiency, with particular expertise in commercial building applications. As part of the Demand Response Research Center (DRRC), they have contributed significantly to the development of tools and methodologies for assessing and implementing demand response programs. Rongxin Yin's research centers on demand response technologies, grid integration, and building energy efficiency. Their work examines how commercial buildings can provide valuable flexibility to the electric grid through thermal energy storage, load shifting, and automated demand response. They have developed and refined the Demand Response Quick Assessment Tool (DRQAT), which enables building operators and utilities to predict and optimize demand response potential. Their research spans both domestic applications in California and international contexts, particularly in India, where they've worked on grid reliability challenges. Analysis of Rongxin Yin's publications from 2008-2020 reveals a consistent focus on demand response implementation and quantification. The research shows progression from initial tool development and field demonstrations to more sophisticated frameworks for quantifying flexibility across different building types and geographic contexts. Their work increasingly addresses both technical and economic aspects of demand response, with growing emphasis on international applications and integration with evolving grid needs. The publications demonstrate strong collaboration with utilities, building operators, and international partners to validate approaches in real-world settings. Rongxin Yin has extensive experience in field demonstrations of demand response technologies, particularly in commercial buildings. Their work includes numerous projects with utilities in California and New York, as well as international collaborations in India. They have developed methodologies for cost-benefit analysis of building-grid integration and have contributed to major studies on demand response potential for California. Their research has been supported by funding from the Department of Energy and utility partnerships focused on grid reliability and efficiency. Rongxin Yin is part of the Grid Integration Group at Lawrence Berkeley National Laboratory, which focuses on studying infrastructure compatible with requirements of electric system grid operators and utility companies while serving electricity customer needs. Their work within this group has centered on developing practical tools and methodologies that bridge the gap between building energy management systems and grid operations, with particular emphasis on how commercial buildings can provide valuable services to the grid through demand response.

• Diabetes Research
• Autoimmune Diseases
• Genetic Epidemiology
• +2 more

Dr. Carolyn Padoa serves as a Lecturer in Chemical Pathology at the University of the Witwatersrand, Faculty of Health Sciences. Her academic career bridges laboratory medicine and clinical research with a dedicated focus on diabetes pathogenesis in African populations. Dr. Padoa holds a BSc Honours and PhD from the University of the Witwatersrand. Her doctoral work established the foundation for her ongoing investigation into population-specific disease mechanisms. Her research program centers on type 1 diabetes epidemiology in African contexts , with critical contributions in three domains: autoantibody characterization (GAD65, ZnT8, IA-2), genetic polymorphism studies (ENPP-1 variants affecting kidney function and adiposity), and vitamin D metabolism . This work reveals distinct disease subgroups in Black South Africans that challenge global diagnostic paradigms, particularly regarding antibody profiles in older-onset cases. Analysis of her 15 most recent publications shows consistent emphasis on African population specificity across immunological, genetic, and clinical domains. Her 2020-2022 work demonstrates how delayed sample processing affects renal markers in HIV care and identifies novel genotype-phenotype relationships in understudied populations. As an active educator and researcher, Dr. Padoa supervises students within the Chemical Pathology department. Her work is supported through university research channels and clinical collaborations across Johannesburg hospitals, with recent projects focusing on translating autoantibody findings into improved diagnostic criteria for African patients. Dr. Padoa's laboratory operations are integrated within the Department of Chemical Pathology's facilities, utilizing specialized equipment for autoantibody detection, genetic analysis, and metabolic studies. Her team collaborates with endocrinology and nephrology services to bridge laboratory findings with clinical applications in diabetes and kidney disease management.

Ion ParaschivoiuView profile

Professor

• Aerospace Engineering
• Wind Energy Systems
• Aircraft Icing
• +5 more

Ion Paraschivoiu is a Full Professor in the Department of Mechanical Engineering at Polytechnique Montréal, with a distinguished career spanning several decades in aerospace engineering and renewable energy research. His academic journey began at the Polytechnic University of Bucharest where he earned his B.Sc.A., M.Eng., and Ph.D., and has flourished at Polytechnique Montréal where he has established himself as a leading researcher in his fields. Professor Paraschivoiu's research interests focus on aircraft aerodynamics, particularly aircraft icing phenomena, dynamic stall characteristics, and wind energy systems with emphasis on vertical axis wind turbines (Darrieus type). His work bridges theoretical analysis, computational fluid dynamics, and practical applications in both aviation safety and sustainable energy production. His research has significant implications for improving aircraft safety in icing conditions and optimizing wind turbine performance for renewable energy generation. His publication record demonstrates consistent scholarly productivity with 124 documented publications including journal articles, conference papers, and book chapters. His recent work (including a 2025 publication) continues to advance knowledge in wind turbine ice dynamics and aerodynamic modeling. Professor Paraschivoiu has supervised 24 graduate students (3 doctoral and 21 master's), mentoring the next generation of engineers in aerospace and mechanical disciplines. 2005 - Doctorat honoris causa - Université Constantin Brâncuși 2002 - Doctor honoris causa - Université d'Oradea 1999 - Prix de la ministre de l'Éducation, du Loisir et du Sport - Gouvernement du Québec 1997 - Doctorat honoris causa - Université Polytechnique de Bucarest Professor Paraschivoiu's research has been consistently supported through grants that have enabled his work on aircraft icing simulation, wind turbine aerodynamics, and heat transfer applications. His collaborations with researchers like Frédérick Gosselin (as noted in a 2023 press review in La Presse) demonstrate ongoing engagement with contemporary challenges in wind energy technology. His educational materials have been recognized by the Quebec government for their quality and contribution to French-language engineering education.

Fadi FawazView profile

Associate Professor

• Economic Growth and Development
• Econometrics
• International Trade
• +3 more

Dr. Fadi Fawaz serves as Associate Professor in the Department of Economics and Finance at Tennessee State University's College of Business. With over fifteen years of academic experience, he previously held faculty positions at Texas Tech University, The University of South Florida, DePauw University, and the University of Jamestown. His expertise spans Development Economics, Economic Growth, Monetary Economics, Environmental and Energy Economics, International Economics, International Trade, and advanced Econometrics. Dr. Fawaz earned his Ph.D. in Economics from Texas Tech University in 2006, combining academic rigor with private sector experience as a consultant and upper-level manager. His research program centers on the complex relationships between economic growth and development, employing sophisticated spatial econometric techniques to analyze cross-border dependencies. Key investigations examine how telecommunications infrastructure drives growth in Latin America, governance impacts on development in HIDC/LIDC contexts, and spatial dynamics of global income inequality. His work consistently bridges theoretical econometrics with practical development challenges, particularly in emerging economies. Analysis of Dr. Fawaz's 15 publications (2007-2021) reveals a strong methodological evolution toward spatial analysis of economic phenomena. While maintaining core focus on growth-inequality relationships, his recent work (2017-2021) increasingly incorporates network effects and cross-border spillovers, reflecting emerging trends in development economics research. This trajectory demonstrates growing sophistication in modeling global economic interdependencies through advanced quantitative frameworks. His scholarly recognition includes: Most Outstanding Research Paper Award at IBEC 2019 for spatial analysis of trade-driven productivity gains As an educator, Dr. Fawaz teaches undergraduate courses in Microeconomics, Statistical Analysis, and Quantitative Methods, plus graduate-level Statistical Methods and Investments. His industry background enriches classroom discussions with real-world applications of economic theory. While specific grant details aren't provided, his active publication record through 2021 indicates ongoing research momentum, likely involving graduate student collaboration given his teaching responsibilities in quantitative graduate courses.

Thomas WiesView profile

Professor

• Program Analysis
• Verification
• Automated Deduction
• +4 more

Thomas Wies is a Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and Chair of the Computer Science Department. He is a member of the Analysis of Computer Systems Group and has a personal website. Affiliation: New York University Research Focus: Program Analysis, Verification, Automated Deduction, Concurrency Teaching: Principles of Programming Languages (undergraduate), Programming Languages (graduate), Rigorous Software Development Research Interests: His work centers on program analysis, verification of concurrent systems, automated deduction, and applications of separation logic. He develops tools like Raven, GRASShopper, and Sprout for verifying concurrent programs and search structures. Recent Articles (2025-2023): Focus on SMT-based verification, concurrent data structures, temporal safety effects, multiparty protocols, and separation logic extensions. These span conferences like OOPSLA, CAV, IEEE S&P, and TACAS. Scientific Awards: Best Paper at ISSRE 2019 Best Paper at ICFP 2014 Professional Activities: Organizer/Co-organizer of VerifyThis 2025, Program Chair roles in NETYS 2023, VMCAI 2022, and others. Active in PC roles for POPL, PLDI, CAV, and VMCAI. Students & Group: Advises PhD students including Elaine Li, Devora Chait-Roth, and Ekanshdeep Gupta. Group alumni include Kshitij Bansal, Siddharth Krishna, and Wei Wang.

Thomas P. JensenView profile

Researcher

• Program Analysis
• Software Security
• Abstract Interpretation
• +7 more

Thomas P. Jensen is a Researcher at INRIA Rennes , France, specializing in program analysis , software security , and abstract interpretation . With a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990) and a PhD from Imperial College, University of London (1992), he has led research teams at INRIA, including the Celtique project-team (2010-2022) and currently the Epicure project-team (since 2022). He holds a Habilitation à diriger des recherches from Université Rennes 1 (1999). Research Focus Program analysis with type-based and big-step semantics approaches Certification of static analysis tools for embedded systems Software fault isolation and language-based security Information flow control through hybrid static-dynamic analysis His work spans Java security (including Java Card and mobile telephony) and formal verification of compilers and sandboxes. Notable projects include JavaSec , AJACS , and the CominLabs cybersecurity network. He received a Best Paper Award at GPCE 2018. Publications & Editorial Recent publications focus on algebraic data types , automata-based verification , and control-flow analysis with applications in cybersecurity . He has contributed to the Strategic research and innovation roadmap for SPARTA (2022) as editor. His work appears in top venues like POPL , PLDI , ICFP , and ESOP . Leadership Director of Laboratoire d'Excellence CominLabs (since 2022) Co-chair of VMCAI 2026 and member of PriSC 2024 Program Committee

Qirun ZhangView profile

Associate Professor

• Program Analysis
• Programming Languages
• Software Engineering
• +4 more

Qirun Zhang is the Catherine M. and James E. Allchin Early Career Associate Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on program analysis, compiler optimization, and formal language theory, with numerous publications in top-tier programming language and software engineering conferences including PLDI, POPL, OOPSLA, and FSE. He teaches courses on compilers, program analysis, and software testing. Dr. Zhang's research interests center on improving software reliability and security through advanced program analysis techniques. He approaches problems from perspectives including computational complexity, analytic combinatorics, graph theory, and formal languages. His work often bridges theoretical foundations with practical applications in compiler design and program verification. His recent publications show a strong focus on context-free language reachability, Dyck-language based analyses, and SMT solving techniques. His research demonstrates consistent innovation in making program analysis more precise while maintaining scalability, with applications ranging from debug information validation to software debloating and type inference. PLDI Distinguished Paper Award (2020) SIGSOFT Distinguished Paper Award (2023) OOPSLA Distinguished Artifact Award (2022) Dr. Zhang actively mentors PhD and MS students, with current advisees including Camille Bossut and Benjamin Mikek. His service to the academic community includes Artifact Evaluation Co-Chair roles for PLDI 2025 and 2026, and program committee membership for numerous top conferences including PLDI, POPL, and OOPSLA. He leads research projects including SLOT, Context-Free Language Reachability with Transitive Redundancy Elimination, and Debug Information Validation.

Derek DreyerView profile

Professor

• Programming Language Theory
• Type Systems
• Formal Verification
• +5 more

Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.

Sankha Narayan GuriaView profile

Professor

• Programming Languages
• Type Systems
• Program Synthesis
• +2 more

Dr. Sankha Narayan Guria is a Professor at the University of Kansas specializing in programming languages research. He completed his PhD at the University of Maryland, College Park and has industry experience at Meta (Facebook), BrowserStack, and Firefox. His primary research focuses on programming language theory, type systems, and automated program synthesis techniques. His research explores cutting-edge techniques in program verification and synthesis, including abstract interpretation-guided synthesis, refinement types for security applications, and effect-guided program synthesis. His work consistently appears at top-tier conferences including PLDI, ECOOP, and SPLASH. Dr. Guria actively contributes to the programming languages community through committee service, including roles as Artifact Evaluation Co-Chair for SPLASH/OOPSLA (2023-2025) and committee member for PLDI Research Artifacts (2020-2026). He maintains an active research profile with publications spanning programming language design, type systems, and formal methods.