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

Clifford P. Stephensمشاهده پروفایل

مدرس ارشد

• Corporate Finance
• Dividend Policy
• Payout Policy
• +۲ مورد دیگر

Dr. Clifford P. Stephens serves as Senior Instructor and Director of Graduate Studies for the MS Finance Program within the Department of Finance at Louisiana State University. With over 25 years of teaching experience, he specializes in Corporate Finance, Investments, and Financial Institutions, bringing extensive practical knowledge to graduate finance education. His academic credentials include: PhD in Finance from the University of Arizona (1996) MBA from University of Colorado-Colorado Springs (1992) BS in Accounting from University of Northern Colorado (1985) Dr. Stephens' research centers on Corporate Finance with deep expertise in dividend and payout policy, IPO lockup provisions, and managerial incentives. His work examining share repurchase motivations, exchange listing decisions, and payout policy tradeoffs has been published in premier finance journals and accumulated over 2,500 citations, demonstrating significant scholarly influence despite his teaching-focused appointment. Analysis of his publication timeline reveals sustained focus on corporate payout mechanisms, with recent work (2019) investigating NYSE-Nasdaq migration effects while maintaining continuity with earlier foundational research on repurchase wealth effects (2003) and payout flexibility (2000), indicating consistent research trajectory in corporate financial policy. Key recognition includes: LOUIS OER Commons Faculty Cohort grant from Louisiana Board of Regents As Director of Graduate Studies, Dr. Stephens oversees the MS Finance program's academic operations and student development. His grant activity demonstrates commitment to educational innovation through open resource development, complementing his research contributions to finance scholarship. His dual role bridges theoretical finance research with practical graduate program leadership. Dr. Stephens conducts his research and teaching within LSU's Department of Finance without indication of a separately branded laboratory or research center.

Julia Kursellمشاهده پروفایل

استاد

• Musicology
• History of Human Sciences
• Music History
• +۳ مورد دیگر

Julia Kursell is a Professor of Musicology in the Faculty of Humanities at the University of Amsterdam, where she has established herself as a leading scholar at the intersection of musicology, history of science, and sound studies. Her research program examines the historical relationships between scientific understanding of sound and musical practice, with particular focus on how concepts from auditory physiology have informed compositional techniques from the 19th century to the present. Her research interests span multiple domains of inquiry: History of auditory physiology and its relationship to musical composition Sound experimentation in the Russian avant-garde Spatial dimensions of musical composition, particularly in John Cage's work Epistemological connections between laboratory science and musical practice Development of acoustic media technologies and their impact on musical perception Kursell's recent publications reveal a consistent focus on how physical phenomena of sound perception—such as combination tones—create multiple layers of musical meaning that operate simultaneously at physiological, memorial, and semantic levels. Her work demonstrates how scientific concepts migrate into artistic practice, transforming both domains in the process. Rather than treating science and art as separate spheres, her research reveals their co-constitution through shared material practices and conceptual frameworks. As a member of the Sound Studies Research Group at the University of Amsterdam, Kursell has organized significant scholarly events including workshops on 'Sounds of Science' that examine the role of sound in configurations among science, technology, and the arts between 1800 and 1930. Her collaborative work with scholars like Myles W. Jackson has helped establish sound studies as a vital interdisciplinary field connecting musicology with history of science, media studies, and sensory anthropology.

• Social inequality in mental health
• Epidemiology
• Psychometrics
• +۶ مورد دیگر

