جستجوی استاد راهنمای دانشگاهی

Sasha Talaveraمشاهده پروفایل

استاد

• Financial Economics
• Banking
• Fintech
• +۸ مورد دیگر

Sasha Talavera is a Professor in Financial Economics at the Department of Economics, Birmingham Business School, University of Birmingham, where he joined in 2019. He previously held professorial and academic positions at Swansea University, University of Sheffield, Durham University, University of East Anglia, and DIW-Berlin. PhD in Economics, European University Viadrina MA in Economics, Boston College MA in Economics, Kyiv School of Economics BA in Economics, Ostroh Academy His research focuses on financial economics, with specific interests in online prices, big data analytics, banking, fintech, corporate finance, behavioral finance, and emerging markets. His work integrates empirical methods with real-world financial and economic data to address policy-relevant questions. The recent publications reflect a strong trend in analyzing financial behavior under crisis (e.g., war in Ukraine), monetary policy communication, and the application of big data and text analysis in economics. His research spans disciplines including econometrics, financial stability, labor economics, and public choice, often using innovative data sources such as online job ads and social media. Sasha Talavera is actively involved in the academic community, serving on the editorial boards of Bank i Kredyt , Visnyk NBU , and as founder of VoxUkraine.org . He is also an expert for the International Monetary Fund (IMF). He supervises several PhD students, including Zixi Guo, Mohammad Aldoub, and Fei Ge, and has successfully placed past advisees in institutions such as the Capital Market Authority of Kuwait, Aston University, and NHS England. He has not received any explicitly mentioned scientific awards in the provided text. He leads a dynamic research agenda involving big data, crisis economics, and financial decision-making, contributing significantly to both academic and policy-oriented discourse.

• English Linguistics
• Discourse Analysis
• Argumentation
• +۹ مورد دیگر

Sarah Bourse is a Lecturer in English Linguistics at the Center for Anglophone Studies (CAS), University of Toulouse II Jean Jaurès, where she teaches English linguistics, phonology, syntax, semantics, pragmatics, and translation. She is actively involved in research on discourse analysis, argumentation, and natural language processing. Aggregation in Linguistics (2011) Doctorate in Linguistics, University of Toulouse Jean Jaurès (2017) Qualified in academic sections 7 and 11 (2018) Her research focuses on the linguistic mechanisms of argumentation, particularly in political and crisis discourse. She investigates how language constructs meaning through connectives, metaphors, and loaded words, often combining qualitative discourse analysis with computational methods. Her work spans discourse analysis, semantics, pragmatics, corpus linguistics, and natural language processing , with recent emphasis on the metaphorical framing in public health communication during the pandemic. She explores how linguistic choices shape public perception and ideological positioning. Her publications reveal a strong trend in analyzing argumentative strategies in political discourse , especially in American politics, including the 'war on drugs' metaphor and emotional appeals in drug policy debates. She frequently collaborates with scholars such as Blandine Pennec, Patrick Saint-Dizier, and Marie Garnier, bridging linguistics with cognitive science and computational models. Her work appears in journals like Anglophonia and Lexis , and in conference proceedings related to semantic processing and argumentation. Scientific Responsibilities and Service: Elected representative of doctoral students at the Research Commission of the University of Toulouse II Jean Jaurès (2014–2016) Elected representative at the ALLPH@ Doctoral School (2012–2014) Elected representative at the CAS Laboratory (2012–2014) Member of the reading committee of the journal Anglophonia Co-organizer of multiple academic events including conferences and seminars on argumentation and crisis discourse Sarah Bourse has secured editorial and collaborative roles in significant academic projects, such as co-editing special issues and books on argumentation and enunciative duplicity. While no direct mention of grants is found, her involvement in conferences and publications suggests active research funding. She has not advised any students listed in the public record. She contributes to the academic community through organizing seminars and participating in editorial boards, demonstrating leadership in her field.

Leonor Modestoمشاهده پروفایل

استاد

• Macroeconomic Dynamics
• Endogenous Business Cycles
• Market Distortions
• +۶ مورد دیگر

