Probability Logic Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۷۲۱-۷۳۵ از ۱٬۰۱۴ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Anton Gorodetskiمشاهده پروفایل

استاد

University of California, IrvineUnited States

Anton Gorodetski is a Full Professor of Mathematics at the University of California, Irvine (UCI), specializing in dynamical systems and ergodic theory. He holds a Ph.D. from Moscow State University (2001) and has held academic positions at Caltech and Moscow State University before joining UCI in 2007. His research focuses on hyperbolic dynamics, dynamically defined Cantor sets, spectral theory, and mathematical physics. Education : Ph.D. in Mathematics, Moscow State University, 2001 M.S. in Mathematics, Moscow State University, 1995 Research Interests : Gorodetski explores the intersection of dynamical systems with other fields such as spectral theory, quasicrystals, and celestial mechanics. His work includes studies on the Fibonacci Hamiltonian, Anderson localization, and the properties of non-hyperbolic ergodic measures. He has organized international workshops on topics like spectral properties of quasicrystals and random matrix products. Awards and Grants : 2019 NSF Grant DMS-1855541 (Principal Investigator) 2018 Simons Fellowship in Mathematics 2015 AHP Prize (Best Paper in Annales Henri Poincaré) Multiple Simons Foundation awards and NSF grants Professional Service : Gorodetski has served on editorial boards, organized conferences, and mentored numerous graduate students. He is a frequent speaker at international conferences and collaborates with researchers worldwide.

پروفایل رسمی دانشگاه

Leonid Levinمشاهده پروفایل

استاد

Boston UniversityUnited States

Leonid Levin is a Professor in the College of Arts & Sciences, Department of Computer Science at Boston University since 1980, promoted to Full Professor in 1984. He holds dual PhDs from Moscow University (1972) and MIT (1979). His research focuses on computational complexity, randomness, algorithmic information theory, and foundational aspects of mathematics and computer science. Key roles include membership in the US National Academy of Sciences (2019) and the American Academy of Arts and Sciences (2014). He has held visiting professorships at institutions such as the Institut des Hautes Études Scientifiques (France), Heidelberg University (Germany), and Hebrew University (Jerusalem). Levin’s work bridges theoretical computer science and mathematics, with contributions to one-way functions, pseudorandomness, and Kolmogorov complexity. Notable publications include foundational papers on computational complexity and cryptography, such as A pseudorandom generator from any one-way function (1999) and The tale of one-way functions (2003). His research interests span algorithmic randomness, fault-tolerant systems, and interdisciplinary topics like taxation and valuation. Awards include the Guggenheim Fellowship (1993-94) and recognition as a Clay Mathematics Institute Scholar (2001-2002).

پروفایل رسمی دانشگاه

Joost-Pieter Katoenمشاهده پروفایل

استاد

RWTH Aachen UniversityGermany

Joost-Pieter Katoen is a Professor at RWTH Aachen University's Department of Computer Science, part of the School of Computer Science. He leads the MOVES group and focuses on formal methods, probabilistic systems, and program verification. His research includes probabilistic programming, Markov models, Bayesian networks, and stochastic systems. He has co-authored over 200 publications in top venues like AAAI, CAV, and CONCUR, and developed tools like AMBER and SAFEST for probabilistic analysis. Notably, his student Kevin Batz received the ETAPS Dissertation Award in 2025 for work on deductive verification of probabilistic programs. He serves as an editor for Formal Methods and has advised PhD students such as Kevin Batz and Bahare Salmani Barzoki. His work bridges theoretical foundations with practical tools for analyzing complex systems.

پروفایل رسمی دانشگاه

Thomas Powellمشاهده پروفایل

مدرس ارشد

University of BathUnited Kingdom

Thomas Powell is a Senior Lecturer (equivalent to Associate Professor) in the Department of Computer Science at the University of Bath. He is a member of the Mathematical Foundations of Computation group. His research focuses on proof theory, computability theory, program semantics, and their applications in mathematics and computer science. Powell holds a PhD in Computer Science from Queen Mary University of London (2013), an MA in Mathematics (Part III) from the University of Cambridge (2009), and a BA in Mathematics (2008). His research interests include proof mining, functional analysis, stochastic processes, and computational algebra. He has led projects funded by the Engineering and Physical Sciences Research Council (EPSRC) and the London Mathematical Society, focusing on imperative program extraction from proofs and logic seminars. Key projects include the EPSRC-funded project Imperative Programs from Proofs and organizing the Southern and Midlands Logic Seminar . Powell has advised multiple PhD students, including Morenikeji Neri and Franziskus Wiesnet, and teaches courses on Foundations of Computation and Data Structures and Algorithms at the University of Bath. Publications span theoretical computer science and mathematics, with recent work on stochastic processes, Tauberian theorems, and algorithmic algebra. His research bridges foundational proof theory with practical applications in analysis and optimization.