Professor Tormod Bøe is a distinguished researcher at the Department of Social Psychology, Faculty of Psychology, University of Bergen, with a concurrent appointment at NORCE Health and Society - RKBU at NORCE Research AS. His academic career spans multiple significant research projects including the extensive 'Children in Bergen' study (with 169 published results), the 'PACT - Pathways to Active Citizenship' project, and the 'HEIFA' project focused on family health and quality of life. Professor Bøe's research primarily examines social inequality in mental health through epidemiological and psychometric approaches. His work spans several critical areas including adolescent mental health, refugee mental health (particularly among unaccompanied minors), socioeconomic determinants of psychological well-being, and developmental trajectories of mental health across the lifespan. He has made significant contributions to understanding how family affluence, parental unemployment, and social gradients impact mental health outcomes from adolescence to midlife. His recent publication record (2023-2025) demonstrates remarkable productivity with numerous high-impact articles in journals such as BMC Public Health, Social Psychiatry and Psychiatric Epidemiology, and Child Indicators Research. These publications reveal a consistent focus on mental health inequalities, methodological rigor in psychometric assessment, and practical applications for public health interventions. His research often utilizes large-scale Norwegian cohort studies and registry data, providing valuable insights with both national and international relevance. Professor Bøe's scientific contributions include: Extensive work on refugee mental health and integration Validation of socioeconomic measurement tools like the Family Affluence Scale Examination of trauma exposure and mental health outcomes in children and adolescents Analysis of how parenting practices mediate social gradients in mental health Research on protective factors for resilience among vulnerable populations As an educator, Professor Bøe teaches courses including PROPSY315, PSYK202, and PROPSY301B at the University of Bergen, connecting his teaching closely with his research expertise in social psychology and mental health epidemiology. His research group for public mental health serves as a hub for interdisciplinary collaboration on pressing mental health issues in contemporary society.

Esther Barrena Villasمشاهده پروفایل

استاد پژوهشی

• Organic Electronics
• Nanoscale Characterization
• Surface Science
• +۵ مورد دیگر

Dr. Esther Barrena Villas is a Research Professor (CSIC Tenured Scientist) at the Institute of Materials Science of Barcelona (ICMAB-CSIC), where she leads the Group of Physical Chemistry of Surfaces and Interfaces . She holds a PhD in Physics from the Autonomous University of Madrid (2001) and has held research positions at Max-Planck-Institute (Germany), NIMS Tsukuba (Japan), and Lawrence Berkeley National Lab. Her research investigates fundamental properties of organic interfaces for electronic devices, with expertise in: Organic electronics : Transistors, photovoltaics, and doping mechanisms Nanoscale characterization : STM, AFM, KPFM, and grazing-incidence X-ray diffraction Molecular processes : Self-assembly, thin-film growth, and nanotribology She actively promotes science outreach through school engagements and public events.

José Fragoso Santosمشاهده پروفایل

استادیار

• JavaScript
• Separation Logic
• Symbolic Execution
• +۲ مورد دیگر

José Fragoso Santos is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon, and a member of INESC-ID where he conducts research as part of the SAT group. His research focuses on embedding formal methods into software development processes, with particular emphasis on JavaScript program analysis and verification. His educational background includes: PhD in Computer Science from University of Nice Sophia Antipolis (2014) Master's degree in Information Systems and Computer Engineering from Instituto Superior Técnico, Universidade de Lisboa (2008) Dr. Santos' research centers on JavaScript verification, symbolic execution, and secure information flow. He led the development of JaVerT, the first separation-logic-based tool for JavaScript analysis and testing, which has gained significant interest from both industry and academia. His work bridges theoretical formal methods with practical applications, particularly in web security and program analysis. He has made substantial contributions to understanding JavaScript semantics, symbolic execution techniques, and secure information flow in web applications, with publications in premier venues like PLDI, POPL, and ECOOP. His recent publications demonstrate a strong focus on symbolic execution for JavaScript and related languages, with applications in web security and program verification. The research shows progression from foundational work on information flow security to advanced techniques like compositional symbolic execution and multi-language analysis platforms. His work on JaVerT and Gillian has established significant research directions in program analysis for dynamic languages. His notable scientific achievements include: Facebook research award for the JaVerT project Dr. Santos has supervised numerous graduate students on projects related to JavaScript verification, symbolic execution, web security, and formal methods. His research has practical applications, as evidenced by the collaboration with Amazon R&D engineers to verify critical components of the AWS Encryption SDK using JaVerT. He has served on program committees for major conferences including PLDI, OOPSLA, and IJCAI, demonstrating his standing in the programming languages community. As a member of the SAT group at INESC-ID, Dr. Santos collaborates with researchers working on formal methods, program verification, and software security. His current projects include extending JavaScript symbolic execution to Web Workers, developing formal semantics for JavaScript regular expressions, and creating first-order solvers for program analysis. He continues to push the boundaries of what's possible in JavaScript program analysis and verification.

