جست‌وجوی استاد و پژوهشگر

Kwon Yun-jeongمشاهده پروفایل

دانشیار مدعو

• Child Psychology
• Play Therapy
• Multicultural Family Studies
• +۳ مورد دیگر

Kwon Yun-jeong serves as an Adjunct Associate Professor in the Department of Child and Family Studies at Seoul National University's College of Human Ecology. She concurrently directs the Korean Association of Applied Behavior Analysts (2022–present) and Mammoth Children and Youth Counseling Center (2019–present), while providing counseling services at the Central Childcare Comprehensive Support Center (2017–present). Her specialty focuses on clinical child psychology with emphasis on therapeutic interventions for diverse family structures. Her academic foundation includes: Ph.D. in Child and Family Studies (Seoul National University, 2007–2016) Master's in Child and Family Studies (Seoul National University, 2003–2007) Bachelor's in Child and Family Studies (Seoul National University, 1998–2002) Research centers on play therapy applications for children with ADHD, trauma, and behavioral issues, alongside multicultural family dynamics including attachment patterns and school adaptation. Her work demonstrates clinical innovation through parent-child play therapy models and culturally responsive interventions for North Korean refugees. Key themes include grief processing in bereavement, metacognitive anxiety strategies, and maternal behavioral control impacts on child development. Publication analysis (2010–2018) reveals evolving expertise from foundational multicultural family studies toward specialized therapeutic techniques. Early work established frameworks for school adaptation programs and language environments, while later research (2015–2018) developed targeted play therapy protocols for obsessive behaviors, ADHD management, and trauma recovery—showcasing clinical refinement through case study methodology. Research leadership includes: National Institute of Korean Language textbook development for multicultural families (2010) Daejeon Western Office of Education school adaptation program (2009) Jeju Provincial Office of Education multicultural family initiatives (2008) Ministry of Health and Welfare Comprehensive Survey on Children and Adolescents (2009) Her Mammoth Children and Youth Counseling Center functions as a clinical hub for evidence-based interventions, while directorship of the Korean Association of Applied Behavior Analysts positions her at the forefront of professional behavior analysis standards in South Korea.

Isaac Howleyمشاهده پروفایل

استادیار

• Trauma Surgery
• Surgical Critical Care
• Public Health
• +۳ مورد دیگر

Isaac Howley, MD, MPH, FACS, serves as an Assistant Professor in the Department of Surgery at Morehouse School of Medicine, specializing in Trauma Surgery and Surgical Critical Care. Board-certified in Surgery, Surgical Critical Care, and Public Health and General Preventive Medicine, he practices at Grady Memorial Hospital in Atlanta with clinical expertise in trauma systems and critical care resuscitation. His educational foundation includes a Bachelor of Science in Biology from Yale University, a Master of Public Health from Johns Hopkins Bloomberg School of Public Health, and a Medical Doctorate from the Brown-Dartmouth Combined Program in Medicine. This multidisciplinary training informs his integrated approach to trauma care and public health. Dr. Howley's research spans trauma triage optimization, transfusion protocols in hemorrhagic shock, vascular and neurosurgical trauma management, and trauma system epidemiology. His work bridges clinical practice with population health, examining resource utilization, protocol adherence, and outcomes across diverse trauma scenarios including TBI, vascular injuries, and mass casualty events. Analysis of his 14 recent publications (2017-2024) reveals consistent focus on practical trauma care challenges: refining triage criteria, optimizing blood product use in massive transfusion, evaluating vascular imaging techniques, and identifying predictors for neurosurgical intervention. His studies frequently employ performance improvement frameworks and comparative outcome analyses to drive evidence-based protocol changes. Scientific recognition includes: 2022-2024 Castle Connolly Top Doctors 2020 R Adams Cowley Shock Trauma Hero Award 2018 Aurelio Rodriguez, MD Award for education and leadership 2018 Excellence in Critical Care Knowledge Award 2018 Honorable mention for Surgical Critical Care Research Excellence 2017 Anthony L. Imbembo Resident Teaching Award Through the AAST PROOVIT Study Group and institutional performance improvement programs, Dr. Howley actively contributes to trauma system advancement. His dual expertise in surgical critical care and public health positions him uniquely to address health disparities in trauma outcomes while mentoring future surgeons through clinical teaching and research supervision.

Hermina Jakupovicمشاهده پروفایل

پژوهشگر ارشد

• Genetic Epidemiology
• Type 2 Diabetes Research
• Obesity Genetics
• +۳ مورد دیگر