Leonor Modesto is a Full Professor at the CATÓLICA-LISBON School of Business and Economics, Portuguese Catholic University, and serves as President of the Scientific Council. She earned a Ph.D. in Economics from the Catholic University of Louvain (1987). Her research spans macroeconomic dynamics, endogenous business cycles, market distortions, labor economics, education policy, and banking sector instability. University: Portuguese Catholic University School: CATÓLICA-LISBON School of Business and Economics Rank: Full Professor Email: lrm@ucp.pt Her publications in journals like Economic Theory, Macroeconomic Dynamics, and Journal of Public Economic Theory reveal a focus on: Macroeconomic Instability and Stabilization Policy Labor Market Dynamics and Trade Unions Banking Sector Competition and Failure Fiscal Policy and Sovereign Debt Human Capital Accumulation and Growth Environmental Economics Recent work (2024-2025) explores altruism in globalized economies and banking sector imperfections. Earlier publications (2014-2021) examine market distortions, indeterminacy, and labor adjustment costs. No scientific awards, student advisees, or lab affiliations are documented in available sources.

Don Lienمشاهده پروفایل

استاد

• Futures Market
• Econometrics
• Development Economics
• +۳ مورد دیگر

Don Lien is a Professor and holds the Richard S. Liu Distinguished Chair in Business at the Alvarez College of Business, University of Texas at San Antonio (UTSA), within the Department of Economics. A world-renowned researcher with over 250 publications in economics, finance, and statistics, he earned his Ph.D. from the California Institute of Technology and serves as a reviewer for more than 50 academic journals. Education: Ph.D. in Economics from the California Institute of Technology Research Focus: Dr. Lien's primary expertise centers on futures markets, econometrics, and development economics, with significant contributions to quantitative methods, finance, and statistical analysis. His work bridges theoretical models with empirical applications across diverse economic contexts. Publication Trends: Analysis of his recent works (2002-2017) reveals a strong emphasis on market microstructure analysis, income-wellbeing relationships, and institutional impacts on financial systems. Key methodological themes include regression techniques, volatility modeling, and cross-market price discovery, with applications spanning international finance, socio-economic policy, and behavioral economics. Scientific Recognition: President’s Distinguished Achievement Award in Research (awarded twice by UTSA) Kemper Fellowship for Teaching Excellence Excellence in Teaching Award from the University of Kansas Academic Service: Dr. Lien's extensive journal reviewing activities across 50+ publications demonstrate his standing in the scholarly community. His teaching excellence has been consistently recognized through university-level awards at both UTSA and the University of Kansas.

• Urban Analytics
• Human Geography
• Urban and Regional Planning
• +۶ مورد دیگر

Adam Dennett is Professor of Urban Analytics at the Bartlett Centre for Advanced Spatial Analysis (CASA), University College London. He has held roles including Head of Department (2018–2023) and Editor-in-Chief of Applied Spatial Analysis and Policy . His career spans academic leadership, research in urban systems, and adjunct roles in policy-relevant spatial analysis. Educated at Lancaster University (BSc Geography, 2001), the University of Cambridge (PGCE, 2002), and the University of Leeds (MSc Human Geography with GIS, 2005; PhD in GIS, 2010), his interdisciplinary background combines education, pedagogy, and advanced spatial analytics. Research focuses on urban sustainability, spatial interaction modelling, and energy policy. Key areas include mapping energy efficiency disparities, AI-driven urban collective intelligence, and transport equity. His work integrates demographic trends, migration patterns, and spatial data science to address challenges like net-zero transitions and urban gentrification. Publications emphasize methodological innovation in spatial analysis, with contributions to energy policy, public health geographies, and urban infrastructure design. His projects often involve cross-sector collaborations and policy application frameworks. Labs/Teams: CASA’s Urban Analytics Group and the DEMIFER migration research consortium. Current work includes digital twin applications for urban management and geospatial data platforms like Colouring London .

Dylan Bumfordمشاهده پروفایل

دانشیار

• Formal Semantics
• Pragmatics
• Theoretical Computer Science
• +۳ مورد دیگر

Dylan Bumford is an Associate Professor in the Department of Linguistics at the University of California, Los Angeles (UCLA). His research focuses on formal semantics and pragmatics, with a particular emphasis on their interfaces with theoretical computer science. He has developed techniques integrating functional programming and type theory into linguistic analysis, particularly leveraging algebraic structures like monads and functors to model natural language composition. His work addresses phenomena such as split-scope definites, distributivity, superlative adjectives, and the dynamics of quantification. Key contributions include analyses of definiteness and its interactions with presupposition, as well as pragmatic models incorporating rational inference over dynamic denotations. Bumford has also contributed to computational linguistics through semantic parsers and calculators, including collaborative work on a type-driven parser using Haskell and Purescript. His teaching spans advanced graduate courses (e.g., Mathematical Structures in Language , Semantic Theory ) and undergraduate courses in semantics and computational linguistics. Education: NYU Dissertation (2017) on split-scope definites Key Projects: Collaborative work with Simon Charlow on 'Effect-driven interpretation' and dynamic semantics frameworks His presentations include invited talks at institutions like Stanford, Penn, and USC, addressing topics ranging from monadic semantics to cross-linguistic studies of exhaustive inferences. Bumford has also participated in experimental research, including a grammar learning project exploring expectation-based learning mechanisms.