Umang Mathurمشاهده پروفایل

استادیار

• Formal Methods
• Logic
• Programming Languages
• +۷ مورد دیگر

Umang Mathur is a Presidential Young Professor (Assistant Professor) in the School of Computing at the National University of Singapore (NUS), where he leads the FOCS Lab and is affiliated with PLSE@NUS (Programming Languages and Software Engineering group). He has established himself as a leading researcher in Formal Methods, with significant contributions to concurrency analysis and program verification. Dr. Mathur received his PhD from the University of Illinois at Urbana-Champaign under Prof. Mahesh Viswanathan. Prior to joining NUS, he worked as a Research Scientist at Facebook Inc. and as a Research Fellow at the Simons Institute for the Theory of Computing. His doctoral work was supported by a Google PhD Fellowship. PhD: University of Illinois at Urbana-Champaign Current Position: Presidential Young Professor at NUS School of Computing Previous Positions: Research Scientist at Facebook, Research Fellow at Simons Institute His research spans Formal Methods and Logic with applications to Programming Languages, Software Engineering, and Cyber-Physical Systems. Dr. Mathur specializes in developing algorithmic techniques for analysis of concurrent software and understanding decidability boundaries in verification and synthesis. His work bridges theoretical foundations with practical implementations, making verification techniques more efficient for real-world systems. Analysis of his recent publications reveals a strong focus on practical concurrency analysis, with many papers addressing race detection, deadlock prediction, and memory model verification. His research consistently demonstrates how theoretical computer science can solve practical software engineering challenges, particularly in making verification techniques scalable and efficient for industrial applications. Google PhD Fellowship ESEC/FSE 2018 Distinguished Paper Award ASPLOS 2022 Best Paper Award POPL 2023 ACM SIGPLAN Distinguished Paper Award CPP 2024 Distinguished Paper Award Dr. Mathur actively mentors numerous PhD students, Master's students, and undergraduates through the FOCS Lab. His research group has received support from Google Research grants and other funding sources. He serves on program committees for major conferences including PLDI, POPL, and ASPLOS, and has organized events like PLMW@PLDI. His teaching includes courses on Data Structures and Algorithms, Foundations of Logic in Computer Science, and advanced topics in Programming Languages. As director of the FOCS Lab, Dr. Mathur oversees a vibrant research group focused on foundational aspects of computer science with direct applications to programming languages and software engineering. The lab maintains strong international collaborations and regularly publishes in top-tier venues, reflecting its significant contributions to the field of formal methods and programming languages.

• Speech Synthesis
• Voice Quality Analysis
• Environmental Noise Mapping
• +۳ مورد دیگر

Joan Oró is a researcher at the Blanquerna Department of Physical Activity and Sport Sciences and Sports Management within the Faculty of Psychology, Educational Sciences and Sports at Blanquerna - Ramon Llull University. His work focuses on speech synthesis, voice quality analysis, and environmental noise mapping, with a particular emphasis on computational modeling and acoustic sensor networks. Research Interests: Speech signal processing, finite element modeling of phonation, environmental noise monitoring, and machine learning applications in acoustic analysis. Projects: Key contributions to the DYNAMAP initiative for real-time road traffic noise mapping and the FEMVoQ project for 3D voice quality simulation. Publications: Recent work explores vocal tract-glottal source interactions, spectro-temporal noise analysis, and intelligent clustering architectures, spanning interdisciplinary applications in acoustics, signal processing, and urban planning.

