Yair Censor is a distinguished Professor in the Department of Mathematics at the University of Haifa. His work focuses on applied mathematics, particularly in optimization, projection methods, and computational algorithms with applications in medical physics and engineering. He has developed foundational techniques like the superiorization method, which balances feasibility-seeking and objective function reduction in iterative algorithms. Research Interests: Optimization theory, convex feasibility problems, superiorization, medical imaging algorithms, and parallel computing. Collaborations: Extensive work with Gabor T. Herman, Aviv Gibali, Reinhard Schulte, and others in computational methods for radiation therapy and tomography. His recent publications (2023–2025) emphasize feasibility-seeking algorithms, superiorization in floorplanning, and perturbation resilience. While no explicit awards or students are listed in the provided text, his contributions to iterative methods and medical physics remain influential.
Gregory Valiant is an Associate Professor of Computer Science at Stanford University , specializing in Algorithms, Machine Learning, Statistics, and Information Theory. He holds a PhD from UC Berkeley and a BA in Mathematics from Harvard University. His research focuses on designing efficient algorithms for inferring information from limited data, addressing challenges in computation, memory, communication, and data quality. He advises multiple PhD students and collaborates with institutions like Microsoft Research New England. Educations: PhD, Computer Science, UC Berkeley (2012) BA, Mathematics, Harvard University (2006) Research Interests: Gregory’s work centers on the interplay between algorithms and statistical inference, particularly in high-dimensional settings. His lab explores topics like distribution learning, sample amplification, and adversarial robustness. Recent projects include developing algorithms for trace reconstruction, matrix completion, and transformer-based in-context learning. His methodologies often combine theoretical rigor with practical applications in machine learning and data science. Key Article Trends: His publications span theoretical foundations (e.g., sample amplification, convex optimization complexity) and applied machine learning (e.g., transformer capabilities, adversarial testing). Notable work includes contributions to distribution testing, statistical estimation under constraints, and algorithmic lower bounds. Advising: Current advisees include Annie Marsden, Steven Cao, and Chirag Pabbaraju. Former students have pursued roles at institutions like Harvard, Berkeley, and companies like Google, Waymo, and Facebook.
Jelle Hartong is a Lecturer in Theoretical Physics at the University of Edinburgh's School of Mathematics. His research focuses on non-relativistic gravity, string theory, and fluid dynamics, with a particular interest in symmetry structures such as Carrollian and Galilean systems. He completed his undergraduate and doctoral studies at the University of Groningen, Netherlands, before embarking on postdoctoral positions in Switzerland, Denmark, Belgium, and Amsterdam. His work bridges high-energy physics and gravitational theories, exploring topics like black hole thermodynamics, holography, and non-relativistic limits of string theories. He actively teaches advanced undergraduate courses, including 'Variational Calculus,' while adapting to online teaching methodologies during recent years. Education: Bachelor's and Master's in Theoretical Physics, University of Groningen (Netherlands) PhD in Theoretical Physics, University of Groningen Research Interests: Hartong’s work centers on understanding non-relativistic limits of relativistic theories, particularly in string theory and gravity. He investigates Carrollian spacetimes, fluid dynamics in non-relativistic regimes, and the interplay between symmetries and holographic dualities. His contributions to Newton-Cartan geometry and fracton models highlight his exploration of novel geometric and algebraic structures in theoretical physics. Teaching & Outreach: He teaches advanced undergraduate courses in variational calculus and theoretical physics, emphasizing hands-on problem-solving. Despite challenges with online teaching, he maintains a commitment to student engagement through structured lectures and extended office hours. Labs & Collaborations: As part of Edinburgh’s School of Mathematics, Hartong contributes to the 'Structure & Symmetry' research group, collaborating on projects at the intersection of gravity, quantum field theory, and mathematical physics.
Monica Jinwoo Kang is an Assistant Professor at Texas A&M University's Department of Physics and Astronomy, specializing in mathematical physics and quantum gravity. Her research bridges theoretical physics and mathematics through holography, operator algebras, and quantum error correction. Education: PhD in Physics (Harvard, 2019), Bachelor's in Mathematics and Physics (UC Berkeley, 2012), Korea Science Academy Her work focuses on non-perturbative aspects of quantum field theory and quantum gravity, particularly through entanglement structures, bulk reconstruction in AdS/CFT, and geometric engineering of SCFTs. She has developed novel operator-algebraic frameworks for understanding holography in infinite-dimensional Hilbert spaces and discovered isomorphic superconformal theories with identical central charges. Recent publications demonstrate her expertise in multiparty entanglement holography, generalized symmetry constraints on 4D SCFTs, and nonperturbative gravity corrections to bulk reconstruction, with implications for baby universe formalism and quantum error correction. Scientific Awards: AKPA Outstanding Young Researcher Award (2025), Sherman Fairchild Fellowship, Purcell Fellowship, J. D. Jackson Award She has organized international conferences on stringy geometry and quantum field theory, and contributed to pedagogical lectures at institutions like Universidad Complutense de Madrid and the Simons Center. Her interdisciplinary approach combines algebraic geometry, lattice gauge theory, and quantum information to address fundamental questions in gravity and field theory.
Nikolaj Bjørner is a Partner Researcher at Microsoft Research , affiliated with the Research in Software Engineering (RiSE) group. His work centers on symbolic solving techniques, particularly through the development of the Z3 SMT solver , which underpins program verification, test case generation, and cloud network management. He has also contributed to distributed file systems and network verification . Academic Rank : Researcher Key Collaborations : Leonardo de Moura (Z3), George Varghese (network verification), Mooly Sagiv (controller verification) Research Interests : Bjørner’s work spans SMT solvers (Z3, muZ, SPACER), network verification (SecGuru, NoD, ddNF), and distributed systems (DFSR, RDC). His methods bridge logical reasoning, optimization, and network reliability. Article Trends : His publications focus on SMT solving (e.g., Z3, muZ, SPACER), network verification (ddNF, TeaVar), and quantifier instantiation (MBQI). These works integrate model-based reasoning and theory combination to address scalability in software and networking. Awards : 2021 ACM Fellow 2021 CAV Award (pioneering SMT contributions) 2019 Herbrand Award (Z3) 2017 Skolem Award (E-matching) 2016 Best Paper (HVC, ddNF) 2015 ACM SIGPLAN Software System Award (Z3) Collaborations & Students : Bjørner has mentored interns and collaborators like Daniel Selsam (neural networks for SAT), Nuno P. Lopes (Alive, NoD), and Rachee Singh (Shoofly, traffic engineering). He co-organized the 2022 Shonan workshop on SAT and served as program chair for conferences like PSI and FMCAD.
Lukáš Holík serves as an Associate Professor at the Department of Intelligent Systems (DITS) within the Faculty of Information Technology (FIT) at Brno University of Technology. His office is located in room A220, with contact details including email holik@fit.vut.cz and phone +420 54114 1331. His research expertise centers on theoretical computer science, formal methods, and program verification, with significant contributions to automata theory, logic in computer science, and static program analysis. He has developed multiple software tools including Mata (finite automata library), Z3-Noodler (string solver), Broom (static analyzer for C), and GadgetCA (ReDoS attack generator), demonstrating deep specialization in string constraint solving and verification of systems with unbounded threads. Dr. Holík leads the Automata@FIT research group as Principal Researcher and participates in the Automated Analysis and Verification Research Group (VeriFIT). He actively serves on academic committees including State Doctoral Examinations, State Final Examinations, and Doctoral Study Programme supervision at FIT.
Ondřej Lengál is an Associate Professor at the Department of Intelligent Systems, Faculty of Information Technology, Brno University of Technology. His academic career spans over a decade with continuous research funding and publication output, progressing from doctoral work to leading multiple significant research projects. His research interests include: Formal Methods and Verification Automata Theory and Applications Program Analysis and Static Verification Theoretical Foundations of Computer Science Model Checking Techniques Software Engineering with Formal Guarantees Dr. Lengál's publication record demonstrates a consistent research trajectory in automata-based verification techniques. His recent work (2021-2023) has focused on Büchi automata complementation, with significant contributions to rank-based algorithms and tighter complexity bounds. He has also made substantial contributions to forest automata for shape analysis and heap verification, as well as symbolic techniques for program analysis. His research bridges theoretical computer science with practical applications in software verification. Dr. Lengál leads and participates in multiple research projects funded by GACR (Czech Science Foundation), EU Horizon programs, and internal university grants. His current projects include QUAK: Quantum Program Analysis using Automata Toolkit (2025-2027), Verification and Analysis for Safety and Security of Applications in Life (2024-2027), and Reliable, Secure, and Intelligent Computer Systems (2023-2026). As an educator, Dr. Lengál teaches several advanced courses including Formal Program Analysis, Advanced Mathematics, Operating Systems, and Theoretical Computer Science, demonstrating his ability to connect theoretical foundations with practical applications.
Robert Clemenson is a Theoretical Particle Physics PhD researcher and Teaching Fellow at the University of Sussex, affiliated with the School of Mathematical and Physical Sciences. He works with Professor Stephan Huber on holographic phase transitions, focusing on applications of particle physics to cosmology and constraints from astrophysical measurements. BA Physics, Oxford University (2016-2019) MMathPhys Mathematical and Theoretical Physics, Oxford University (2019-2020) His research explores physics beyond the Standard Model, particularly holographic phase transitions in the early Universe and the Diffuse Supernovae Neutrino Background. He utilizes AdS/CFT correspondence to model cosmological phenomena and investigates connections between particle physics and astrophysical observations. His work is funded by a doctoral studentship and the STFC grant titled "Holographic phase transitions" (2020-2024). He has contributed to teaching as a Doctoral Tutor in both Physics and Mathematics departments, overseeing workshops for undergraduate and postgraduate modules like Mechanics & Relativity and Numerical Analysis 2. Teaching modules: Algebra, Maths Methods 1, Analysis 1, etc. Outreach: Hosts Twitch streams and YouTube content for educational purposes, with an office presence tracker at https://is-rob-in-the-office.com/ .
Theodore J. Allen is a Professor of Physics at Hobart & William Smith Colleges (HWS), where he has been a faculty member since 1998. He currently serves as Chair of the Physics Department and holds a Ph.D. in Theoretical Physics from Caltech (1988). His academic journey includes prior positions at SUNY Utica/Rome, University of Wisconsin-Madison, and postdoctoral fellowships at Syracuse and Wisconsin. Ph.D., Theoretical Physics, California Institute of Technology (1988) M.S., Physics, California Institute of Technology (1984) B.S., Applied Mathematics, Engineering and Physics, University of Wisconsin-Madison (1982) Allen's research is centered in theoretical high-energy physics, with a focus on Quantum Chromodynamics (QCD), string theory, and the quantization of constrained systems. His work explores the dynamics of QCD strings, pseudoclassical models, and meson spectroscopy, contributing to our understanding of quark confinement and hadronic structure. He has published extensively in leading journals such as Physical Review D and Journal of Mathematical Physics . His recent publications, spanning from 2021 to 1991, reveal a sustained research program in theoretical particle physics. The articles consistently address topics in QCD string models, quantization techniques, and hadron dynamics. Key themes include the behavior of spinning and curved strings in QCD, the transition between scalar and string confinement, and the vibrational modes of flux tubes. The work employs advanced mathematical methods in quantum field theory and constrained systems, demonstrating deep theoretical insight. Allen has received several honors, including the National Science Foundation Graduate Fellowship and multiple academic excellence awards during his undergraduate and graduate studies. He was elected to Phi Beta Kappa, Phi Kappa Phi, and Tau Beta Pi, reflecting early recognition of his academic excellence. National Science Foundation Graduate Fellow - Caltech (1982-1985) University Academic Excellence Award - UW-Madison (1982) University Academic Excellence Award - UW-Madison (1981) Radtke Prize Scholarship in Physics - UW-Madison (1981) Elected Phi Beta Kappa (1981) Elected Phi Kappa Phi (1981) Elected Tau Beta Pi, National Engineering Honor Society (1981) Frank D. Cady Scholarship in Mathematics - UW-Madison (1979 & 1980) National Merit Scholar - UW-Madison (1978-1982) Westinghouse Science Talent Search Honors Group (1977) He has advised graduate students, including Dennis B. Crossley (Ph.D., UW-Madison, 1994), and has held significant service roles such as Department Chair at HWS (2004–2006, 2008–2009, 2013–2019) and Career & Professional Development Liaison to the American Physical Society (2001–Present). He has taught a wide range of courses including Quantum Mechanics, Classical Mechanics, and Advanced Laboratory, and has been actively involved in curriculum development and academic computing. Allen is a member of the American Physical Society and has served as a referee for major journals including Physical Review Letters and Physical Review D . His research has been presented at numerous national and international conferences, including the MRST series, Confinement III, and meetings at Duke, Syracuse, and Fermilab.
Roberto Amadini is an Associate Professor in the Department of Computer Science and Engineering at the University of Bologna. His work focuses on constraint programming, algorithm selection, and string constraint solving, with applications in cloud-edge computing and IoT systems. He leads research in deploying microservices over hybrid infrastructures and optimizing solver portfolios for constraint satisfaction problems. Research interests include advanced constraint solving techniques, formal methods for software analysis, and energy-efficient resource allocation. Amadini’s contributions span the design of frameworks like FREEDA and SUNNY-as2, which enhance deployment resilience and algorithm selection efficiency. His work bridges theoretical foundations with practical implementations in programming languages and verification tools. Recent publications explore sustainable cloud-edge applications, failure-resilient systems, and dynamic symbolic execution. He actively contributes to open-source projects like JSetL and participates in international solver challenges. No awards are explicitly listed in the provided materials. Amadini’s research group addresses cutting-edge challenges in distributed computing and constraint-based methodologies. Ongoing projects focus on optimizing solver portfolios for real-world computational tasks and advancing string analysis techniques in programming paradigms.
Sylvie Hamel is a Full Professor and Department Director at the Department of Computer Science and Operations Research (DIRO), Université de Montréal. She is affiliated with the CRM (Centre de recherches mathématiques) and the LBIT (Laboratoire de biologie informatique et théorique). Her research bridges computer science, mathematics, and molecular biology, focusing on algorithmic problems in genomics, combinatorial analysis, and RNA structure modeling. Education: Her academic background includes a Ph.D. in algorithmic and combinatorial studies, with a thesis on vector algorithms and bioinformatics. Research Interests: Algorithm design for genome rearrangements and sequence analysis Combinatorial optimization and permutation medians RNA structure prediction and computational biology Consensus algorithms and voting theory Software evolution and design patterns Grants & Projects: Leading projects on consensus algorithms (2025–2031), comparative genomics (2016–2024), and CRM strategic initiatives (2022–2029). Funded by CRSNG (Natural Sciences and Engineering Research Council) and FRQNT (Québec research fund). Awards: CRSNG Postdoctoral Fellowship (2003–2008). Supervision: Currently advising M.Sc./Ph.D. students on topics like consensus algorithms, RNA structure analysis, and combinatorial optimization. Over 20+ completed theses under her supervision. Labs: Active in LBIT (bioinformatics) and CRM (mathematical research), fostering interdisciplinary collaboration.
Roman Roy, Narciso is a Full Professor at the Universitat Politècnica de Catalunya (UPC) , affiliated with the Departament de Matemàtiques and the Escola Tècnica Superior d'Enginyeria de Telecomunicació de Barcelona . He leads the GEOMVAP - Geometria de Varietats i Aplicacions research group and holds an Orcid ID: 0000-0003-3663-9861. His primary research interests lie in Mathematical Physics and Applied Differential Geometry, focusing on multisymplectic field theories, geometric mechanics, and Hamiltonian systems. Roy holds a degree and doctorate in Physics from UPC. Research Interests: Geometric formulations of classical field theories, including multisymplectic and k-contact structures. Symmetry analysis and conservation laws in physical systems. Applications of differential geometry to gravitation (e.g., Einstein-Palatini model) and non-conservative systems. Key Contributions: Developed multisymplectic frameworks for gravitational theories and dissipative systems. Advanced Skinner-Rusk formalisms for k-contact systems and field theories. Published extensively in journals like Journal of Physics A , Annals of Physics , and Reports on Mathematical Physics . Grants and Projects: Recipient of competitive research grants (e.g., MCIU projects) for studies on geometric mechanics and field theories. Coordinated the Multisymplectic Lagrangian Models in Gravitation and Geometría-Física-Control projects. Collaborations: Active collaborations with institutions like CSIC, Mendeley, and ResearchGate. Co-authored works with prominent researchers such as Manuel de León and Xavier Gràcia.
Martin Skamletz is a Lecturer at the Bern University of the Arts , where he has been Head of the Institute of Interpretation since 2007 . He also served as Professor of Music Theory and Performance Practice at the Vorarlberg State Conservatory Feldkirch from 2006 to 2022. His career spans teaching, performance, and research with a focus on Classical Theory , Historical Performance Practice , and Contemporary Music . He has held teaching qualifications at institutions like the Royal Conservatory of Brussels and the University of Music and Performing Arts in Vienna . Education Highlights : M.MUS. in Traverso (Barthold Kuijken, Marc Hantaï, Frank Theuns) at Royal Conservatory of Brussels (1993–1998) Teaching qualification IGP 1 in Flute at University of Music and Performing Arts Vienna (1992–1995) Mag.art. in Music Theory at University of Music and Performing Arts Vienna (1988–1993) Research Focus : Martin Skamletz’s work bridges music theory , historical performance practice , and contemporary composition . His publications and lectures examine 19th-century opera adaptations , brass instrument evolution , and Beethoven’s keyboard innovations . He specializes in transnational musical exchanges and editorial practices in works by composers like Grétry, Cherubini, and Albrechtsberger. His ongoing dissertation investigates Grétry’s operatic arrangements in Vienna (1778–1843). Article Trends : His recent publications analyze French opera in Viennese contexts , brass instrumentation , and keyboard range expansion around 1800. These works reflect his interest in cross-cultural adaptation , instrumental limitations , and editorial interventions in music history. Teaching & Leadership : Skamletz contributes to university didactics and artistic research , particularly in projects funded by the Swiss National Science Foundation (SNSF) and Innosuisse . He has led initiatives on practice-oriented research and third-party funding for music institutions. His teaching includes historical performance practice and music theory at institutions like the Vorarlberg State Conservatory and the Free Music School Basel . Labs & Teams : Skamletz is central to the Institute of Interpretation at the Bern University of the Arts, which explores historically informed performance and instrumental conservation . He collaborates with the Swiss Music Education Association and participates in symposia like the Romantic Brass Symposium .
Dr. Fang Yu is an Associate Professor at the Department of Management Information Systems, National Chengchi University, specializing in software security, formal verification, and string analysis. They hold a Ph.D. in Computer Science from the University of California, Santa Barbara. Research Expertise: Dr. Yu focuses on cybersecurity, formal methods for software verification, and machine learning applications in data clustering and adversarial example detection. Their work bridges theoretical computer science with practical security solutions. Publication Trends: Recent articles address biomedical data clustering ( scGHSOM ), explainable AI ( XFlag ), and adversarial defense mechanisms. Topics span bioinformatics, security verification, and fairness testing in neural networks. Awards: 資深優良教師(10年) (2020, National Chengchi University) 國科會研究獎勵 (2019, National Science Council, Taiwan) Projects: Principal Investigator for 15+ grants from Taiwan's National Science and Technology Council and Ministry of Education, focusing on AI security, IoT verification, and financial technology.
Daniel Varro is a Professor and Head of Unit at the Department of Computer Science (IDA) of Linköping University, Sweden. He leads the Software and Systems (SAS) department, focusing on AI, software engineering, and cyber-physical systems. His research is supported by major grants like the Vinnova 5.6 million SEK project for AI-generated software quality assurance. Affiliation: Department of Computer Science (IDA), Linköping University Department: Software and Systems (SAS) Research Focus: Model-based systems, large language models for code analysis, reinforcement learning, and cyber-physical safety verification. His recent work includes empirical studies on machine learning notebooks, infrastructure code smells, and data leakage in large language models. He collaborates extensively within the Wallenberg Autonomous Systems Program (WASP) and trains doctoral students in software engineering.