Michael Ungeheuerمشاهده پروفایل

دانشیار

• Behavioral Finance
• Investor Behavior
• Portfolio Choice
• +۳ مورد دیگر

Michael Ungeheuer is an Associate Professor of Finance (tenured) at Aalto University's Department of Finance and a Research Council of Finland Research Fellow (2022–2027). His research focuses on behavioral finance, investor decision-making under risk, and the impact of learning environments on investment choices. He holds a Ph.D. in Finance from the University of Mannheim and has held visiting scholar positions at institutions including the University of Chicago Booth School of Business and the University of Zurich. **Education**: Ph.D. in Finance (summa cum laude), University of Mannheim (2017) M.Sc. in Finance, Illinois Institute of Technology (2011), funded by a Fulbright Scholarship Diplom Business Economics (equivalent to M.Sc.), University of Mannheim (2010) **Research Interests**: Behavioral Finance (investor behavior, household finance, portfolio choice), Judgment and Decision Making (risk perception, learning environments). His empirical work combines archival data and randomized experiments. **Awards and Grants**: Extensive funding from institutions like the Academy of Finland, Nasdaq Nordic Foundation, and OP Financial Group. Notable awards include the Karins-Islinger Dissertation Award (2017) and DAAD research grants. **Teaching**: Leads courses in Corporate Finance, Experimental Design in Economics, and PhD-level seminars. Advised over 63 Bachelor’s, 16 Master’s, and 1 PhD thesis. Engages in executive education through Aalto Executive Education. **Professional Activities**: Co-chair of Helsinki Finance Summit, reviewer for top journals (Journal of Finance, Management Science), and academic service roles in global finance associations.

Simon Andersonمشاهده پروفایل

استاد

• Industrial Organization
• Media Economics
• Advertising
• +۷ مورد دیگر

Simon Anderson is the Commonwealth Professor of Economics at the University of Virginia, affiliated with the Department of Economics within the College of Arts & Sciences. He is a leading scholar in industrial organization, media economics, and consumer search, with extensive publications in top-tier economic journals. His research focuses on advertising, price dispersion, platform competition, and information economics . He investigates how firms compete through pricing and advertising strategies in markets with consumer search frictions, two-sided platforms, and digital media environments. His work often integrates game theory and microeconomic modeling to analyze market outcomes and welfare implications. His recent publications reveal a strong trend toward digital markets, personalized pricing, and platform dynamics . Themes include position auctions, ad avoidance, hybrid platforms, and information congestion—highlighting the evolving challenges in media and e-commerce. His work bridges theoretical rigor with practical relevance in modern market design. Media Economics Industrial Organization Advertising Strategy Consumer Search Price Discrimination Platform Competition Simon Anderson has not listed specific scientific awards in the provided text, but his publication record in premier journals such as Review of Economic Studies , American Economic Review , and RAND Journal of Economics indicates significant scholarly recognition. While no direct list of advisees is provided, as a senior professor with a long publication history and PhD from Queen’s University, it is likely that he has supervised graduate students. His collaborations with economists like Régis Renault, André de Palma, and Martin Peitz suggest active participation in research teams and projects, possibly funded by academic grants, though specific grants are not mentioned. His work with CEPR discussion papers further indicates engagement with international research networks. Though no formal lab or research center is mentioned, his collaborative work on media markets, advertising, and platform economics implies leadership in research groups focused on industrial organization and digital economy topics. His frequent co-authorship with leading scholars suggests an active research team environment.

Savannah L. Kellyمشاهده پروفایل

دانشیار

• Data Science Education
• Statistical Literacy
• Research Methods
• +۷ مورد دیگر

