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

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

استاد

• Music Theory
• Post-Tonal Analysis
• Diatonic Set Theory
• +۴ مورد دیگر

Matthew Santa serves as Professor of Music Theory and Chair of the Music Theory and Composition Area at Texas Tech University School of Music, with prior teaching appointments at Queens College and Hunter College. His leadership shapes curriculum development and academic initiatives within the department. Academic credentials include advanced degrees from Louisiana State University and The City University of New York, establishing foundational expertise in theoretical frameworks and analytical methodologies. Research focuses on post-tonal analysis , diatonic set theory , and parsimonious voice leading , bridging complex theoretical concepts with practical pedagogy. His work integrates popular music analysis and metrical studies, emphasizing accessibility for diverse learners through innovative teaching resources. Publications demonstrate evolving scholarly trends from late-20th century set theory toward contemporary applications in musical form and rhythm. Recent textbooks synthesize Rothstein, Krebs, and Mirka's theories into unified analytical approaches for undergraduate and graduate education. Scientific recognition includes: MTSNYS Young Scholar Award (1998) Mentorship encompasses graduate and undergraduate students across composition and theory disciplines, though specific advisees aren't documented in source materials. No grant funding details appear in available records. Collaborative projects include the Flute/Theory Workout series with Lisa Garner Santa and Thomas Hughes, blending performance technique with theoretical concepts through MIDI accompaniment systems.

• Information Retrieval
• Interactive Information Retrieval
• Personalisation
• +۴ مورد دیگر

Ralf Bierig joined Maynooth University's Computer Science Department in 2017, teaching topics including information retrieval, software testing, interaction design, and virtual reality. He is the programme director of the Higher Diploma in Human-Computer Interaction (HCI) and User Experience (UX). He earned his BSc (2002) from University of Furtwangen and PhD (2008) from Robert Gordon University. Research Interests His work spans information retrieval, interactive information retrieval, personalisation, information search behavior, usability (UX), and virtual reality (VR). Recent publications focus on multimodal concept indexing, hybrid IR approaches, and contextual adaptation in search systems. Publication Trends His research combines statistical semantics, graph modeling, and multimodal data analysis across academic collaborations in Austria, Germany, and international venues like ECIR and SIGIR.

Steve Awodeyمشاهده پروفایل

استاد

• Category Theory
• Homotopy Type Theory
• Algebraic Set Theory
• +۹ مورد دیگر

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

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

Nicholas Sheaمشاهده پروفایل

استاد

• Philosophy of Mind
• Philosophy of Psychology
• Cognitive Neuroscience
• +۱۲ مورد دیگر

Professor Nicholas Shea is a philosopher affiliated with the Institute of Philosophy at the University of London. He specializes in interdisciplinary research at the intersection of philosophy of mind, psychology, cognitive neuroscience, and artificial intelligence. His work spans topics like representational content, metacognition, consciousness, and agency across biological and computational systems. Education : BA in Mathematics, MA and PhD in Philosophy (Birkbeck and King’s College London), postdoctoral research at Oxford University. His research integrates empirical findings from cognitive science with philosophical analysis. Recent projects include the ERC-funded Metacognition of Concepts (2016–2021) and collaborations with Oxford University and City University, London. Key publications examine dual-process cognition, conceptual content, and non-genetic inheritance. His work has been cited over 1,073 times, reflecting his influence in philosophy of science and mind. Scientific Awards : European Research Council Consolidator Grant (2016) AHRC Fellowship ('Meaning for the Brain, Meaning for the Person') He has supervised 6 research students and led projects like Mental Health and Justice (Wellcome Trust 2017–2022) and TeleoLogic (2016–2018). Collaborations include work with Chris Frith and institutions across neuroscience and philosophy.

• Theoretical Deep Learning
• Uncertainty Quantification
• Reliable Artificial Intelligence
• +۱۰ مورد دیگر

