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

Jean H. Gallierمشاهده پروفایل

استاد

• Computer Science
• Mathematics
• 3D Graphics
• +۹ مورد دیگر

Jean H. Gallier is a Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the School of Engineering and Applied Science. He holds a secondary appointment in the Department of Mathematics and is a member of the Center for Human Modelling and Simulation, GRASP Laboratory, Institute for Research in Cognitive Science, and Logic and Computation Group. His research interests span geometry applications (3D graphics, computer vision, robotics), algebraic/differential geometry, medical imaging, and computational mathematics. Post-1993, he focuses on geometric modeling and its computational aspects. Key affiliations include GRASP Lab (robotics and automation) and the Center for Human Modelling and Simulation. His work integrates mathematics with computer science, extending to optimization, cryptography, and spectral graph theory. Notable contributions include books on differential geometry, linear algebra, and discrete mathematics, reflecting his expertise in bridging theoretical foundations with practical applications. Recent research emphasizes algorithmic approaches to geometric problems and machine learning optimization techniques. Publications span over 40 years, with recent works on harmonic analysis, cohomology theories, and computational geometry. He has authored influential textbooks used in graduate programs worldwide, emphasizing rigorous mathematical foundations for computer science disciplines.

David Wallaceمشاهده پروفایل

استاد

• Philosophy of Physics
• Quantum Mechanics
• Statistical Mechanics
• +۴ مورد دیگر

David Wallace is the Mellon Professor of Philosophy at the University of Pittsburgh, Department of Philosophy. His academic journey began with a Physics PhD from Oxford, transitioning to philosophy through foundational questions in physics. His research focuses on the philosophy of physics, including the Everett interpretation of quantum mechanics (detailed in his book The Emergent Multiverse ), quantum field theory, statistical mechanics, and general relativity. He also explores broader themes like emergence, structural realism, and decision theory. Wallace’s work bridges physics and philosophy, emphasizing conceptual clarity in foundational theories. His recent publications address topics such as gauge invariance, Gibbsian statistical mechanics, and the implications of quantum field theories. He critiques and defends interpretations of quantum mechanics while engaging with thermodynamics and relativity. His interdisciplinary approach challenges traditional boundaries between physics and philosophy.

Daniel Kráľمشاهده پروفایل

استاد

• Combinatorics
• Graph Theory
• Extremal Combinatorics
• +۶ مورد دیگر

Professor Daniel Kráľ is the Alexander von Humboldt Professor for Discrete Mathematics at Leipzig University since April 2025, affiliated with the Max Planck Institute for Mathematics in the Sciences. Previously, he held the Donald Ervin Knuth Professorship at Masaryk University (2018–2025) and was a professor at the University of Warwick (2012–2020). He also serves as an honorary professor at Warwick and has held visiting roles at UC Berkeley (2025) and Georgia Tech (2005–2006). His research focuses on combinatorics, graph theory, and their intersections with computer science, particularly in extremal combinatorics, graph limits, and algorithmic graph theory. Education: Ph.D. in Computer Science (2004), Master's (2001) from Charles University, Prague. Early career included postdoc roles at TU Berlin and Charles University's Institute for Theoretical Computer Science. Research Interests: Theory of combinatorial limits, extremal combinatorics, structural and algorithmic graph theory, analytic methods in discrete mathematics. Key contributions include resolving Steinberg's Conjecture and Lovász-Plummer Conjecture, development of graph limit theory, and applications to algorithm design. Grants & Awards: Recipient of ERC Starting (CCOSA) and Consolidator (LADIST) grants, SIAM Fellowship (2024), AMS Fellow (2020), Philip Leverhulme Prize (2014), European Prize in Combinatorics (2011). Over 150 journal articles, with impactful work in Advances in Mathematics , Journal of the EMS , and others. Service: Editor-in-Chief of SIAM Journal on Discrete Mathematics , co-editor of Journal of Combinatorial Theory , co-founder of Advances in Combinatorics . Organized major conferences and workshops, including the 2025 Oberwolfach workshop on Graph Theory. Labs/Teams: Leading research groups in discrete mathematics at Leipzig and previously in Brno/Warwick. Collaborates with postdocs and students on projects spanning graph limits, integer programming, and combinatorial optimization.