Savannah L. Kelly is Associate Head and Associate Professor in the Scholar Support and Data Services (SSDS) Department at the University Libraries of the University of Mississippi. She plays a key role in advancing data and statistical literacy among students, faculty, and librarians through research, instruction, and collaboration. Her educational background includes a PhD in Higher Education with an Interdisciplinary Minor in Applied Statistics, a Master of Library and Information Science, and a Bachelor of Science in Psychology with a minor in Philosophy. Dr. Kelly's research focuses on promoting data science and statistical competencies in higher education, interdisciplinary research collaborations, and understanding students’ perceptions of STEM majors and careers. She is passionate about improving quantitative research skills and supporting learners through innovative pedagogical approaches. Her recent publications and presentations highlight a strong trend in statistical education, research data services, information literacy, and academic librarianship. She emphasizes accessible data science training, the use of tools like R and Zotero, and the importance of aligning library services with student needs. IRDL Scholar (2016) IRDL Mentor (2018–2020) ACRL Immersion Program (Teacher Track, 2010; Assessment Track, 2012) Excellence in Assessment Award, Westmont College (2012) People’s Choice Award, EBLIP 2017 Dr. Kelly actively mentors students and collaborates across disciplines. She has led workshops and developed programming such as an R workshop series for graduate students. Her work is supported by professional development grants and institutional programs like IRDL. She is a Certified Instructor for The Carpentries, reflecting her commitment to open, reproducible research practices. She contributes to library-led research through projects on student research challenges, faculty-librarian collaboration, and service loads in academic librarianship. Her work helps shape library instruction, research support services, and data science initiatives at the institutional and national levels.

Karima Fredjمشاهده پروفایل

دانشیار

• Environmental Economics
• Natural Resource Management
• Industrial Organization
• +۷ مورد دیگر

Karima Fredj is an Associate Professor and Chair of the School of Economics at the University of Northern British Columbia (UNBC), with affiliations in the NRES, International Studies, and Global and International Studies graduate programs. She is based at the Prince George campus and actively contributes to teaching and research in economics, environmental policy, and natural resource management. Research Interests: Her work spans environmental economics, industrial organization, and mathematical economics, with a methodological focus on game theory and optimal control theory. She investigates international environmental agreements, emission trading under the Kyoto Protocol, tropical deforestation, and cross-border intelligence cooperation. Her research integrates rigorous modeling with real-world policy applications. Publication Trends: Over the past 15 years, her publications reflect a consistent focus on strategic decision-making in environmental and economic contexts. She frequently employs dynamic game models and optimal control to analyze policy design, market competition, and international cooperation, publishing in journals such as Automatica , The Manchester School , and Environmental Modelling and Assessment . Scientific Contributions: While specific awards are not listed, her leadership as School Chair and Co-Chair of graduate programs underscores her academic impact. Her research has addressed critical global challenges, including climate change mitigation, sustainable forestry, and transboundary environmental governance. Advising and Grants: She currently accepts graduate students and supervises in the MA in Development Economics, MA in International Studies, and MA in NRES programs. This reflects her active role in mentoring the next generation of scholars in interdisciplinary environmental and economic research. Labs and Research Teams: Though no formal lab is mentioned, her collaborative research in international studies and natural resource economics suggests engagement with interdisciplinary research groups at UNBC focused on sustainability, policy analysis, and global environmental governance.

Russell D. Dawsonمشاهده پروفایل

استاد

• Avian Ecology
• Reproductive Biology
• Tree Swallow Research
• +۷ مورد دیگر

Russell D. Dawson is a Professor of Avian Ecology in the Department of Ecosystem Science & Management at the University of Northern British Columbia. With a Ph.D. from the University of Saskatchewan, he has established himself as a prominent researcher in avian reproductive biology, particularly using tree swallows as a model system. His laboratory investigates the intricate relationships between environmental factors, physiological constraints, and reproductive strategies in birds. Dawson's research interests center on reproductive effort and success in birds, grounded in life-history theory. His work examines trade-offs involving costs of reproduction, including studies on nest microclimate effects, mate choice mechanisms, plumage as quality indicators, seasonal declines in reproductive success, parasite-host interactions, and phenotypic indicators of quality. His laboratory employs experimental approaches to unravel the proximate and ultimate factors influencing avian reproductive strategies. Analysis of his recent publications reveals a strong focus on tree swallow ecology, with significant contributions to understanding how environmental variation, parasite load, plumage characteristics, and migration patterns influence reproductive success. His work frequently employs stable isotope analysis, experimental manipulations, and large-scale collaborative studies across North America. The research demonstrates consistent attention to both fundamental ecological questions and conservation implications for aerial insectivores facing population declines. Dawson has supervised numerous graduate students, with thesis topics spanning avian reproductive ecology, parasite-host interactions, plumage signaling, and environmental impacts on bird populations. His laboratory continues to investigate key questions in avian ecology, with current projects examining egg shape variability, air quality effects on foraging, nest architecture, and microplastic movement through food webs. As an educator, Dawson teaches courses including Animal Diseases and Parasites, Evolutionary Biology, and Ecology, contributing to both undergraduate and graduate education at UNBC. His commitment to student mentorship is evident in the diverse research projects he has guided throughout his career.