پروفایل رسمی دانشگاه

Joshua Frischمشاهده پروفایل

پژوهشگر

University of California, San DiegoUnited States

Joshua Frisch is a researcher in the Department of Mathematics at the University of California, San Diego. He holds a Ph.D. in Mathematics from the California Institute of Technology (2021). His research focuses on the intersection of group theory and dynamical systems, employing tools from combinatorics, logic, and probability. Key areas of investigation include random walks on groups, ergodic theory, topological dynamics, and descriptive set theory. He explores how group-theoretic constraints influence dynamical properties and vice versa. Previously, Frisch was an NSF Postdoctoral Fellow at École Normale Supérieure. His work bridges abstract algebraic structures with dynamic systems, emphasizing the interplay between group actions and their dynamical manifestations. No specific grants or advising roles are detailed in the provided information.

پروفایل رسمی دانشگاه

Adrian Ioanaمشاهده پروفایل

استاد

University of California, San DiegoUnited States

Adrian Ioana is a Professor in the Department of Mathematics at the University of California, San Diego (UCSD). He holds a Ph.D. from UCLA (2007) under Sorin Popa and has held prestigious fellowships including the Clay Research Fellowship (2008–2011) and Alfred P. Sloan Research Fellowship (2014). His research focuses on operator algebras, ergodic theory, and group theory, with expertise in von Neumann algebras and their classification. He has organized major conferences such as the 2024 Banff Workshop on Group Operator Algebras and co-edits journals like Journal of Operator Theory and Journal of Group Theory . Research interests include von Neumann algebras, ergodic theory (orbit equivalence), group stability, and logic (descriptive set theory). Notable achievements include rigidity results for group von Neumann algebras and contributions to the classification of II₁ factors. Awards include the European Math Society Prize and being an invited speaker at the 2018 International Congress of Mathematicians. Recent work explores wreath-like group products, non-isomorphism in von Neumann algebras, and asymptotic freeness in ultraproducts. He actively teaches graduate courses and mentors students in functional analysis and related fields.

پروفایل رسمی دانشگاه

Ian Gentمشاهده پروفایل

استاد

University of St AndrewsUnited Kingdom

Prof Ian Gent is a Professor in the School of Computer Science at the University of St Andrews. His research focuses on combinatorial search problems in artificial intelligence, particularly integrating computational group theory with constraint programming for applications like scheduling and timetabling. He holds academic qualifications including an M.A. in Mathematics from the University of Cambridge, an M.Sc. in Knowledge-Based Systems from the University of Edinburgh, and a Ph.D. in Computer Science from the University of Warwick. He supervises PhD student Mustafa Abdelwahed and has contributed to projects such as the development of the CONJURE tool for automated constraint model generation. His work spans constraint satisfaction, puzzle-solving AI, and interdisciplinary research between AI and mathematics. Notable publications include advancements in tabulation techniques (TabID) and explanations for pen-and-paper puzzles using MUSes. He is affiliated with the Centre for Research into Equality, Diversity & Inclusion and the Centre for Interdisciplinary Research in Computational Algebra. Education: M.A. in Mathematics, University of Cambridge M.Sc. in Knowledge-Based Systems, University of Edinburgh Ph.D. in Computer Science, University of Warwick Research Interests: Constraint programming and automated modelling Applications of AI to puzzles and games Interdisciplinary computational methods Key Projects: CONJURE: Automatic generation of constraint models Integration of computational group theory with constraint programming Development of tools for puzzle-solving explanations

پروفایل رسمی دانشگاه

Abhaya Nayakمشاهده پروفایل

دانشیار

Macquarie UniversityAustralia

Abhaya Nayak is an Associate Professor in the School of Computing at Macquarie University, Australia. He is a member of the Frontier AI Research Centre and has been active in research since 1994. His work focuses on belief revision, machine ethics, knowledge representation, and causal modeling. He has led 11 research projects including the ongoing Dynamics of Causal Knowledge and the Trust, Belief and their Interaction initiative. Research Interests: Formal methods for belief change and epistemic reasoning Machine ethics and AI governance frameworks Causal modeling in medical and IoT systems Non-monotonic reasoning and logical foundations Trust assessment in multi-agent systems Notable Achievements: Marco Cadoli Best Student Paper Award (2018) Interdisciplinary Collaboration Excellence Award (2023) Over 89 published research outputs with an h-index of 12 Professional Contributions: Edited conference proceedings for PRICAI 2019 and AI 2013 Developed the BIET tool for biomarker information extraction Contributed to geospatial database systems for NSW government