Mioara Zoutewelle-Terovanمشاهده پروفایل

پژوهشگر ارشد

• Life-course research
• Family formation
• Criminal offending
• +۴ مورد دیگر

Mioara Zoutewelle-Terovan is a Research Fellow at the Netherlands Interdisciplinary Demographic Institute (NIDI), working within the Families and Generations department. Her interdisciplinary research integrates life-course concepts, theories, and methodologies from demography, sociology, psychology, and criminology to examine how disadvantaged backgrounds influence adult outcomes across the life course. She completed her undergraduate studies in Psychology in Romania, followed by a Master's program in Methodology and Statistics at Leiden University. She earned her PhD from the University of Amsterdam with her dissertation focusing on the relationship between family life events and criminal offending among high-risk populations. Since 2015, she has been affiliated with NIDI as a post-doctoral researcher within an ERC Advanced Grant project. Dr. Zoutewelle-Terovan's research expertise centers on life-course trajectories, with particular focus on how childhood adversity and non-normative family transitions shape adult outcomes in family formation, well-being, and criminal engagement. She employs sophisticated methodological approaches including causality analysis and cross-national comparative designs to understand how social contexts shape individual life trajectories, especially among disadvantaged populations. Her recent scholarly output demonstrates consistent focus on the interplay between family dynamics and criminal behavior across the life course, with particular attention to timing effects around major life transitions. Her work often examines gender differences and cross-national variations in these processes, contributing significantly to our understanding of how social context moderates life course pathways. Her major scientific achievements include: NWO Veni-grant (2019) for research on children in out-of-home care Participation in an ERC Advanced Grant project at NIDI since 2015 Co-editing the influential volume 'Social background and the demographic life course: Cross-national comparisons' (Springer, 2021) Dr. Zoutewelle-Terovan has secured significant research funding for projects examining the long-term consequences of growing up in out-of-home care, with particular focus on how youth disadvantage affects adult family transitions, employment behavior, and criminal engagement. Her methodological expertise includes advanced statistical techniques for longitudinal and cross-national data analysis, including meta-analysis approaches for small sample sizes. Her research is conducted within NIDI's Families and Generations department, which focuses on how family dynamics intersect with broader social structures to shape individual life courses across different national contexts, with particular attention to vulnerable populations and intergenerational transmission of disadvantage.

• Isotope-Ratio Mass Spectrometry
• Marine Sediment Geochemistry
• Sulfur Cycling in Hydrothermal Systems
• +۳ مورد دیگر

Harald Strauss is a Professor in the Faculty of Geosciences at the University of Münster, Germany, with over 235 publications and an h-index of 59. His research focuses on isotope geochemistry applied to marine sedimentary systems, hydrothermal environments, and early Earth processes. Current affiliations include active collaborations with research teams in Spain (Central Iberian Zone), South China Sea methane seep studies, and Oman Drilling Project investigations. Professor Strauss's research interests center on biogeochemical cycling, particularly sulfur and iron isotope systematics in modern and ancient environments. His work examines methane seep systems, hydrothermal vents, and Archean-Eoarchean geological records to understand Earth's evolution. Key methodologies include SIMS analysis of authigenic minerals, multi-isotope systematics, and experimental approaches to quantify environmental effects like sea spray on isotopic signatures. Analysis of his 15 most recent publications reveals consistent focus on isotope geochemistry applied to paleoenvironmental reconstruction, with strong emphasis on sulfur cycling in diverse settings from modern hydrothermal systems to ancient sedimentary records. His work bridges field observations, laboratory analysis, and experimental approaches to address fundamental questions in Earth system evolution. Scientific contributions include: Pioneering work on sulfur isotope patterns in ancient seep environments Insights into Eoarchean mantle processes through sulfur isotope evidence Quantification of sea spray effects on coastal isotope systems Development of pyrite trace element proxies for magmatic volatile influx Advancements in understanding hydrothermal sulfur cycling in arc/back-arc systems Professor Strauss maintains an active research program with regular fieldwork in diverse geological settings and supervision of collaborative projects. His laboratory group employs advanced geochemical techniques to investigate Earth's biogeochemical cycles across geological time, with particular strength in integrating multiple isotope systems for paleoenvironmental reconstruction. Current projects include studies of Ediacaran-Cambrian transition records and modern analog systems for early Earth processes.