Becky Muradás-Taylorمشاهده پروفایل

استاد

• Second Language Phonology
• Language Acquisition
• Japanese Pitch Accent
• +۷ مورد دیگر

Professor Becky Muradás-Taylor is a faculty member at the University of Leeds, holding the position of Professor of Languages and Linguistics and Director of Programme Design in the School of Languages, Cultures and Societies. She also manages the 'Languages for All' provision, supporting university-wide language education. Her educational background includes a PhD and MA from Nagoya University, Japan, and an MSci from the University of Cambridge, UK. She is a Fellow of the Higher Education Academy (FHEA). Her research centers on second language phonology, especially the acquisition of Japanese pitch accent by English speakers, and the broader challenges in university-level language education. She investigates the decline in languages other than English (LOTE) in the UK, mapping 'cold spots' in degree provision and advocating for sustainable programme design. Her work bridges theoretical linguistics and practical curriculum innovation. Her recent publications reveal a consistent focus on phonological acquisition, language education policy, and curriculum sustainability. Themes include cross-linguistic prosody, perception of regional accents, language programme integration, and identity in language learning. Her research combines psycholinguistic experimentation with educational mapping and policy analysis. FHEA (Fellowship of the Higher Education Academy) She supervises PhD and MA students in areas of second language phonology, language education, and language policy. Her grants and advisory roles are implied through leadership in programme design and research projects like 'OurLOTE,' though specific funding sources are not detailed. She welcomes PhD applicants in her research domains. She is affiliated with the Linguistics and Phonetics research group within her school, contributing to a collaborative academic environment focused on language structure, acquisition, and teaching.

• Philosophy of Mind
• Philosophy of Science
• Mental Causation
• +۵ مورد دیگر

David Pineda Oliva is an Associate Professor in the Department of Philosophy at the University of Girona. His academic work is centered on the philosophy of mind, particularly the mind-body problem, mental causation, emotions, and desires. He is affiliated with the Research Group in Philosophy and contributes to both national and international philosophical discourse. His research interests include: Philosophy of Mind, especially the causal efficacy of mental states The nature and structure of emotions and their interplay with desires Foundations of mental representation and consciousness Logical and philosophical underpinnings of cognitive science David has published extensively in leading philosophy journals such as Philosophy and Phenomenological Research , European Journal of Philosophy , Theoria , Dialectica , and International Studies in the Philosophy of Science . He is the author of two influential books: La mente humana and Sobre las emociones , both published by Ediciones Cátedra. His publications reflect a sustained engagement with core issues in metaphysics and epistemology of mind, focusing on how mental phenomena can be causally effective in a physical world and how emotions contribute to rational cognition. His scientific contributions are recognized through his ORCID identifier (0000-0002-2505-7551), and he actively participates in research projects and academic conferences. While no specific awards are listed, his publication record in high-impact journals indicates scholarly recognition. He advises students in philosophy and contributes to the academic community through his role in the Research Group in Philosophy. There is no mention of external grants, but his sustained research output suggests ongoing institutional or project-based support. He is based in office 4.16 at the Sant Domènec I building in Girona.

Alison Wolfمشاهده پروفایل

استاد

• Public Sector Management
• Education Policy
• Higher Education
• +۱۲ مورد دیگر

