Andrzej Murawski is a Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Worcester College . His research focuses on the semantics of programming languages and software verification, with applications in automata theory, probabilistic computation, and concurrency. Current affiliations: University of Oxford, SIGLOG Vice-Chair, FoSSaCS Steering Committee Research interests: Game semantics, higher-order recursion, probabilistic systems, differential privacy Recent publications address probabilistic verification, equivalence checking, and game semantics for concurrent systems. He has chaired program committees for conferences such as ESOP and PERR, and his work has earned recognition like the POPL 2025 Distinguished Paper Award . Current students : Benedict Bunting, Haoxuan Yin Past students : Conrad Cotton-Barratt, David Hopkins, Guanyan Li, Dominik Wagner, Fabian Zaiser
Travis J. Fuerst is an Assistant Professor of Practice at the School of Engineering Technology within the Purdue Polytechnic Institute at Purdue University, West Lafayette. He has held this position since 2022, previously serving in the Department of Computer Graphics Technology from 2016 to 2022. Before returning to academia, he accumulated over 13 years of industry experience at The Boeing Company as an Engineering Workplace Coach, IT Project Manager, and Continuous Improvement Leader, complemented by 21 years of military service in the U.S. Army Reserves where he retired as a Major from USTRANSCOM in 2017. His academic credentials include: Master of Science in Technology (Product Lifecycle Management) from Purdue University (2002) Bachelor of Science in Computer Graphics Technology from Purdue University (2000) with a minor in Organizational Leadership and Supervision Professor Fuerst specializes in Product Lifecycle Management (PLM), Project Management, Continuous Improvement, and Configuration Management, integrating Lean Manufacturing and Six Sigma methodologies into both industrial applications and educational frameworks. His instruction emphasizes practical skill development for industry readiness, leveraging extensive real-world experience to bridge theoretical concepts with professional practice in engineering technology fields. His publication portfolio demonstrates a clear trajectory toward integrating Product Data Management systems into engineering education, with emphasis on digital enterprise solutions and pedagogical innovation. Key themes include parametric solid modeling applications, collaborative project-based learning frameworks, and curriculum development for PLM implementation across undergraduate programs, reflecting his dual focus on technological advancement and educational transformation. His recognition includes: Purdue Polytechnic 2013 Early Career Award Professor Fuerst actively mentors undergraduate and graduate students through project-based design learning that cultivates higher-order thinking skills, directly applying his industry expertise in risk analysis, resource allocation, and cross-functional team leadership. His curriculum development work demonstrates sustained commitment to advancing engineering education practices through practical, industry-aligned methodologies. His leadership experience spans Boeing's continuous improvement initiatives and U.S. Army cyber operations, providing a robust foundation for developing team-based project management approaches that emphasize operational efficiency and strategic problem-solving in academic settings.
Angkana Rüland is a Professor at the University of Bonn's Mathematical Institute and holder of the Hausdorff Chair at the Hausdorff Center for Mathematics (HCM), a Cluster of Excellence. She is a member of the Transdisciplinary Research Area ‘Modelling’ and a recipient of the prestigious Leibniz Prize (2025). Her research focuses on inverse problems, fractional PDEs, and phase transformations in materials science, with contributions to the Calderón problem and microstructure analysis. She has held positions at Oxford, the Max Planck Institute in Leipzig, and Heidelberg University before returning to Bonn in 2023. Education: She completed her Abitur, bachelor's/masters, and PhD (2014, Hausdorff Memorial Prize) at the University of Bonn, where she also co-founded the Bonn Math Club. Her academic journey includes postdoctoral research at Oxford and leadership roles in Leipzig and Heidelberg. Research interests span inverse problems (e.g., fractional Calderón problem), material microstructures (shape-memory alloys), and mathematical physics. Her work bridges pure and applied mathematics, addressing questions in elasticity, nonlocal operators, and energy scaling laws. Scientific awards include the Leibniz Prize (2025) for her groundbreaking research and the Hausdorff Memorial Prize for her doctoral thesis. She aims to use Leibniz Prize funds to strengthen her research group at HCM, furthering interdisciplinary collaborations. Her contributions have positioned Bonn as a global leader in mathematical research, with 20 Leibniz laureates since 1986.
Prof. Julijana Gjorgjieva is a tenured W3 Professor of Computational Neuroscience at the School of Life Sciences Weihenstephan, Technical University of Munich (TUM). She leads an independent research group at the Max Planck Institute for Brain Research and is affiliated with the Bernstein Center for Computational Neuroscience. Her research focuses on the principles governing neural circuit development, balancing learning plasticity with functional stability through computational and theoretical approaches. Key interests include synaptic organization, energy-efficient neural computation, and evolutionary optimality principles. Education & Career: B.Sc. Mathematics, Harvey Mudd College (2006) M.A.St. in Applied Mathematics, University of Cambridge (2007) Ph.D. Applied Mathematics, University of Cambridge (2011) Postdoctoral Fellowships: Harvard University (2011-2014), Brandeis University (2014-2016) Max Planck Research Group Leader (2016-2022) W2/W3 Professor at TUM since 2016 Research Interests: Computational neuroscience, theoretical modeling of neural circuits, synaptic plasticity mechanisms, homeostatic regulation, and the interplay of development and evolution in shaping brain architecture. She employs mathematical frameworks to study how circuits achieve robustness while enabling adaptive learning. Awards: Heinz Maier-Leibnitz Prize (2022) Eric Kandel Young Neuroscientist Prize (2021) ERC Starting Grant (2018) Multiple postdoctoral and early-career fellowships Grants & Funding: Includes DFG Collaborative Research Center on Neural Homeostasis, HFSP grants, and EU Horizon 2020 initiatives. Active in mentoring and promoting computational neuroscience through programs like Neuromatch Academy. Labs & Collaborations: Leads a multidisciplinary lab integrating experimental and theoretical approaches. Collaborates with institutions such as the Max Planck Society and international computational neuroscience networks.
Dr. Jeffrey Lyons is an Associate Professor in the Department of Mathematical Sciences at The Citadel, part of the Swain Family School of Science and Mathematics. He specializes in fractional calculus, differential equations, and boundary value problems. His teaching spans from foundational courses like College Algebra and Calculus to advanced topics such as Applied Engineering Mathematics and Differential Equations. Dr. Lyons holds a Ph.D. in Mathematics (2011) from Baylor University, with prior positions at Trinity University, University of Hawaii, and Nova Southeastern University. His research focuses on theoretical and applied aspects of fractional boundary value problems, including fixed point theorems and solution differentiation under varying boundary conditions. Notable awards include the 2011 Chancellor’s Award for Excellence in Teaching and several research grants supporting collaborative work across institutions. His recent publications explore topics like positive solutions for fractional BVPs, Caputo derivatives, and dynamic equations on time scales. These contributions highlight advancements in analytical methods and their applications in mathematical modeling. Dr. Lyons actively participates in academic communities, presenting at international conferences such as the 10th AIMS Conference in Madrid, Spain.
Andreas Matouschek is a Professor in the Department of Molecular Biosciences at the University of Texas at Austin, where he served as Associate Dean for Research and Facilities from 2020-2024. He oversees research support for the College of Natural Sciences, managing over 1 million square feet of research space across multiple campuses. Prior to joining UT Austin in 2012, he spent 15 years at Northwestern University where he held leadership roles including Program Leader for Cancer Cell Biology in the Robert H. Lurie Comprehensive Cancer Center. Matouschek received his education at prestigious institutions: Diplom in Biology from Ludwig-Maximilians-University in Munich (1990), Ph.D. in Chemistry from Cambridge University (1992), and was an EMBO Fellow at the Biocenter of the University of Basel. His research focuses on the mechanisms of protein machines, particularly protein folding, unfolding, and degradation. The Matouschek Lab investigates the biochemical mechanisms of the Ubiquitin Proteasome System (UPS) in physiologically relevant contexts, with the goal of understanding how cellular processes are regulated through protein degradation. The lab employs diverse experimental techniques including protein engineering, quantitative biochemical assays, cell biology, genome-scale screens, and single molecule biophysics. Analysis of his recent publications reveals a consistent focus on proteasome structure and function, substrate recognition mechanisms, and the regulation of protein degradation. His work has significant implications for understanding cellular regulation and developing therapeutic approaches targeting the ubiquitin-proteasome system. As Associate Dean, he managed a team of 17 full-time staff supporting research across the College of Natural Sciences, including facilities spanning from the McDonald Observatory in West Texas to the Marine Science Institute on the Gulf Coast. His laboratory continues to make significant contributions to understanding the fundamental mechanisms of protein degradation and its implications for cellular function and disease.
Dr. Thuc Vo is an Associate Professor in Civil Engineering at La Trobe University, Australia. His expertise lies in structural engineering, composite materials, and machine learning applications. He previously held roles at Northumbria University (UK) and Airbus’ Advanced Composite Training and Development Centre. His research focuses on shear deformation theories for composite structures and machine learning for structural engineering. He has authored over 120 publications in prestigious journals and conferences. Education & Experience: Associate Professor, La Trobe University (2019–present) Senior Lecturer & Program Leader in Civil Engineering, Northumbria University (2013–2019) Lecturer at Airbus’ Advanced Composite Training and Development Centre/Wrexham Glyndwr University (2011–2013) Research Associate, University of Liverpool (2010–2011) Research Interests: Composite material analysis (FGMs, nanoporous materials) Machine learning for structural prediction Vibration and buckling analysis Advanced beam and plate theories Collaboration & Supervision: Offers supervision for masters/PhD students and collaborates on industry projects. His work bridges theoretical mechanics with data-driven approaches, addressing challenges in smart materials and structural optimization.
Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.
Hugo Paquet is a Researcher at INRIA Paris and a member of the ANTIQUE team at École Normale Supérieure , PSL University. He completed a PhD in Computer Science (2015–2019) at the University of Cambridge under Glynn Winskel , focusing on concurrent game semantics for probabilistic programming. His postdoctoral work includes positions at LIPN, Paris (2022–2024, funded by a Marie Skłodowska-Curie Award) and University of Oxford (2020–2022). He has contributed to conferences including LICS , ESOP , FSCD , and POPL . Education : PhD in Computer Science (University of Cambridge, 2019) Research Interests : Probabilistic programming (semantics, inference algorithms, nonparametric models), categorical semantics (game semantics, concurrency models, adjunctions), combinatorial species, and 2-dimensional categories. Teaching : Category Theory (2023–2024), Bayesian Statistical Probabilistic Programming (2021–2022), Lambda-calculus and Types (2020–2021), and small-group teaching at Cambridge (Logic, Discrete Mathematics, Semantics). Awards : Marie Skłodowska-Curie Award under the Paris Region Fellowship Programme Labs : INRIA Paris, ANTIQUE team (2024–present)
Dr. Yves Boubenec is an Associate Professor at École Normale Supérieure (ENS)-PSL University, Paris, France. He serves as Head of the LSP Neuro Platform and Director of Studies at the Department of Cognitive Studies. Academic Rank: Associate Professor Institution: ENS-PSL Departments: Cognitive Studies (ENS), LSP Neuro Platform Email: yves.boubenec@ens.psl.eu Research Focus: Boubenec investigates neural mechanisms of auditory perception and cognition using integrated methodologies spanning single-neuron electrophysiology to large-scale neuroimaging. His work reveals how context, learning, and multisensory interactions shape sound encoding in mammalian neocortex. Primary Research Themes Context-dependent auditory encoding Perceptual attention mechanisms Task-driven neural plasticity Self-supervised learning models Population-level cortical dynamics Human/ferret auditory comparisons Publication Trends: Recent work (2024-2025) examines speech production networks, premotor auditory categorization, and algebraic structures in sound learning. Earlier studies (2018-2022) focus on population gating, hierarchical auditory coding, and self-voice mechanisms. 2025 Self-voice frequency analysis Hierarchical ferret auditory cortex mapping Temporal window constraints 2024 Premotor category hemodynamics Self-supervised sound structures Human speech cortical encoding Methodological Expertise: Combines awake ferret functional UltraSound, Neuropixels recordings, and computational modeling to analyze neural representations across spatial scales. Specializes in translating animal model findings to human auditory processes.
David F. Anderson is the Vilas Distinguished Achievement Professor of Mathematics at the Department of Mathematics, University of Wisconsin-Madison. He has maintained an active research and teaching career spanning over two decades with significant contributions to mathematical biology and stochastic modeling. Dr. Anderson's research focuses on the interface of mathematics and biology, specifically in mathematical systems biology and algorithm design for stochastic models in biological systems. His work has fundamentally advanced chemical reaction network theory, stochastic processes in biochemical systems, and computational methods for analyzing complex biological phenomena. He has developed numerous numerical techniques for simulating and analyzing reaction networks with applications across systems biology. An analysis of his recent publications reveals a sustained focus on mathematical properties of stochastic reaction networks, with increasing emphasis on connections between chemical systems and computational frameworks. His later work explores reaction networks as computing devices, implementing arithmetic operations and neural network functionalities through biochemical processes, while maintaining rigorous mathematical analysis of network properties like ergodicity, mixing times, and solution structures. Simons Fellow (2022) Vilas Associates Award (2016) IMA Prize in Mathematics (2014) Dr. Anderson has successfully guided nine PhD students to completion, with recent graduates including Aidan Howells (2024), Tung Nguyen (2021), Chaojie Yuan (2020), Kurt Ehlert (2019), and Jinsu Kim (2018). His current graduate student is Jingyi Ma. His research has been supported by prestigious fellowships including the Simons Fellowship, indicating substantial research funding, though specific grant details aren't provided in the source material. While specific laboratory facilities aren't described in the text, Dr. Anderson maintains an active research group evidenced by continuous publications, regular PhD student completions, and collaborations with numerous researchers including Daniele Cappelletti, Jinsu Kim, and Tung Nguyen. His research program demonstrates sustained productivity with publications spanning from 2005 to the present.
Christian Hirsch is an Associate Professor for Data Science and Statistics at Aarhus University, where he studies random networks motivated from biology and health sciences through techniques from topological data analysis and stochastic geometry. He is a member of the Stochastics group at the Department of Mathematics and holds additional affiliations as an Associate Fellow of the Aarhus Institute for Advanced Studies, and with the AU DIGIT Centre and the AU Quantum Campus. Current Position: Associate Professor for Data Science and Statistics, Aarhus University Previous Positions: Assistant Professor at University of Groningen and University of Mannheim Postdoctoral Experience: Aalborg University, LMU Munich, WIAS Berlin Education: PhD from Ulm University Christian Hirsch's research focuses on the statistical foundations of topological data analysis, large deviations theory in stochastic geometry, and percolation theory of spatial random networks. His work bridges theoretical mathematics with practical applications in data science, particularly in analyzing complex structures through topological methods. He investigates how topological features form and disappear in growing data structures, developing statistical tests to determine whether observed patterns are significant or merely random occurrences. His recent publications reveal a strong trend toward applying topological data analysis to increasingly complex structures, with significant focus on statistical validation of topological features. Hirsch has made substantial contributions to understanding the probabilistic behavior of persistent homology, developing functional central limit theorems and large deviation principles for topological functionals. His work spans theoretical foundations in stochastic geometry while finding applications in materials science, neural networks, and wireless communication systems. As an educator, Hirsch teaches graduate courses including Topological Data Analysis, Stochastic Geometry, Monte Carlo Simulation, Markov Decision Processes, Probability Theory, and Stochastic Processes. He has supervised numerous PhD, MSc, and BSc students, with several of his former students securing academic positions at institutions like University of Leiden, Tokyo Institute of Technology, and Budapest University of Technology. Hirsch leads a research group within the Stochastics group at Aarhus University, collaborating extensively with researchers across Europe and North America. His work demonstrates how topological methods can provide rigorous statistical insights into complex data structures, making significant contributions to both theoretical mathematics and practical data analysis techniques.
Jieh Hsiang is a Distinguished Professor at National Taiwan University , with affiliations in the Department of Computer Science and Information Engineering, the Digital Archives and Automatic Inference Laboratory, and the Digital Humanities Research Center. He holds concurrent roles at the Institute of Information Science, Academia Sinica, and the Higher Education Research & Development Office, National Taiwan University. Education PhD in Computer Science, University of Illinois at Urbana-Champaign (1979–1982) BS in Mathematics, National Taiwan University (1972–1976) Research Interests Hsiang's work spans automated reasoning , digital libraries , digital humanities , and information retrieval . His research focuses on integrating computational methods with cultural heritage preservation , particularly through tools like DocuSky and databases such as the Taiwan Historical Digital Library . He explores AI applications in patent analysis , historical text mining , and semantic relationships in legal documents . Recent Trends in Publications His recent articles highlight advancements in BERT and GPT-2 fine-tuning for patent classification , LARGE language models for legal automation , and GIS-based analysis of historical archives . Themes include digital preservation , AI-driven legal text analysis , and cross-disciplinary computational tools for humanities scholars. Scientific Awards 2019 Ministry of Science and Technology Distinguished Research Fellow 2009 National Taiwan University Outstanding In-House Service Award 2008 Chinese Library Association Special Contribution Award 2006 IEEE Test-of-Time Award 1997 & 1999 National Science Council Outstanding Research Award 1997 Ministry of Education Outstanding Industrial-Academic Collaboration Award 1998–2001 Founder and First Chair of IFIP WG1.6 Labs and Collaborations Hsiang leads the Digital Archive and Automatic Inference Laboratory , developing platforms like DocuSky for digital humanities, Taiwan Historical Digital Library , and QGIS Cloud Maps for spatial analysis. His team collaborates internationally on projects involving historical document digitization , patent automation , and cross-domain knowledge integration .
Dr. Samuel Serna Otálvaro is an Assistant Professor at Bridgewater State University's Department of Physics, Photonics and Optical Engineering. He holds a PhD in Physics from Paris-Saclay University and completed postdoctoral research at the Centre for Nanoscience and Nanotechnology (C2N) and Massachusetts Institute of Technology (MIT). His work focuses on integrated photonics, nonlinear optics, and optical materials, with a particular emphasis on nanofabrication and photonic crystal design. BS (2010): Universidad Nacional de Colombia, Sede Medellín MA (2013): Friedrich Schieller University, Germany MA (2013): Paris-Sud University, Institute d’Optique Graduate School, France PhD (2016): Paris-Saclay University, France Dr. Serna's research explores hybrid photonic devices, third-order nonlinear susceptibilities, and sustainable optical technologies. His publications highlight advancements in coupler design, nonlinear material characterization, and educational innovations in photonics. He is an OSA Ambassador (2019) and has contributed to SPIE Career Lab Editorial initiatives (2021). Recent publications demonstrate expertise in hybrid photonics , nonlinear optical characterization , environmental sensing applications , and photonics education . His work spans topics from Germanium-based mid-infrared platforms to free-form micro-optics , reflecting a multidisciplinary approach to advancing optical engineering. Scientific Awards: OSA Ambassador 2019
Anders Forsgren is a Professor of Optimization and Systems Theory at the Department of Mathematics, KTH Royal Institute of Technology since 2003. His research focuses on nonlinear programming, particularly Newton-type methods for smooth optimization, with applications in radiation therapy, cell biology, and telecommunications. PhD in Optimization and Systems Theory (KTH, 1990) MS in Operations Research (Stanford, 1987) MSc in Engineering Physics (KTH, 1985) Research Interests: Anders develops methods for constrained optimization and applies them to intensity-modulated radiation therapy, metabolic networks, and wireless communication systems. His work bridges algorithmic innovation with real-world clinical and engineering challenges. Recent Publications: Focus on robust optimization for radiation therapy under uncertainty, quasi-Newton methods, and applications in medical physics. His 2025 papers address interplay-robust optimization and scenario positioning in proton therapy. Scientific Leadership: Co-chair, 8th SIAM Conference on Optimization (2005) Editorial board member, Computational Optimization and Applications (since 1998) Member, Mathematical Optimization Society and SIAM Mentorship: Supervises PhD students in optimization and systems theory, with former advisees working on radiation therapy robustness, metabolic modeling, and network design.