پروفایل رسمی دانشگاه

Matthew Cookمشاهده پروفایل

استاد

University of GroningenNetherlands

M.M. (Matthew) Cook, PhD is a Full Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Artificial Intelligence group at the Bernoulli Institute. His research focuses on theoretical computer science, neural networks, and biologically inspired computation. He holds a PhD and has extensive experience in neuromorphic engineering, cellular automata, and computational neuroscience. His work spans interdisciplinary areas including spiking neural networks for biosignal processing, self-assembly algorithms, and paradox resolution in causal inference. Key contributions include foundational studies on universality in cellular automata (e.g., Rule 110), neuromorphic hardware implementations, and neuroimaging analysis techniques for synaptic partner detection in Drosophila brain data. Recent publications highlight advancements in event-driven neural networks for epilepsy monitoring, low-power neuromorphic systems, and algorithmic exploration strategies. His research bridges theoretical computer science with practical applications in biomedical engineering and cognitive modeling.

پروفایل رسمی دانشگاه

Matthew Kotzenمشاهده پروفایل

استاد

University of North Carolina at Chapel HillUnited States

Matthew Kotzen is a Professor and Department Chair in the Department of Philosophy at the University of North Carolina at Chapel Hill. He joined the department in 2008 after completing his graduate work at New York University. His research focuses on epistemology, the philosophy of science, and the law of evidence, with additional interests in decision theory, philosophy of mind, and philosophy of language. He teaches courses on epistemology, philosophy of science, logic, philosophy of law, and humor. His publications explore topics such as conditional relevance in evidence law, Bayesian versus classical statistical approaches, standards of proof in legal determinations, and cosmological implications of Boltzmann brains. Kotzen’s work often bridges theoretical philosophy with applied domains like law and science, emphasizing probabilistic reasoning and normative frameworks. A recurring theme in his research is the interplay between epistemic justification, evidential defeat, and the philosophical underpinnings of statistical methodologies. His recent articles, such as Reply to Allen (2024) and Conditional Relevance and Conditional Admissibility (2023), critically engage with contemporary debates in legal epistemology and evidence law. Earlier works like A Formal Account of Evidential Defeat (2019) and Dragging and Confirming (2012) showcase his technical expertise in Bayesian epistemology and confirmation theory. Kotzen’s academic contributions also extend to broader philosophical questions, such as the normativity of humor ( Philosophical Issues , 2015) and the metaphysical puzzle of existence ( Routledge , 2013). His work reflects a commitment to rigorously addressing foundational issues across multiple subfields of philosophy while maintaining relevance to real-world applications in law and science.

پروفایل رسمی دانشگاه

John T. Robertsمشاهده پروفایل

استاد

University of North Carolina at Chapel HillUnited States

John T. Roberts is a Professor of Philosophy at the University of North Carolina at Chapel Hill. His work focuses on the philosophy of science and metaphysics, particularly the nature of laws of nature, chance, and probabilistic reasoning. He is the author of The Law-Governed Universe (Oxford University Press, 2009), which proposes the 'Measurability Account' of laws. His research integrates Humean and non-Humean perspectives to explain how laws govern the universe while maintaining minimal metaphysical commitments. Key research areas include: laws of nature (their contingency, counterfactual resilience, and measurability), probabilistic laws, the problem of induction, and Humean supervenience debates. Recent work addresses self-referential laws, vagueness in scientific statements, and von Kries' contributions to probability theory. Selected publications include influential articles in Philosophical Studies , British Journal for the Philosophy of Science , and Australasian Journal of Philosophy , often collaborating with John Earman. His current projects explore normativist approaches to laws and counterfactuals, as well as unresolved questions in inductive reasoning.

پروفایل رسمی دانشگاه

Aristotelis Panagiotopoulosمشاهده پروفایل

استادیار

University of ViennaAustria