Professor Dame Alison Wolf, Baroness Wolf of Dulwich, is the Sir Roy Griffiths Professor of Public Sector Management at King’s Business School, King's College London. She is a cross-bench peer in the UK House of Lords and a leading expert on education policy, skills, and the relationship between education and the labor market. Her work integrates academic research with high-level policy influence, particularly in vocational education, higher education reform, and lifelong learning. Education: MA and MPhil from the University of Oxford, and studies at the University of Neuchâtel Early Career: Policy analyst in the U.S. federal government Professional Affiliation: Visiting Professor at the Institute of Education, University of London Alison Wolf’s research centers on public sector management, higher education policy, qualifications frameworks, and labor market skills. She has long-standing interests in assessment systems, mathematics education, and the role of universities in society. Her influential publications include The XX Factor (2013), which examines the societal transformation driven by working women, and numerous policy reports on vocational training, apprenticeships, and post-18 education. Her recent scholarly output reveals a sustained focus on the evolution of the UK’s education landscape, particularly the impact of funding models, reputation, and rankings on universities. She has also contributed to interdisciplinary efforts, including a 2023 publication with the IceCube-Gen2 Collaboration in astrophysics, indicating broad academic engagement. Her work emphasizes evidence-based policy, critiques of one-size-fits-all approaches, and the need for flexible, responsive education systems. CBE for services to education (2012 Queen’s Birthday Honours) Dame Commander of the Order of the British Empire (DBE) (2024 King’s Birthday Honours) Sam Aaronovitch Memorial Prize (2008) Alison Wolf has played a pivotal role in shaping national education policy. She led the 2011 Wolf Review of Vocational Education, contributed to the Augar Review (2019), advised the Prime Minister on skills policy (2020–2023), and helped draft the Skills and Post-16 Education Act 2022 and the Lifelong Learning Act 2023. She also served as a non-executive director for the Department for Science, Innovation and Technology (2023–2024) and advises on the UK’s Levelling Up strategy. She was the founding Chair of Governors of King's College London Mathematics School and remains a trustee of the University Maths School Network (U-Maths), supporting mathematics education for 16–18-year-olds. She has directed the MSc in Public Services Policy and Management and has been a specialist adviser to the House of Commons Education Committee, a BBC Radio 4 presenter, and an advisor to international bodies including the OECD, European Commission, and ministries of education in New Zealand, France, and South Africa.

Christine Rizkallahمشاهده پروفایل

مدرس ارشد

• Interactive Theorem Proving
• Formal Verification
• Programming Languages
• +۷ مورد دیگر

Christine Rizkallah is a Senior Lecturer in the School of Computing and Information Systems at the University of Melbourne, Australia. She joined the university in December 2021 after serving as a Lecturer at the University of New South Wales (UNSW) from April 2018 to December 2021. Her research focuses on interactive theorem proving, formal verification, programming languages, and systems, with an emphasis on building practical tools for high-assurance software development. She leads a research group working on the Cogent and Dargent languages, aiming to reduce the burden of formal verification in systems programming. Education: PhD in Computer Science, Universität des Saarlandes and Max-Planck-Institut für Informatik, Germany (2015), thesis: Verification of Program Computations , supervised by Prof. Dr. Kurt Mehlhorn. MSc in Computer Science, Universität des Saarlandes, Germany (2009), thesis: Proof Representations for Higher Order Logic , supervised by Prof. Dr. Gert Smolka and Dr. Chad E. Brown. BSc in Computer Science, German University in Cairo, Egypt (2007), thesis: X2-Planner: A Hierarchical Task Network Planner for Real Time Gaming Applications , supervised by Prof. Dr. Slim Abdennadher and Dr. Thorsten Maier. Her research interests lie at the intersection of programming languages and formal methods. She develops domain-specific languages with strong type systems and verified compilers to enable trustworthy software systems. Her work spans algorithms, logic, security, and social choice theory, reflecting a strong interdisciplinary approach. She has published extensively in top venues such as POPL, ICFP, ASPLOS, JAR, and PACMPL, with a focus on certifying compilation, refinement verification, and mechanized reasoning. Her recent publications reveal a consistent focus on formal verification of systems software, particularly through the Cogent language and its ecosystem. Key themes include verified data layout refinement (Dargent), property-based testing, termination analysis, cost modeling, and integration with foreign functions. Her work combines theoretical rigor with practical implementation, often involving mechanized proofs in Isabelle/HOL and Coq. Scientific Awards and Recognition: Distinguished Artefact Award at SLE'22 (awarded to Zilin Chen for work under her supervision). First Prize, SPLASH'22 Student Research Competition (undergraduate), won by Raphael Douglas Giles. Second Prize, ACM-wide Student Research Competition (undergraduate, 2023), won by Raphael Douglas Giles. She has supervised numerous PhD, Masters, and Honours students, many of whom have continued in academia or industry research roles. She has received research funding through institutional support and collaborative grants, though specific grants are not detailed in the provided text. She is actively involved in the programming languages community, serving on program committees for POPL, ICFP, CPP, PLDI, and others, and holding leadership roles such as Program Chair for FUNARCH'25 and Diversity and Inclusion Co-Chair for PLDI'25. She teaches core courses including Declarative Programming and Models of Computation at the University of Melbourne. She leads a vibrant research team and collaborates widely across institutions including UNSW, University of Pennsylvania, and international partners. Her lab focuses on building verified systems using functional programming and formal methods, with strong ties to the DeepSpec project and the Isabelle/HOL community.