Mayer Alvoمشاهده پروفایل

استاد

• Nonparametric Statistics
• Sequential Analysis
• Spatial Statistics
• +۵ مورد دیگر

**Mayer Alvo** is a **Full Professor** in the **Department of Mathematics and Statistics** at the **University of Ottawa**. He holds an MSc from McGill University and a PhD from Columbia University. His research focuses on **Nonparametric Statistics**, **Sequential Analysis**, and **Spatial Statistics**, with applications in environmental modeling and ranking data analysis. Alvo has authored three books, including *A Parametric Approach to Nonparametric Statistics* (2018) and *Statistical Methods for Ranking Data* (2014). He has developed an **R package** *hypersampleplan* for hypergeometric distribution calculations. His research interests include analyzing trends in acid deposition in the Great Lakes, Bayesian statistics, and the application of statistical methods to big data. Alvo has supervised multiple graduate students, including **Rachid Bentoumi**, **Jingrui Mu**, and **Xiuwen Duan**. He teaches courses such as MAT 1371, MAT 2375, and MAT 4376, covering topics in probability, statistics, and applied mathematics. Alvo's recent work explores parametric embedding in nonparametric problems and change-point detection in stress-strength reliability. His contributions span theoretical advancements in ranking data analysis and practical applications in environmental science and finance. He is affiliated with the **Statistics and Probability Research Group** at the University of Ottawa.

• Formal Methods
• Interactive Theorem Proving
• Probability Theory
• +۴ مورد دیگر

Rémy Degenne is affiliated with the University of Lille, Inria, CNRS, Centrale Lille, and the CRIStAL research laboratory (UMR 9198) in Lille, France. His work lies at the intersection of formal methods, mathematical logic, and probability theory, focusing on the mechanized verification of foundational results using the Lean proof assistant and its mathlib library. His research centers on formalizing advanced concepts in probability, particularly martingale convergence theorems. By encoding Doob's theorems in mathlib, he contributes to the rigorous foundation of probabilistic reasoning within interactive theorem proving. This work supports the broader goal of ensuring correctness in mathematical proofs and probabilistic algorithms through machine-checked verification. The available publication highlights a strong trend in bridging theoretical mathematics with programming language techniques, particularly in the formalization of measure-theoretic probability. His contributions align with the growing field of certified mathematics and trustworthy computation. Affiliation: University of Lille Research Unit: CRIStAL (UMR 9198) Associated Organizations: Inria, CNRS, Centrale Lille He has contributed to the CPP (Certified Programs and Proofs) conference, a premier venue for research on formal verification and proof assistants. No information is available regarding advising, grants, or teaching activities.

Andrew McEachernمشاهده پروفایل

استادیار

• Applied Mathematics
• Mathematics Outreach
• Game Theory
• +۵ مورد دیگر