Gianni Franchi is an assistant professor at ENSTA Paris , affiliated with the Computer Science and Systems Engineering Unit (U2IS) . His work focuses on theoretical deep learning , with a strong emphasis on uncertainty quantification, robustness, and explainability in machine learning models. Current affiliation: ENSTA Paris (U2IS) Academic rank: Assistant Professor Key collaborators: David Filliat, Emanuel Aldea, Andrei Bursuc, Antoine Manzanera His research spans uncertainty quantification , explainable AI , and reliable machine learning . He investigates methods like Bayesian neural networks, ensemble approaches, and deterministic uncertainty models. His work also addresses domain adaptation , self-supervised learning , and autonomous systems , particularly in trajectory forecasting and semantic segmentation for autonomous driving. Recent publications analyze probabilistic modeling for robustness, symmetry-aware Bayesian methods , and multi-modal datasets like InfraParis. He develops frameworks like Torch-Uncertainty and benchmarks such as MUAD for uncertainty types in autonomous driving. Key themes: Uncertainty Quantification Deep Learning Theory Autonomous Systems Explainable AI Dataset Creation Bayesian Methods

Dominique Devrieseمشاهده پروفایل

استاد

• Functional Programming
• Object Capabilities
• Secure Compilation
• +۵ مورد دیگر

Dominique Devriese is a professor at the Department of Computer Science, KU Leuven, and a member of the DistriNet research group. His work bridges computer security, programming languages, and formal verification. Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming, Modal Type Theory Teaching: Formal Systems, Object-Oriented Programming, CyberSecurity, Secure Software His research focuses on rigorous software systems security through capability machines and secure compilation techniques. He actively contributes to formal verification using Agda and Haskell, with recent work on multimode type theory and effect parametricity. Key publication trends include: multimode/presheaf type theory, capability-based security models, formal verification of hardware/software abstractions, and parametricity applications in programming languages. Contact: Email: dominique.devriese@kuleuven.be ORCID: 0000-0002-3862-6856

• Type Theory
• Dependent Types
• Functional Programming
• +۱۱ مورد دیگر

Andreas Abel is a Senior Lecturer in the Division of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg. He has previously served as an Assistant Professor at Ludwig-Maximilians-Universität (LMU) Munich and has been a visiting researcher at INRIA in Paris. His primary affiliations are with Chalmers and the University of Gothenburg, where he conducts research and teaches in programming languages and type theory. Chalmers University of Technology, Department of Computer Science and Engineering, Senior Lecturer University of Gothenburg, Division of Computing Science LMU Munich, Assistant Professor (former) INRIA Paris, Visiting Researcher Abel’s research lies at the intersection of type theory, functional programming, and formal verification. He is particularly known for his work on dependent types, normalization by evaluation, and the development of the Agda proof assistant. His interests include constructive logic, logical frameworks, modal and linear typing, program verification, and compiler construction. He leads the Modal Dependent Type Theory project funded by the Swedish Research Council (Vetenskapsrådet) and has contributed to several other major research initiatives in programming language theory. His recent publications reflect a strong focus on foundational aspects of type systems, including cubical type theory, decidability of conversion, and formalization of algebraic completeness. These works appear in top-tier venues such as ICFP, LICS, POPL, and TYPES, showcasing both theoretical depth and practical implementation in Agda. Distinguished Paper Award, ICFP 2019 Editor, Theoretical Pearls column, Journal of Functional Programming Member, IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students and contributes to the research community through program committee memberships for major conferences including LICS, ICFP, and CPP. He is a senior developer of Agda and the maintainer of the BNFC (Backus-Naur Form Compiler) tool. His work bridges theoretical computer science with practical software development for formal methods. He is involved in several research groups and projects, including the Programming Logic Group at Chalmers and the international EUTYPES network. His role as principal investigator and core contributor in multiple funded projects highlights his leadership in the field of programming language foundations.

Farzaneh Derakhshanمشاهده پروفایل

استادیار

• Type Theory
• Proof Theory
• Programming Languages
• +۷ مورد دیگر

Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop

Edward N. Zaltaمشاهده پروفایل

پژوهشگر

• Metaphysics
• Formal Ontology
• Philosophy of Mathematics
• +۷ مورد دیگر