Robert Kelley Bradleyمشاهده پروفایل

استادیار

• Nanomaterials
• Polymer Engineering
• Materials Science
• +۳ مورد دیگر

Dr. Robert Kelley Bradley serves as Assistant Professor in the Department of Industrial and Systems Engineering at Lamar University, with additional experience as a Visiting Faculty Member at Oak Ridge National Laboratory (ORNL) through the DOE Visiting Faculty Program in 2021. His educational background includes a Ph.D. in Physical Chemistry from Rice University (2000), where he completed his thesis "Large Scale Production of Single Wall Carbon Nanotubes" under Nobel laureate Prof. Richard Smalley, and a B.A. in Biochemistry from Beloit College (1996). Dr. Bradley's research program centers on Nanomaterials and Entrepreneurship, with significant projects in thermoplastic creep behavior, drug delivery microstructures, silicone ferroelectrets, and single-wall carbon nanotube production. His work integrates materials science with industrial engineering to solve practical problems in corrosion prevention, extreme-environment applications, and manufacturing processes. Recent publications demonstrate strong activity in polymer engineering and nanomaterial characterization. His publication record shows consistent output since 1998, with recent emphasis (2021-2025) on thermoplastic composites, creep modeling, and nanomaterial applications. The research spans Materials Science, Polymer Engineering, and Nanotechnology, with practical focus on industrial implementation and educational innovation. Dr. Bradley actively mentors undergraduate researchers through Lamar University's SURF program and has secured substantial research funding: CMMS Research Grant Competition (2023): $99,572 for thermoplastic composite pipe support pads TARC Research Pitch (2023): $10,000 for multi-medium robots with smart skin CICE Grant (2021): $4,000 for single-wall carbon nanotube research Multiple SURF awards ($1,000 each) from 2020-2025 for undergraduate projects His collaborative projects involve Prairie View A&M, West Texas A&M, and Texas A&M universities, focusing on interdisciplinary applications including space technologies and environmental materials. Dr. Bradley also contributes to engineering education through online degree programs and hands-on manufacturing curriculum development.

Veli-Matti Kerminenمشاهده پروفایل

استاد

• Atmospheric Science
• Earth System Research
• Global Atmosphere-Earth surface feedbacks
• +۵ مورد دیگر

Veli-Matti Kerminen is a Professor at the Institute for Atmospheric and Earth System Research (INAR) at the University of Helsinki, holding a Docentship at the Department of Physics and serving as Supervisor for the Doctoral Programme in Atmospheric Sciences. His research focuses on Global Atmosphere-Earth surface feedbacks, with particular emphasis on atmospheric new particle formation and aerosol chemistry. His research interests span atmospheric science, Earth system research, and climate interactions, with specific expertise in aerosol formation processes, biogenic emissions from forests, and urban air pollution mechanisms. Professor Kerminen has made significant contributions to understanding how particles form and grow in the atmosphere and how these processes impact air quality and climate systems. Analysis of his recent publications (2021-2025) reveals a strong focus on advanced measurement techniques including drone-based atmospheric sampling, aerosol chemistry in polluted environments, and the evolution of new particle formation events into climate-relevant aerosols. His work bridges fundamental atmospheric processes with practical environmental concerns. Editor for Atmospheric Research (2009-2010) Editor for Aerosol and Air Quality Research (2009-2010) UN IPCC Expert Member (2009-2010) Participant in EMME-CARE launching event (2019) Professor Kerminen currently participates in the University profiling funding 7 InterEarth RESET project (2023-2028) and previously led research on biogeochemical feedbacks from forest harvesting to climate change (2019-2023). His laboratory work within INAR focuses on developing innovative atmospheric measurement techniques, particularly utilizing drone technology for vertical profiling of atmospheric components in both urban and forested environments.

