Find Academic Supervisors

Joseph EremondiView profile

Assistant Professor

• Programming Languages
• Type Theory
• Dependent Types
• +12 more

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

Sean WelleckView profile

Assistant Professor

• Machine Learning for Mathematics
• Machine Learning for Code
• AI Reasoning and Agents
• +6 more

Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.

• Formalized Mathematics
• Proof Assistants
• Homotopy Type Theory
• +3 more

Floris van Doorn is a Professor at the Mathematical Institute of the University of Bonn where he leads the Formalized Mathematics group. His research focuses on making it viable to formalize research mathematics in proof assistants that can check the correctness of such proofs. He primarily works with the Lean Theorem Prover and is a maintainer of its mathematical library (mathlib). University of Bonn: Professor (2023-present) University of Paris-Saclay: Postdoc with Patrick Massot (2021-2023) University of Pittsburgh: Postdoc with Tom Hales (2018-2021) Carnegie Mellon University: PhD under Jeremy Avigad and Steve Awodey (2013-2018) Van Doorn's research interests center on formalized mathematics, tools and automation for formalization, and homotopy type theory. He has made significant contributions to several major formalization projects including the Carleson project (proving Carleson's theorem), the sphere eversion project (formalizing Gromov's h-principle), the Flypitch project (formalizing the independence of the continuum hypothesis), and the Spectral sequences project. His work demonstrates that proof assistants can handle complex areas of mathematics beyond algebra, including differential topology and analysis. His recent publications show a consistent focus on advancing formalized mathematics, with his most recent work formalizing the Gagliardo-Nirenberg-Sobolev inequality and continuing the Carleson project. His publications span theoretical foundations of type theory, practical applications of formalization, and educational resources for learning proof assistants. Skolem award (2025) for the paper 'The Lean Theorem Prover (System Description)' Van Doorn actively mentors students and collaborators, with Maria, Michael, and Arend recently joining his formalization group in Bonn. He has taught various courses on formalized mathematics and proof assistants at the University of Bonn, University of Pittsburgh, and Carnegie Mellon University. His educational efforts include developing learning resources such as the Natural Number Game and the online book 'Mathematics in Lean.' He also maintains an active presence in the Lean community through the Formalized Mathematics group and collaborative projects like the Carleson project, which invites participation from those familiar with Lean.

Steve AwodeyView profile

Professor

• Category Theory
• Homotopy Type Theory
• Algebraic Set Theory
• +9 more

Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University, affiliated with the Dietrich College of Humanities and Social Sciences and the Department of Philosophy. His research bridges Category Theory, Homotopy Type Theory, and Algebraic Set Theory, with significant contributions to constructive mathematics and the philosophy of type theory. PhD in Mathematics, University of Chicago (1997), dissertation: Logic in Topoi: Functorial Semantics for Higher-Order Logic Awodey's work focuses on the intersection of categorical logic, homotopy theory, and constructive mathematics. He co-founded the Univalent Foundations Program at the Institute for Advanced Study and leads the Hoskinson Center for Formal Mathematics at CMU. His recent publications explore algebraic models of type theory, cubical set models, and higher categorical structures. His research output spans formal verification, proof-theoretic semantics, and topos-theoretic interpretations of modal logic. The 15 most recent articles emphasize Homotopy Type Theory (HoTT), polynomial functors, and applications of algebraic geometry to intuitionistic logic. Trends include univalent foundations, higher inductive types, and model category-theoretic approaches. Scientific Awards: The Dean's Chair in Logic, Carnegie Mellon University Participant Support Grant for Homotopy Type Theory Conferences NSF Grant for Homotopy Type Theory Research Advising and Grants: Awodey has advised numerous PhD students across philosophy, mathematics, and computer science on topics like Martin-Löf complexes, polynomial pseudomonads, and synthetic homotopy theory. He has secured multiple NSF grants for HoTT research and conference support, with affiliations to the Institute for Advanced Study and nLab collaborative projects. Labs and Teams: He leads the Hoskinson Center for Formal Mathematics and collaborates with the Laboratory for Symbolic and Educational Computing at CMU. His work engages international research groups in categorical logic and higher category theory.

• Programming Language Design
• Program Verification
• Type Theory
• +3 more

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.

• Financial Mathematics
• Actuarial Mathematics
• Stochastic Processes
• +7 more

Thorsten Schmidt is Professor of Mathematical Stochastics at the University of Freiburg, succeeding Prof. Ernst Eberlein in the summer semester of 2015. He also serves as Senior Financial Engineer at MathFinance. Previously, he held professorships at Chemnitz University of Technology (2008-2015), Technical University Munich (2008), and University of Leipzig (2004 onwards). From 2017-2019, he was a Research Fellow at the Freiburg Institute for Advanced Studies (FRIAS) in a joint research group with the University of Strasbourg and USIAS on the topic of Linking Finance and Insurance. His research focuses primarily on financial and actuarial mathematics, stochastic processes, and statistics, with recent work on machine learning methods and their applications in financial mathematics and AI regulation. In Freiburg, his goal with his young team is to tackle complex challenges with improved mathematical models and apply these methodologies to various fields. Key Research Areas: Financial mathematics and credit risks Pricing and hedging of derivative financial products Statistics of stochastic processes Energy markets and nonlinear filter theory Machine learning applications in finance and insurance His recent publications show a strong trend toward integrating machine learning with traditional mathematical finance, particularly in risk management, insurance-finance arbitrage, and robust financial modeling. His work increasingly addresses ethical considerations in AI applications within finance, reflecting his broader interest in responsible AI development. Notable Awards: IDA Award Finance (2015) FRIAS-USIAS Research Fellow (2017/2018) IDA Award Machine Learning and AI (2020) MAPFRE Research Grant (2020) Luis Bachelier Fellow (2021) As Editor-in-Chief of Statistics and Risk Modeling and Associate Editor for Mathematical Finance and International Journal of Theoretical and Applied Finance, Schmidt plays a significant role in academic publishing. He leads the CRC 'Small Data' research center with Harald Binder, focusing on medical problems where disease progression must be estimated with few data points per patient. His LeanAI project, funded by the Vector Foundation, explores the connection between machine learning and theorem-proving software LEAN, aiming to develop AI that can translate between mathematics and formal proof systems. His laboratory work centers around the application of stochastic methods combined with machine learning to solve problems in finance and insurance where data is limited ('Small Data' initiative), with significant funding from DFG (€12 million for CRC Small Data) and the Carl Zeiss Foundation.

Sean WelleckView profile

Assistant Professor

• Large Language Models
• Mathematical Reasoning
• Code Generation
• +4 more

Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, specifically within the Language Technologies Institute (LTI). He leads the L3 Lab and serves as an advisor for the AI for Math Fund. His academic journey includes a PhD from New York University under Kyunghyun Cho and postdoctoral positions at the Allen Institute for Artificial Intelligence and the University of Washington with Yejin Choi. Dr. Welleck's educational background shows a strong foundation in computer science. He earned his PhD in Computer Science from New York University, where he worked under the mentorship of Kyunghyun Cho and Zheng Zhang. Prior to this, he completed his MSE and BSE in Computer Science from the University of Pennsylvania, demonstrating a long-standing commitment to the field. Dr. Welleck's research focuses on bridging informal and formal reasoning with AI, with particular emphasis on developing learning, inference, and evaluation algorithms for large language models. His work spans multiple cutting-edge areas including mathematical reasoning , code generation , inference algorithms , and AI reasoning agents . A significant portion of his recent work involves combining AI with formal methods for mathematics, where he has developed frameworks like Llemma (an open-source language model for mathematical reasoning) and meta-generation (for inference-time algorithms). His research is characterized by a strong theoretical foundation coupled with practical applications that push the boundaries of what AI systems can achieve in formal reasoning domains. Analysis of Dr. Welleck's recent publications reveals a clear research trajectory focused on enhancing language models' capabilities in formal reasoning and mathematical problem-solving. His work demonstrates an evolution from foundational research in neural text generation to increasingly sophisticated approaches that integrate formal methods with deep learning. Key trends include the development of inference-time algorithms that improve model performance without additional training, frameworks for mathematical reasoning that connect informal and formal proofs, and novel evaluation methodologies for language models. His publications consistently appear in top-tier conferences including NeurIPS, ICLR, ICML, and ACL, reflecting the high impact of his contributions to the field. Dr. Welleck's scientific achievements have been recognized with several prestigious awards: NAACL 2025 Best Paper Award ICLR 2025 Oral Presentation (Top 2%) ICLR 2025 Spotlight Presentation (Top 5%) NeurIPS 2021 Outstanding Paper Award (Top 0.1%) for MAUVE NVIDIA AI Labs Pioneering Research Award (2017 and 2018) As an educator and mentor, Dr. Welleck actively guides the next generation of AI researchers. He currently advises multiple PhD students including Pranjal Aggarwal, Weihua Du, Andre He, and Seungone Kim (some co-advised with other faculty), along with MS students Riyaz Ahuja, Jiewen Hu, Qinyue Tan, and Thomas Zhu, and undergraduate Tate Rowney. At CMU, he teaches advanced courses such as Neural Code Generation and Advanced NLP, and has previously taught at New York University and the University of Washington. His commitment to education extends to creating resources like the Thesis Review Podcast and developing tutorials on neural theorem proving that have been presented at major conferences. Dr. Welleck leads the L3 Lab at CMU, which focuses on the intersection of language, learning, and logic. The lab brings together students and researchers to tackle challenging problems in AI reasoning, with particular emphasis on mathematical reasoning and code generation. Recent initiatives include the development of Llemma, an open-source language model specialized for mathematical reasoning, and work on inference-time algorithms that enable language models to improve their performance through additional computation during inference rather than through additional training.

• Artificial Intelligence
• Machine Learning
• Fairness in AI
• +5 more

Sanmi Koyejo is an Assistant Professor of Computer Science at Stanford University and holds an adjunct position as Associate Professor at the University of Illinois at Urbana-Champaign. He leads the Stanford Trustworthy AI Research (STAIR) group, focusing on fairness, robustness, and healthcare applications in machine learning. His work bridges theoretical foundations with practical systems, emphasizing ethical AI and clinical informatics. Affiliations: SAIL, HAI, CRFM, AIMI, AI Safety, and the Machine Learning Group. Research Interests: His expertise spans trustworthy AI, federated learning, and neuroimaging. He actively addresses challenges in algorithmic fairness, particularly in healthcare, where he collaborates with institutions like OSF Healthcare on projects like federated learning for clinical data. Key Contributions: Co-developed frameworks for unlearning in large language models, evaluated AI systems' societal impacts, and advanced benchmarks for medical applications. His work has been featured in venues like NeurIPS, ICML, and AAAI. Awards: NSF CAREER Award, Alfred P. Sloan Fellowship, and Terman Faculty Fellowship. Grants & Teams: Leads NSF-funded projects on domain adaptation and fairness in breast cancer risk scoring. Collaborates with interdisciplinary teams on NIH's MIDRC and NSF's AIFARMS initiative for agricultural sustainability. Labs/Teams: STAIR lab drives interdisciplinary research in ethical AI, with emphasis on real-world deployment and policy implications.

Oliver NashView profile

Researcher

• Geometry
• Formalisation of Mathematics
• Mathematical Logic
• +3 more

Oliver Nash is a researcher at Imperial College London, actively engaged in the formalisation of advanced mathematical concepts. His work bridges geometry and computational logic, with a focus on rigorous proof systems. Research Interests: Oliver's research lies at the intersection of geometry and the formalisation of mathematics. He specialises in using proof assistants to verify deep mathematical results, including topics such as the h-principle, sphere eversion, and Lie algebras. His work contributes to the growing field of certified mathematics, ensuring correctness through machine-checked proofs. Publication Trends: His recent publications at the CPP conference demonstrate a consistent focus on formalising foundational results in differential geometry and algebra. These works reflect a trend toward computational trust in mathematical proofs, particularly in complex geometric transformations and algebraic structures. Professional Activities: Oliver is an active contributor to the Certified Programs and Proofs (CPP) conference, presenting cutting-edge work in formal verification. He maintains a personal website detailing both his academic contributions and early explorations in computer graphics, such as raytracing and radiosity rendering from the early 2000s. Labs and Projects: While specific lab affiliations are not mentioned, his work is closely aligned with research groups in formal methods and interactive theorem proving, likely involving tools like Lean, Coq, or Isabelle.

Nour AliView profile

Academic

• Software Architecture
• Distributed Systems
• Adaptive Systems
• +6 more

Dr Nour Ali is a Reader in the Department of Computer Science at Brunel University London , where she co-heads the Brunel Software Engineering Lab and serves as Vice-Dean of Education for the College of Engineering, Design and Physical Sciences. She holds a PhD in Software Engineering from Universidad Politecnica de Valencia, Spain, and a Major in Computer Science from Bir-Zeit University, Palestine. Research Interests: Software architecture for distributed and adaptive systems, integrating techniques like Model-Driven Engineering, Reverse Engineering, and Machine Learning. Teaching: Module leader for Software Project Management and supervisor of undergraduate group projects and final-year projects. Scientific Contributions: Over 70 publications in journals, conferences, and books. Key research areas include microservice architecture recovery, autonomic healthcare systems, and mobile self-adaptive architecture. Scientific Awards: Fellow of the Higher Education Academy (HEA). Membership: Deputy Editor-in-Chief for IET Software, member of multiple conference program committees, and reviewer for EPSRC, NWO, and other funding bodies.

Maria SydnesView profile

Associate Professor

• Emergency Management
• Crisis Response
• Organizational Resilience
• +4 more

Maria Sydnes serves as an Associate Professor in the Department of Technology and Security at UiT The Arctic University of Norway, Tromsø. Her academic work focuses on emergency management and organizational resilience within high-risk Arctic environments, with particular emphasis on maritime safety and cross-border crisis coordination between Norway and Russia. Her research interests span interorganizational coordination during emergencies, organizational learning for resilience building, and practical applications of lean production principles in crisis contexts. She investigates Arctic-specific challenges including avalanche response in Longyearbyen, oil spill management in polar waters, and integration of unorganized volunteers into formal emergency systems, consistently addressing the intersection of climate change impacts and security vulnerabilities. Analysis of her publication record reveals a strong trend toward interdisciplinary solutions for Arctic safety, with recurring themes of Norwegian-Russian cooperation, maritime risk assessment, and adaptive governance structures. Her work bridges theoretical frameworks with real-world case studies—from Svalbard waters to the Barents Sea—demonstrating practical approaches to disaster risk reduction in extreme environments. Dr. Sydnes actively participates in multiple research initiatives including the Climate Change Adaptation and Secure Societies groups. Her current projects encompass Co-producing knowledge about risk and safety of maritime activities around Svalbard SPRICE (spray icing modelling for maritime decision support) GLOBSEC (North-South security partnerships) NoCoU (civil security for Norwegian communities) Beredt! (risk-based governance for climate-driven natural hazards) highlighting her commitment to scalable, community-focused security solutions in vulnerable Arctic regions.

Emily RiehlView profile

Professor

• Category Theory
• Homotopy Theory
• Homotopy Type Theory
• +3 more

Emily Riehl is the Kelly Miller Professor of Mathematics at Johns Hopkins University , serving as Director of Graduate Studies. She previously held positions at Harvard University as a Benjamin Peirce Postdoctoral Fellow and NSF Postdoctoral Fellow . Her research focuses on category theory , homotopy theory , and homotopy type theory , with particular emphasis on foundational aspects of ∞-categories. She co-authored Elements of ∞-Category Theory (with Dominic Verity) and authored Categorical Homotopy Theory and Category Theory in Context . Education : - Ph.D. in Mathematics (2011), University of Chicago, advised by J. Peter May - Part III of the Mathematical Tripos (Distinction, 2007), University of Cambridge - A.B. in Mathematics (magna cum laude, 2006), Harvard University Research Interests : Her work bridges foundational category theory with homotopy-theoretic applications, emphasizing model-independent approaches to ∞-categories. She explores synthetic formalization frameworks in homotopy type theory and collaborates on projects involving computer-aided proof systems like Lean and Rzk. Key Contributions : - Developed the ∞-cosmoi framework for model-independent ∞-category theory - Co-created synthetic foundations for ∞-categories within homotopy type theory - Authored influential textbooks shaping modern category theory education Awards & Recognition : - AWM Birman Research Prize (2021) - AMS Fellow (2022) - Simons Fellowship (2022) - Johns Hopkins President’s Frontier Award (2020) Service & Outreach : - Co-host of the n-Category Café blog - Co-founder of Spectra (LGBTQ+ mathematicians association) - Organized major conferences and summer schools on ∞-categories and homotopy type theory - Advocate for inclusive academic practices and AI ethics in mathematics

• Nutritional Cancer Epidemiology
• Chronic Disease Epidemiology
• Cancer Survivorship
• +14 more

Leah M. Ferrucci, PhD, MPH, is an Assistant Professor in the Department of Chronic Disease Epidemiology at the Yale School of Public Health. She holds a PhD in nutritional cancer epidemiology from Yale University and an MPH in Social and Behavioral Sciences from the same institution, with a BA from the University of Pennsylvania. Her research focuses on modifiable cancer risk factors, including nutrition, ultraviolet radiation exposure, and lifestyle interventions for cancer survivors. PhD, Yale University (2009) MPH, Yale School of Public Health (2006) BA, University of Pennsylvania Dr. Ferrucci's research interests span nutritional cancer epidemiology, obesity, metabolomics, microbiome, and behavioral interventions in cancer survivorship. She investigates diet quality, energy balance, and lifestyle modifications in breast and ovarian cancer survivors, with a strong emphasis on translating findings into practical interventions. Her work also addresses indoor tanning behaviors and UV exposure in skin cancer prevention. Her recent publications highlight a consistent focus on lifestyle interventions during and after cancer treatment, particularly in breast and ovarian cancers. Themes include weight management, dietary patterns, physical activity, chemotherapy outcomes, and health disparities. Her studies often employ clinical trials, longitudinal analyses, and mixed-methods approaches, contributing to evidence-based oncology care. Loan Repayment Program, National Cancer Institute (2013) Outstanding Student Paper Prize, American College of Epidemiology (2009) Best Poster Award, American Society of Preventive Oncology (2014) Dr. Ferrucci collaborates extensively with leading researchers such as Melinda Irwin, Tara Sanft, and Brenda Cartmel on large-scale trials like LEAN and ENICTO. These projects evaluate the impact of diet and exercise on cancer treatment completion, pathologic response, and quality of life. She is also involved in research on structural racism and health disparities in obesity-related cancers among minority populations. While no formal lab is mentioned, her work is embedded within the Yale Cancer Center and Smilow Cancer Hospital research ecosystem.

• Mathematics
• Harmonic Analysis
• Group Theory
• +5 more

Srivatsa Srinivas is a mathematician affiliated with the University of California, San Diego (UCSD), where he completed his PhD under Professor Alireza Golsefidy. His research focuses on applications of harmonic analysis, group theory, information theory, and number theory to the study of random walks on profinite groups. He also actively explores interdisciplinary projects in formal verification (using tools like Lean and SMT solvers) and computer graphics, with a recent focus on generalizing Dijkstra's algorithm. Education: PhD in Mathematics, UCSD (Advisor: Alireza Golsefidy) Research Interests: His work bridges pure mathematics and computer science, emphasizing: Random walks on algebraic structures Applications of harmonic analysis in group theory Formal verification techniques for number-theoretic problems Algorithmic innovations in computer graphics Recent Talks: Presented on 'Random walks on SL₂(F_p) × SL₂(F_p)' at the UCSD CS Theory Seminar (Dec 2024) and shared thesis defense slides offering an introduction to his foundational research.

• Applied Training Science
• Strength Training
• Cheerleading
• +3 more

Dr. Simon Gavanda serves as a Researcher in the Department of Fitness and Health at IST University, supporting the institution's academic and research initiatives since 2015. His work bridges theoretical sports science with practical athletic applications across multiple disciplines. Education: Bachelor of Sport and Performance, German Sport University Cologne Master of Exercise, Science and Coaching, German Sport University Cologne PhD in Applied Hypertrophy Training, German Sport University Cologne His research centers on evidence-based training methodologies with dual specialization in strength development and cheerleading performance. Key investigations include hypertrophy protocols, neuroathletic interventions, and population-specific adaptations across team athletes, adolescents, and middle-aged individuals. He actively contributes to elite sports coaching education and serves as Scientific Coordinator for the Cheerleading and Cheerperformance Association Germany, driving sport-specific research translation. Recent publications (2022-2024) reveal a methodological emphasis on randomized controlled trials comparing training modalities (isokinetic/isotonic, blood flow restriction, functional training). Research spans biomechanics, physiological adaptation, and performance psychology, with targeted applications for cheerleaders, female athletes, and youth populations. Consistent themes include dose-response relationships, population-specific programming, and practical implementation of laboratory findings. No scientific awards were documented in the source materials. While no formal student advisees or research grants are specified, Dr. Gavanda's leadership in coach education programs and scientific coordination for national cheerleading associations indicates significant project management responsibilities. His role involves designing certification curricula and translating research into practical coaching frameworks for elite sports federations. He operates within IST University's Fitness and Health research ecosystem while maintaining strategic partnerships with the Cheerleading and Cheerperformance Association Germany, facilitating collaborative studies on athletic performance and injury prevention in competitive cheer sports.