Edward N. Zalta is a Senior Research Scholar at Stanford University's Center for the Study of Language and Information (CSLI) and Director of the Metaphysics Research Lab. He served as Principal Editor of the Stanford Encyclopedia of Philosophy from 1995 to 2022 and now serves as Co-Principal Editor. His academic career spans several decades with significant contributions to philosophical logic and metaphysics. Dr. Zalta's educational background includes an honors B.A. from Rice University (1975) and a Ph.D. in Philosophy from the University of Massachusetts/Amherst (1981). He joined Stanford in 1984 as a Postdoctoral Fellow at CSLI, establishing his long-term affiliation with the institution. His research focuses on metaphysics and formal ontology, philosophy of mathematics, computational metaphysics, and intensional logic. Zalta has developed influential theories in object theory and abstract objects, with applications extending to computational metaphysics. His work bridges traditional philosophical inquiry with modern computational approaches, creating new methodologies for metaphysical investigation. He has made significant contributions to understanding the logical foundations of ontology and the philosophical implications of mathematical structures. Zalta's publication record demonstrates consistent scholarly output across five decades, with recent work showing increasing integration of computational methods in metaphysical research. His articles reveal a trajectory from foundational work in object theory toward more applied computational approaches, reflecting the growing interdisciplinary nature of his research. The recurring themes across his work include formal ontological structures, the nature of abstract objects, and the logical frameworks necessary to model complex philosophical concepts. K. Jon Barwise Prize (2016) Covey Award (2009) 2025 Johan von Spix Visiting Professor at the University of Bamberg As Principal Editor of the Stanford Encyclopedia of Philosophy for over 25 years, Zalta has shaped one of the most influential digital humanities projects in philosophy. His work with the Metaphysics Research Lab has fostered numerous collaborations between philosophers and computer scientists. He has received funding to support the development of computational tools for metaphysical reasoning and has supervised research projects at the intersection of philosophy and computer science. The Metaphysics Research Lab at CSLI serves as the intellectual hub for Zalta's work, supporting research in computational metaphysics and formal ontology. The lab has developed several computational frameworks for representing and reasoning about metaphysical concepts, including implementations of object theory in automated reasoning systems. Zalta's research group has collaborated with computer scientists to create tools that bridge philosophical theory with practical computational applications.

Julijana Gjorgjievaمشاهده پروفایل

استاد

• Computational Neuroscience
• Theoretical Neuroscience
• Neural Circuit Development
• +۴ مورد دیگر

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.

Egor Kostylevمشاهده پروفایل

دانشیار

• Foundations of AI
• Symbolic AI
• Description Logics
• +۹ مورد دیگر

Egor Kostylev serves as an Associate Professor in the Department of Informatics within the Faculty of Mathematics and Natural Sciences at the University of Oslo. His research focuses on the theoretical foundations connecting symbolic and sub-symbolic artificial intelligence, particularly examining relationships between formal logic systems and machine learning approaches. His educational background includes an MSc (Specialist, 2005) and PhD (Candidate, 2009) from Lomonosov Moscow State University under Prof. Vladimir A. Zakharov. He subsequently held research positions at the University of Edinburgh (2010-2013) and the University of Oxford (2013-2020) before joining the University of Oslo in 2020. Kostylev's research interests center on bridging symbolic AI formalisms with sub-symbolic approaches. He investigates connections between various logics (Description Logics, Temporal Logics, Datalog), query languages (SPARQL, Regular Path Queries, OTTR), and machine learning formalisms (Graph Neural Networks, Markov Logic Networks). His work addresses critical challenges in Explainable, Trustworthy, and Green AI through theoretical foundations that connect different AI paradigms. His publication record demonstrates consistent high-impact contributions in theoretical computer science and AI, with numerous publications in top venues including AAAI, LICS, Journal of the ACM, and ICLR. His recent work shows a clear trajectory toward unifying logical reasoning with neural network approaches, particularly through graph neural networks and their connections to logical formalisms. The research spans theoretical foundations of knowledge representation, temporal reasoning in knowledge bases, and the logical expressiveness of modern neural architectures. As a research leader, Kostylev supervises multiple PhD students including Shuwen (Aurora) Liu, Maximilian Pflüger, Roxana Pop, Dongzhuoran Zhou, and Erik Snilsberg. He serves as a Research Theme Leader for the Integreat SFF: Norwegian Centre for Knowledge-driven Machine Learning. His teaching responsibilities include IN3020/4020 Database Systems courses. He leads the Data and Knowledge Management (DKM) research group at the University of Oslo, which focuses on foundational aspects of knowledge representation, database theory, and the intersection with modern machine learning techniques. The group actively collaborates with international researchers and contributes to advancing theoretical understanding of how symbolic and neural approaches to AI can complement each other.