Dr. Aristotelis Panagiotopoulos is an Assistant Professor at the Kurt Gödel Research Center, Faculty of Mathematics, University of Vienna. His research bridges descriptive set theory and dynamics of large topological groups, with applications in algebraic topology, model theory, and differential geometry. He received his PhD from the University of Illinois Urbana-Champaign and held postdoctoral positions at Caltech, University of Münster, and Carnegie Mellon University. Education: PhD in Mathematics, University of Illinois Urbana-Champaign (2017) Diploma in Applied Mathematics and Physics, National Technical University of Athens (2012) Research Interests: His work explores interactions between descriptive set theory and topological group dynamics, motivated by problems in algebraic topology, operator theory, and combinatorial mathematics. Current projects focus on ergodic theory, homological invariants, and classification problems in mathematical logic. Publications: His recent articles demonstrate expertise in Polish group dynamics, set-theoretic methods in topology, and applications of model theory, with consistent themes of mathematical structures and invariance principles across diverse domains including general relativity and combinatorics. Awards: NSF Grant DMS2154258: Dynamics Beyond Turbulence and Obstructions to Classification (Principal Investigator) Focal Point Breakthrough Grant, UIUC University of Illinois Research Board Scholarships (2013-2014) Graduation Merit Award, NTUA (2012) Mentoring: Actively supervises PhD and undergraduate researchers through NSF-funded projects on topological dynamics and classification problems.

پروفایل رسمی دانشگاه

Damian Sobotaمشاهده پروفایل

پژوهشگر

University of ViennaAustria

Damian Sobota is a researcher at the Kurt Gödel Research Center for Mathematical Logic, part of the University of Vienna's Faculty of Mathematics. He holds a PhD from the Institute of Mathematics of the Polish Academy of Sciences under Prof. Piotr Koszmider. His work focuses on applications of infinitary combinatorics and forcing to measure theory, Banach space theory, and functional analysis. His research projects include collaborations on topics like measures in the random model, projections in C(K)-spaces, and the separable quotient problem for C_p(X)-spaces. Recent publications explore Grothendieck properties of Boolean algebras, complemented subspaces in Banach spaces, and convergence of measures in forcing extensions. Awards include the Wacław Marszałek Award for his PhD thesis and recognition in the Józef Marcinkiewicz Student Paper Contest. Awards: Wacław Marszałek Award, Summa Cum Laude honors, Polish academic scholarships Key contributions: Forcing techniques in measure theory, Banach space structure analysis

پروفایل رسمی دانشگاه

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

استاد

Queen Mary University of LondonUnited Kingdom

Simon Lucas is a Professor of Artificial Intelligence at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science. He leads the Game AI Research Group and serves as External Engagement Lead for the Centre for Multimodal AI. His research focuses on AI in games, reinforcement learning, and evolutionary computation, particularly in the context of game design, agent optimization, and procedural content generation. Notable contributions include the N-Tuple Bandit Evolutionary Algorithm and leadership in the General Video Game AI (GVGAI) competitions. His work spans theoretical advancements and practical applications in board games, video games, and strategic gameplay. Roles: Professor of AI, Head of Game AI Research Group, External Engagement Lead (Centre for Multimodal AI) Research Themes: Game AI, Reinforcement Learning, Evolutionary Algorithms, Procedural Content Generation Key Projects: GVGAI Framework, Game Master AI, Deduction Game Analysis Lucas's work emphasizes AI-driven solutions for complex games, balancing strategic depth with stochastic elements. He actively contributes to academic and industrial collaborations, advancing both theoretical foundations and real-world game applications.

پروفایل رسمی دانشگاه

Diego Perez-Liebanaمشاهده پروفایل

مدرس ارشد

Queen Mary University of LondonUnited Kingdom

Dr. Diego Perez-Liebana is a Senior Lecturer in Computer Games and Artificial Intelligence at Queen Mary University of London (QMUL), within the School of Electronic Engineering and Computer Science. He holds a PhD from the University of Essex (2015) and a Master's from Universidad Carlos III de Madrid (2007). His research focuses on AI applications in games, including Monte Carlo Tree Search, Evolutionary Computation, and General Video Game Playing. He has authored over 90 papers, organized major conferences like IEEE CoG 2020, and competitions such as GVGAI and MARLO. His work bridges academia and industry, with experience as a game programmer and software engineer at Revistronic and Game Brains. Teaching: He instructs postgraduate modules in Advanced Game Development, AI in Games, and Multi-platform Game Development, emphasizing practical C++ programming and AI techniques. His courses cover game engines, procedural content generation, and modern game development practices. Research Highlights: Over 1,900 citations, 2 Best Paper Awards, and the BCS Intelligence Prize. Industry Collaboration: Developed AI tools for leading game engines and advised on game design via IGGI industry liaison roles. Labs & Affiliations: Active in the Digital Environment Research Institute (DERI) and the Centre for Multimodal AI at QMUL.

پروفایل رسمی دانشگاه