Andrew McEachern is an Assistant Professor at York University, with academic credentials including a PhD in Applied Mathematics (2013), MSc (2010), and BA (2008) from the University of Guelph. He has also held faculty positions at the University of Victoria (2017-2019) and a postdoctoral fellowship at Queen's University (2015-2017). His research and outreach focus on the intersection of applied mathematics and role-playing game design, including innovative applications of probability, dice mechanics, and puzzle-based storytelling. He co-authors the blog Dan and Andrew's Game Place , exploring game theory and fantasy game design. Notable Contributions : Critical Hit dice mechanic expansion for D&D 5th edition Monty Hall Problem adaptation for RPG scenarios Mind-switching puzzles in adventure narratives Scientific Awards Coleman Postdoctoral Fellowship (Queen's University, 2015-2017)

• Metaphysics
• Philosophy of Science
• Epistemology
• +۷ مورد دیگر

Dmitri Gallow is an Associate Professor of Philosophy at the University of Southern California (effective August 2024). Before joining USC, he held visiting positions at the National University of Singapore and previously worked at the Dianoia Institute of Philosophy, the University of Pittsburgh, and New York University. He earned his Ph.D. in Philosophy from the University of Michigan, Ann Arbor in 2014. His research focuses on the metaphysics of causation and chance, rational norms governing credence and choice, and their interconnections. He also maintains teaching interests in philosophy of science, metaphysics, epistemology, ethics, philosophy of language, philosophy of economics, and logic. Gallow has presented widely on topics such as decision theory under foreknowledge, two-dimensional chance deference, and model-invariant causation. His talks include conferences at institutions like Rutgers University, the University of Helsinki, and Carnegie Mellon University. He has also authored lecture materials for advanced courses in Bayesian epistemology, modal logic, and metaontology, as well as introductory courses in logic and philosophy. His work emphasizes formal methods in philosophy, with a particular focus on integrating metaphysical and epistemological inquiries. He has conducted research on belief updating for epistemic externalists, causal modeling, and the relationship between learning and value change.

J Robert G Williamsمشاهده پروفایل

استاد

• Metaphysics
• Formal Epistemology
• Philosophy of Mind and Language
• +۶ مورد دیگر

Professor J Robert G Williams holds the position of Professor of Theoretical Philosophy at the University of Leeds, part of the School of Philosophy, Religion and History of Science. He has been at Leeds since 2005, progressing from Lecturer to Reader and then to Professor. His expertise spans Metaphysics, Formal Epistemology, Philosophy of Mind and Language, and Philosophy of Logic and Mathematics. Williams studied Mathematics and Philosophy at Oxford (undergraduate and BPhil) before completing his PhD on the Inscrutability of Reference under Crispin Wright at the Arche Research Centre, St Andrews. His research focuses on topics such as reference magnetism, social ontology, probability models, and the philosophy of mathematics. He leads the ERC-funded 'Group Thinking: New Foundations' project and has supervised numerous PhD students and postdoctoral researchers. He has secured significant grants, including an ERC Consolidator Grant (2019-2024) and multiple Marie Curie Fellowships for collaborators. Notable students include Mirja Holst (Wolfgang-Stegmller-Preis winner for her thesis) and Laura Crosilla (specializing in constructive mathematics). Williams teaches advanced courses in philosophy of language, logic, and metaphysics. Outside academia, he is an avid fell runner and member of the Bingley Harriers and Bob Graham Club.

Alastair Wilsonمشاهده پروفایل

استاد

• Metaphysics
• Philosophy of Science
• Philosophy of Physics
• +۳ مورد دیگر

Professor Alastair Wilson is a faculty member at the University of Leeds, serving as Professor of Philosophy and Director of Postgraduate Research Studies within the School of Philosophy, Religion and History of Science, Faculty of Arts, Humanities and Cultures. He holds a DPhil, BPhil, and BA from the University of Oxford, specializing in Philosophy and Physics. His research focuses on metaphysics, epistemology, philosophy of science, and philosophy of physics. Notable projects include the ERC-funded FraMEPhys (2018-2023) exploring metaphysical explanation in physics and the book The Nature of Contingency: Quantum Physics as Modal Realism (OUP, 2020). Recent works include Modal Naturalism: Science and the Modal Facts (CUP, 2024) and co-editing Levels of Explanation (OUP, 2024). He has held leadership roles in academic societies, including President of the Society for the Metaphysics of Science (2017-18). His work integrates scientific theories with metaphysical inquiry, emphasizing modal realism and quantum foundations. Research interests include explanation in physics, laws of nature, chance, counterfactuals, and the epistemology of disagreement. He has contributed to debates on Everettian quantum mechanics, temporal asymmetry, and the metaphysics of modality. Editorial roles include Philosophy of Physics and Ergo . Current research explores theoretical autonomy, modality naturalism, and cosmological fine-tuning.

• Philosophy
• Mathematics
• Computer and Information Sciences
• +۴ مورد دیگر

Fausto Barbero is an Academy Research Fellow at the Department of Philosophy, History and Art Studies, University of Helsinki. His research focuses on formal logic, probabilistic reasoning, and causal models with particular emphasis on interventionist counterfactuals and indeterministic causation. He leads multiple Academy of Finland-funded research projects including 'A logical study of indeterministic causation' (2025–2027). Research interests span interdisciplinary areas combining philosophy, mathematics, and computer science. His work addresses foundational questions in logic, causation theory, and the formal representation of probabilistic dependencies. Recent contributions include advancements in multiteam semantics and axiomatization of counterfactual logics. Barbero has delivered 35+ academic activities including invited talks at international conferences and peer reviews. His projects involve collaborations across institutions in Finland and Europe, with active engagement in causal modeling, probabilistic systems, and formal methods.

Nevin Climenhagaمشاهده پروفایل

دانشیار

• Epistemology
• Philosophy of Science
• Philosophy of Religion
• +۴ مورد دیگر

Nevin Climenhaga is an Associate Professor of Philosophy, specializing in epistemology, philosophy of science, and philosophy of religion. His research explores topics such as the nature of knowledge, probability, Bayesian confirmation, causal inference, divine providence, and the problem of evil. He holds a PhD in Philosophy from the University of Notre Dame (2017). Education: PhD in Philosophy, University of Notre Dame, 2017 His current book project, Knowledge and Certainty: A Defense of Classical Infallibilism , defends the view that knowledge requires certainty, aligning with historical classical infallibilism. Key arguments include reconciling intuitions about knowledge through maximal epistemic probability, addressing skepticism about future knowledge, and providing error theories for apparent over-attributions of knowledge. The book also engages with contemporary debates in epistemology, such as closure under deduction and the roles of evidence in law and ethics. No specific scientific awards or grants are listed in the provided materials. His work emphasizes foundational questions in epistemology and the integration of historical philosophical traditions with modern analytic methods.

Tom McCoyمشاهده پروفایل

استادیار

• Computational Linguistics
• Cognitive Science
• Artificial Intelligence
• +۴ مورد دیگر

Tom McCoy is an Assistant Professor of Linguistics at Yale University, affiliated with the Department of Computer Science and the Wu Tsai Institute. He holds a PhD in Cognitive Science from Johns Hopkins University (2022) and was a postdoctoral fellow in Computer Science at Princeton University (2022–2023). His research bridges computational linguistics and artificial intelligence, focusing on how language is learned and represented in humans and neural networks. Key interests include syntax, inductive biases in AI systems, and connections between linguistic theory and neural network architectures. Education: PhD in Cognitive Science (Johns Hopkins University, 2022); Postdoctoral Fellow in Computer Science (Princeton University, 2022–2023). Research explores computational mechanisms underlying human language, including syntactic representations in neural networks and mechanisms for efficient language learning. He investigates how AI systems can be informed by linguistic insights and vice versa. Active in organizing the North American Computational Linguistics Open competition (NACLO) for high school students. Key affiliations include Yale’s Linguistics Department, Computer Science Department, and Wu Tsai Institute. Current activities include advising PhD students/postdocs and hosting research opportunities for Yale undergraduates.

• Topological Data Analysis
• Dynamical Systems
• Network Science
• +۳ مورد دیگر

Sarah Tymochko is a Hedrick Assistant Adjunct Professor in the Department of Mathematics at the University of California, Los Angeles (UCLA), where she collaborates with Mason Porter. She earned her Ph.D. in Computational Mathematics, Science, and Engineering (CMSE) from Michigan State University under the guidance of Liz Munch. Her research focuses on topological data analysis, dynamical systems, network science, and opinion dynamics. She is set to join the College of the Holy Cross as an assistant professor in Fall 2025 and is actively involved in interdisciplinary projects, including the WiSDM workshop at UNC Chapel Hill in August 2025. Her work emphasizes applying topological methods to diverse datasets, such as time series analysis, image resolution impacts, and emergency resource evaluation. She has developed the TeaspoonTDA Python package, published in the Journal of Open Source Software, which provides tools for topological signal processing. Her research spans applications in climate science (hurricane diurnal cycles), healthcare (sleep stage classification), and manufacturing (chatter diagnosis in milling).

Justin Hsuمشاهده پروفایل

دانشیار

• Formal Verification
• Randomized Algorithms
• Differential Privacy
• +۴ مورد دیگر

Justin Hsu - Academic Profile Justin Hsu is an Associate Professor in the Department of Computer Science at Cornell University , where he returned in August 2025 after a sabbatical at Imperial College London (2024–2025). His academic journey includes roles as an Assistant Professor at the University of Wisconsin–Madison (2018–2024), a postdoc at Cornell University, and a position in the Programming Principles, Logic, and Verification Group at University College London. He holds a PhD from the University of Pennsylvania (2017), advised by Benjamin Pierce. Research Focus Hsu's research centers on formal verification of algorithms, particularly those involving randomization , differential privacy , and probabilistic guarantees . He designs methods to ensure programs meet quantitative properties such as statistical accuracy, incentive compatibility, and algorithmic stability. His work bridges theoretical computer science with applications in programming languages, privacy, and numerical analysis. Awards & Recognition 2024 EATCS Presburger Award (early-career theoretical computer science) 2024 Royal Society Wolfson Visiting Fellowship 2020 NSF CAREER Award 2018 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Teaching & Service Hsu has taught courses such as Category Theory for Computer Scientists , Foundations of Probabilistic Programming , and Security and Privacy in Data Science . He has served on program committees for top venues like POPL, PLDI, and CAV. Key Contributions His recent work includes developing verification frameworks for randomized algorithms (e.g., Bean: A Language for Backward Error Analysis ), formal methods for symmetry properties, and tools for differential privacy. He also explores applications in fair division (e.g., Cutting the Cake: A Language for Fair Division ).

• Formal Methods
• Theoretical Computer Science
• Automata Theory
• +۳ مورد دیگر

Alexandra Silva is a Professor of Computer Science at Cornell University and holds an affiliation with University College London (UCL), where she was previously a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation. Her research focuses on the modular development of specification languages and algorithms for computational models, leveraging coalgebraic methods and probabilistic systems. Education and Background: Silva's academic journey includes a Ph.D. in Theoretical Computer Science from Radboud University Nijmegen, supervised by Prof. Jan Rutten and Dr. Marcello Bonsangue. Her work bridges algebraic foundations with practical applications in programming languages and formal methods. Research Interests: Silva's work spans formal methods, automata theory, probabilistic programming, and concurrency. She has pioneered frameworks like NetKAT and Guarded Kleene Algebra with Tests (GKAT), advancing network verification and program analysis. Her research emphasizes coalgebraic semantics, automata learning, and categorical approaches to computation. Awards and Recognition: Silva is a Royal Society Wolfson Fellow and has received multiple best paper awards, including for contributions to NetKAT and GKAT. Her work on Outcome Logic and probabilistic systems has been widely cited in the field of program verification. Grants and Collaboration: Silva leads collaborative projects on formal methods and network verification, supported by grants from NSF and EU initiatives. She co-organizes conferences like OPLSS and serves on program committees for POPL, CAV, and CONCUR. Labs and Teams: Her research group includes students and postdocs working on projects in probabilistic automata, concurrency theory, and applied formal methods. Key collaborators include Nate Foster, Dexter Kozen, and Fabio Zanasi.