Glyn V. Morrillمشاهده پروفایل

استاد

• Natural Language Processing
• Computational Linguistics
• Formal Logic
• +۳ مورد دیگر

Glyn V. Morrill is a full Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya. His academic career includes habilitation as a catedrático (full professor) by ANECA and receipt of the ICREA Acadèmia 2012 award. He specializes in the intersection of computational linguistics, formal logic, and digital humanities, focusing on type logical grammar and the displacement calculus. Education: BA (Cambridge), MSc and PhD (University of Edinburgh). Research emphasizes computational environments for analyzing language syntax and semantics using logical frameworks. Notable contributions include the CatLog3 parser/theorem-prover and foundational work on Lambek calculus extensions. He has supervised PhD students such as Inés Corbalán, Carles Cardó, and Oriol Valentín. Recent research trends involve parsing algorithms for discontinuous grammatical structures, formal semantics integration, and computational coverage of logical grammars. His work bridges theoretical linguistics with practical computational tools, advancing automated analysis of language phenomena. Awards: ICREA Acadèmia 2012 (highlighted in Scientific Awards section). Active in academic leadership, including organizing Formal Grammar conferences and co-editing volumes in computational linguistics.

• Machine Learning
• Statistical Methodology
• Computational Biology
• +۵ مورد دیگر

Eric P. Xing is a Professor at the Language Technologies Institute of Carnegie Mellon University , and currently serves as President of the Mohamed bin Zayed University of Artificial Intelligence . His work bridges machine learning methodology with computational biology and large-scale AI systems . Research Focus: Developing machine learning theory for high-dimensional, dynamic data Building foundation models for biology (AIDO, scLong, ProteinAligner) Designing scalable AI architectures (Pollux, LLM360, PAN) Advancing interpretable and controllable NLP systems Scientific Leadership: Founded the SAILING Lab at CMU Co-chaired ICML 2014 and ICML 2019 Recipient of the Jay Lepreau Best Paper Award (OSDI 2021) Education & Mentorship: Advises PhD students across machine learning and computational biology Alumni include faculty at ETH Zurich, University of Chicago, and UC San Diego

Mustapha C.E. Yagoubمشاهده پروفایل

استاد

• RF/Microwave Circuit Design
• RFID Systems
• Antenna Design
• +۵ مورد دیگر

Mustapha C.E. Yagoub is a Full Professor at the School of Electrical Engineering and Computer Science, University of Ottawa, with over 500 publications in RF/microwave CAD, RFID systems, neural networks, and applied electromagnetics. He leads research in the ELEMENT Laboratory and RFM Research Group , focusing on wireless communication systems and nonlinear device modeling. PhD in Electronics (Institut National Polytechnique de Toulouse, 1994) Magister in Telecommunications (École Nationale Polytechnique d'Alger, 1987) Dipl.-Ing. in Electronics (École Nationale Polytechnique d'Alger, 1979) His research bridges Microwave Circuit Design with Artificial Intelligence , including applications in Energy Conservation and Telecommunication Systems . Key trends in his publications include hybrid modeling techniques combining Neural Networks with Computational Electromagnetics for optimizing Antenna Design and RF Components . He is a Senior Member of IEEE and licensed with the Professional Engineers of Ontario and Ordre des Ingénieurs du Québec . His lab teams focus on High-Tc Superconducting Devices and Directional Antenna Optimization for RFID networks.