• Drugs and crime
• Youth crime
• Harm reduction
• +۴ مورد دیگر

Professor Jason Payne serves as Head of School for the School of Criminology and Criminal Justice at Griffith University and is the Director of the Griffith Criminology Institute. He is a Professor with expertise in drugs and crime, youth crime, harm reduction, and criminal justice program evaluation, employing mixed-method research approaches with particular strength in quantitative measurement of recidivism. His research interests include: Drugs and crime relationships Youth crime patterns and interventions Harm reduction strategies Criminal justice program evaluation methodologies Quantitative measurement of recidivism Professor Payne's recent publications demonstrate a strong focus on substance use and crime, victimization patterns, juvenile justice issues, and criminal justice evaluation. His work frequently employs longitudinal and cohort study designs, with several projects focusing on Australian and Chilean populations. He has published extensively in top criminology journals on topics ranging from drug courts to family violence and post-separation parenting technologies. Professor Payne has secured multiple research grants including: Consultancy with the Department of Justice and Attorney-General (QLD) Research with the Australian Institute of Criminology Griffith University Internal Grants Consultancy with MICAH Projects Ltd Research with the Department of Communities & Justice (NSW) As an educator, Professor Payne has taught courses including CommunityMATTERS, Young People and Crime, Social Advocacy Project, The Criminological Imagination, and Alcohol, Drugs and Crime. He has received teaching grants including Vice-Chancellors Teaching and Innovation Grants and CASS Student Experience Grants. Professor Payne currently supervises four doctoral students on projects related to youth homelessness, routine activities theory, drug decriminalization, and substance use treatment outcomes in Chile.

Daniel Wichsمشاهده پروفایل

استاد

• Cryptography
• Computer Security
• Algorithms
• +۷ مورد دیگر

Daniel Wichs is a tenured Professor at the Khoury College of Computer Sciences at Northeastern University in Boston. He is a prominent researcher in the field of cryptography and serves as a Senior Scientist at NTT Research. His academic journey includes a PhD from New York University under Yevgeniy Dodis, a postdoctoral fellowship at IBM Research T.J. Watson, and degrees from Stanford University. Current Position: Professor at Northeastern University Prior Positions: IBM Josef Raviv Memorial Postdoctoral Fellow (2011-2013) Education: PhD NYU (2011), BS/MS Stanford (2005) Professor Wichs specializes in cryptography with research interests spanning computing on encrypted data, program obfuscation, lattice-based cryptography, information-theoretic cryptography, and foundational aspects of cryptography. He also maintains broad interests in computer security, algorithms, complexity theory, coding theory, and information theory. His research group includes current PhD students Manu Kondapaneni, LaKyah Tyner, and Ethan Mook, along with numerous successful alumni who have become professors at institutions worldwide. His recent publications demonstrate a strong focus on advanced cryptographic primitives including homomorphic encryption, zero-knowledge proofs, private information retrieval, and functional encryption. These works frequently appear at top-tier conferences like STOC, FOCS, CRYPTO, and EUROCRYPT, with several receiving best paper awards. His research often bridges theoretical foundations with practical applications in privacy-preserving computation. Best Paper at STOC 2023 Alfred P. Sloan Research Fellowship (2018) NSF CAREER Award (2018) J.P. Morgan Faculty Research Award (2022) IBM Postdoctoral Fellowship (2011-2013) Professor Wichs actively contributes to the academic community through service as Area Chair for CRYPTO 2025 and EUROCRYPT 2024, Program Chair for ITC 2020, General Chair for STOC 2016, and membership on numerous program committees. He teaches advanced courses including Foundations of Cryptography (CS 7810) and Theory of Computation (CS 3800), and has organized events like the Charles River Crypto Day and the Simons Summer Program in Cryptography 2025. His research group operates at the forefront of cryptographic theory, addressing fundamental questions about secure computation on encrypted data while developing practical cryptographic tools for real-world applications.