Hermina Jakupovic is a Postdoctoral Researcher at the University of Copenhagen's Faculty of Health and Medical Sciences, Department of Public Health, specifically within the Section for Health Data Science and AI. Her primary affiliation spans genetic epidemiology and public health data science, with a focus on type 2 diabetes and obesity research. Position: Postdoc, Section for Health Data Science and AI Institution: University of Copenhagen Department: Public Health Contact: hermina.jakupovic@sund.ku.dk | ORCID: 0000-0001-9667-9406 Her research centers on genetic and environmental interactions in metabolic diseases, particularly examining how lifestyle factors and genetic predisposition jointly influence type 2 diabetes risk. Key investigations include fetal insulin resistance effects on birth weight, leptin regulation in early adiposity, and dietary fat interactions with genetic risk. Her work frequently employs large-scale genomic datasets and multi-ancestry study designs to uncover gene-environment interactions. Analysis of her 11 publications (2019-2022) reveals dominant themes in genetic epidemiology of metabolic disorders , with high-impact contributions to diabetes research. Notable trends include the 2020 Diabetologia paper (168 Scopus citations) demonstrating obesity and lifestyle factors increase diabetes risk independent of genetic predisposition, and multi-ancestry lipid studies identifying physical activity-interacting loci. Her methodological approach integrates genomic analysis with public health data science frameworks. While no formal scientific awards are documented in the provided materials, her research has garnered significant attention with publications referenced in patents, covered by 34+ news outlets, and shared by 108+ X users. Her 2020 Diabetes paper alone attracted 395 Mendeley readers. Dr. Jakupovic actively collaborates within international consortia including the Leptin Exomechip Collaboration and LifeLines Cohort Study. Her work involves extensive data analysis from population cohorts, though specific grant funding or lab leadership details are not provided in the source materials. Current research directions appear focused on refining genetic risk prediction models incorporating lifestyle variables.

• Materials Science Education
• Digital Assessment Methods
• Student-Active Learning
• +۴ مورد دیگر

Gerhard Henning Olsen serves as an Associate Teaching Professor in the Department of Materials Science and Engineering at the Norwegian University of Science and Technology (NTNU), where he directs both the bachelor's programme in Chemistry and Materials Engineering (BIKOM) and the master's programme in Materials Science and Engineering (MSMT). His teaching portfolio centers on foundational courses including General Chemistry for Engineers and Introduction to Materials Science, with emphasis on innovative pedagogical approaches for engineering students. Dr. Olsen completed his MSc in Materials Chemistry (2007-2012) and PhD in Materials Science (2012-2016, advised by Tor Grande) at NTNU, followed by postdoctoral research at Cornell University (2017-2019). His academic journey reflects deep integration of Norwegian and international research training. His research bridges educational innovation and advanced materials physics. In education, Olsen pioneers digital exam systems and student-active learning methodologies, particularly for laboratory instruction. His materials science work investigates structure-property relationships in functional oxides, specializing in defect chemistry and strain engineering of ferroelectric thin films through combined computational (DFT) and experimental approaches. This dual focus enables cross-pollination between pedagogical development and materials discovery. Publication analysis (2012-2021) reveals progressive specialization: early work established fundamental mechanisms in tungsten bronzes and manganites, while recent research addresses applied challenges in tunable dielectrics for millimeter-wave applications and thin-film manufacturing. This trajectory demonstrates increasing technological relevance while maintaining theoretical rigor in electronic materials design. No major scientific awards or fellowships are documented in available sources. As an educator, Olsen has supervised 28 bachelor's students across twelve externally collaborative projects and two master's theses (as of spring 2025), with recent work focusing on chemistry education research. His supervision model emphasizes industry-academia partnerships, reflecting NTNU's engineering education philosophy. While specific grant details aren't public, his sustained publication output suggests consistent project funding typical for materials science academics.

Hyeran Helen Jeonمشاهده پروفایل

استادیار

• Bone Remodeling
• Orthodontic Tooth Movement
• Wound Healing
• +۳ مورد دیگر

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 .

• Catalysis
• Inorganic Chemistry
• Coordination Chemistry
• +۴ مورد دیگر

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
• +۳ مورد دیگر

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 Sinhaمشاهده پروفایل

دانشیار

• Neural Processing in the Retina
• Fovea
• Neural Computation
• +۵ مورد دیگر

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
• +۳ مورد دیگر

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
• +۲ مورد دیگر

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 Paraschivoiuمشاهده پروفایل

استاد

• Aerospace Engineering
• Wind Energy Systems
• Aircraft Icing
• +۵ مورد دیگر

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 Fawazمشاهده پروفایل

دانشیار

• Economic Growth and Development
• Econometrics
• International Trade
• +۳ مورد دیگر

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 Wiesمشاهده پروفایل

استاد

• Program Analysis
• Verification
• Automated Deduction
• +۴ مورد دیگر

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. Jensenمشاهده پروفایل

پژوهشگر

• Program Analysis
• Software Security
• Abstract Interpretation
• +۷ مورد دیگر

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 Zhangمشاهده پروفایل

دانشیار

• Program Analysis
• Programming Languages
• Software Engineering
• +۴ مورد دیگر

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.