• EU Law
• European Human Rights
• Holocaust legacies in European legal systems
• +۴ مورد دیگر

Dr. Carole Lyons is a Lecturer at Robert Gordon University's School of Law & Social Sciences, specializing in EU Law, European Human Rights, Holocaust legacies in European legal systems, Transitional Justice, and EU Migration issues. Previously holding the prestigious Jean Monnet Chair in EU Law, she brings extensive expertise in European legal frameworks and their historical contexts. Her research interests focus on the intersection of historical events with contemporary legal frameworks, particularly examining how historical memory shapes current responses to migration crises and transitional justice processes. Dr. Lyons investigates the legacy of events like the Holocaust and Katyn massacre within European human rights systems, exploring tensions between historical memory and legal responses to contemporary challenges including Brexit, EU migration policies, and the Ukraine war's human rights implications. Dr. Lyons' publication record shows a consistent trajectory from early work on EU human rights case law (2002-2003) toward increasingly focused examinations of historical justice frameworks. Her recent work (2023-2025) demonstrates sophisticated analysis connecting historical atrocities with current legal challenges, particularly regarding migration 'pushbacks,' reparations for transatlantic slavery, and the human rights dimensions of the Ukraine conflict. This evolution reflects deepening engagement with how legal systems process historical trauma while addressing contemporary justice needs. RGU STAR Award for Online Lecturer of the Year 2023/24 External Examiner appointment at University of Glasgow (2024) Invited participant at Scottish Parliament Constitution Committee event on post-EU devolution (2024) Dr. Lyons actively supervises PhD research in her specialty areas and frequently contributes to academic discourse through webinars and conference presentations. Her work with Paul Arnell on Brexit implications demonstrates her collaborative approach to examining complex legal transitions. As a non-practising Solicitor with formal legal training, she brings practical legal insight to her academic work while maintaining scholarly rigor in historical and theoretical analysis.

Philippa Gardnerمشاهده پروفایل

استاد

• Program Verification
• Concurrent Programming
• Web Programming
• +۴ مورد دیگر

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, where she has been on faculty since 2001 and became a professor in 2009. She holds a UKRI Established Fellowship (2018–2023) and directs the EPSRC-funded Research Institute on Verified Trustworthy Software Systems (VeTSS) from 2017 to 2022. Previously, she held an EPSRC Advanced Fellowship at the University of Cambridge (hosted by Robin Milner) and a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship (2005–2010). She completed her PhD in 1992 at the University of Edinburgh under Professor Gordon Plotkin, followed by five years of postdoctoral fellowships at Edinburgh. Her research focuses on program verification , with specialized interests in web programming (JavaScript/DOM), concurrent systems, and formal methods. She developed the Gillian platform for multi-language symbolic execution and has made significant contributions to separation logic, WebAssembly verification, and compositional reasoning techniques. Her recent publications demonstrate a strong emphasis on unified formal methods, scalable verification techniques, and practical tools for real-world languages like JavaScript and WebAssembly. Key themes include symbolic execution, correctness/incorrectness reasoning, and mechanized semantics. Awards and Fellowships: UKRI Established Fellowship (2018–2023) Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship (2005–2010) Leadership and Service: Directs the VeTSS research institute focusing on trustworthy systems. Chaired the BCS awards committee (2013–2018), overseeing the Lovelace Medal and Roger Needham Award.