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

Joël Ouaknineمشاهده پروفایل

استاد

• Algorithmic Verification
• Theoretical Computer Science
• Linear Dynamical Systems
• +۶ مورد دیگر

Joël Ouaknine is Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) located at the Saarland Informatics Campus in Saarbrücken, Germany. He leads the Foundations of Algorithmic Verification research group and serves as an Associate Editor for the Journal of the ACM (JACM) since 2023 and previously for the Journal of Computer and System Sciences (JCSS) from 2014-2023. His research focuses on the Foundations of Algorithmic Verification and Theoretical Computer Science, particularly on decision, control, and synthesis problems for discrete and continuous linear dynamical systems using tools from number theory, Diophantine geometry, and algebraic geometry. His work also encompasses automated verification of real-time, probabilistic, and infinite-state systems, logic applications to verification, automated software analysis, and concurrency. His research integrates deep mathematical techniques with computer science theory to solve fundamental verification problems. Analysis of his recent publications reveals a strong trend toward solving decision problems in linear dynamical systems, with increasing emphasis on connections to number theory and algebraic geometry. His work bridges theoretical computer science with pure mathematics, particularly in addressing the Skolem Problem and related questions about linear recurrence sequences. Recent publications show growing interest in monadic second-order logic extensions and their applications to dynamical systems. Distinguished Paper Award at LICS 2024 for work on monadic second-order logic with arithmetic predicates ACM SIGBED Best Paper Award in 2024 for research on linear dynamical systems with continuous weight functions LICS Test-of-Time Award Winner in 2025 for a seminal 2007 paper on Metric Temporal Logic Dr. Ouaknine currently supervises PhD students Piotr Bacik, Joris Nieuwveld, and Mihir Vahanwala, and mentors postdocs Quentin Guilmant, Toghrul Karimov, and Isa Vialard. His research is supported by significant funding including an ERC Synergy Grant (2025-2031) as Coordinating Principal Investigator for the DynAMiCs project, and DFG Collaborative Research Centre 248 (2022-2026) as Principal Investigator for the Foundations of Perspicuous Software Systems. His previous ERC Consolidator Grant (2015-2021) supported work on Analysis, Verification, and Synthesis of Infinite-State Systems. He actively contributes to the academic community through service on numerous program committees including ICALP, LICS, CONCUR, and serves as organizer for workshops like Dynaverse and Bellairs. His research group at MPI-SWS collaborates extensively with mathematicians and computer scientists worldwide, creating a vibrant interdisciplinary environment focused on solving fundamental problems at the intersection of computer science and mathematics.

Toghrul Karimovمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Formal Verification
• Dynamical Systems
• +۳ مورد دیگر

Toghrul Karimov is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, working on the ERC Synergy Grant “DynAMiCs” since April 1, 2025. He collaborates with Valérie Berthé on decision problems at the intersection of dynamical systems theory, logic, and number theory. His educational background includes: Bachelor’s and Master’s degrees from the University of Oxford (2019) Doctoral degree from Saarland University and MPI-SWS (2024) Dr. Karimov’s research focuses on the algorithmic analysis of linear dynamical systems, with emphasis on decidability, verification, and computational complexity. His work bridges theoretical computer science with mathematical logic and number theory, particularly investigating reachability problems, linear recurrence sequences, and the application of o-minimal structures to verification. He employs techniques from automata theory and model theory to solve long-standing problems in the field. His publication record demonstrates consistent contributions to top-tier venues including LICS, ICALP, and SODA, with a clear trajectory toward resolving fundamental questions in dynamical systems verification. Recent work shows increasing sophistication in handling parametric systems and probabilistic extensions, while maintaining strong connections to number-theoretic foundations. His scientific recognition includes: Distinguished Paper Award at LICS 2024 ACM SIGBED Best Paper Award at HSCC 2024 Currently supported by the ERC Synergy Grant “DynAMiCs”, Dr. Karimov maintains an active collaborative research program without current student supervision. His work involves frequent co-authorship with leading researchers across MPI-SWS and IRIF, reflecting the highly interdisciplinary nature of his investigations. He contributes to MPI-SWS’s theoretical computer science research cluster, focusing on the mathematical foundations of software systems verification through the lens of dynamical systems and logic.

Diana Forkerمشاهده پروفایل

استاد

• Caucasus Studies
• Language Documentation
• Sociolinguistics
• +۵ مورد دیگر

Prof. Diana Forker is a full professor of Caucasus Studies and Languages of the Caucasus at Friedrich-Schiller-Universität Jena, holding a Heisenberg Chair. She leads research in East and West Caucasian languages, focusing on language documentation, sociolinguistics, and typology. Her work emphasizes endangered languages, contact phenomena, and areal linguistics. Education : MA in Linguistics (Leipzig), PhD in Linguistics (Leipzig, 2011), Habilitation (Bamberg, 2016). Positions : Full Professor at Jena (2019–present), Substitute Professor at Jena (2016–2019), Lecturer at Bamberg (2011–2016), Feodor Lynen Fellow at James Cook University (2013–2014). Research Interests : Language documentation of minority Caucasian languages, sociolinguistic dynamics in the Caucasus, grammatical typology, and language contact. She directs projects like LexCauc and has contributed to corpora and dictionaries for minority languages. Awards : Georg von der Gabelentz Award, Otto Hahn Medal, Wilhelm von Humboldt Prize, and Habilitationspreis (Best Habilitation). Grants & Projects : Major funding from Volkswagen Foundation, DFG (Heisenberg Program), and BMBF, focusing on Caucasus resilience, language contact, and digital lexicons. Teaching : Courses on Caucasus cultures, linguistic anthropology, and Caucasian languages. Supervises PhD and MA students in ethnolinguistics and sociolinguistics.

Valentine Hacquardمشاهده پروفایل

استاد

• Formal Semantics
• Syntax
• Pragmatics
• +۴ مورد دیگر

Valentine Hacquard is a Professor of Linguistics at the University of Maryland, affiliated with the College of Arts and Humanities. She holds an additional affiliation as Affiliate Professor in Philosophy. Her research focuses on formal semantics, syntax, and pragmatics, with a particular emphasis on modality, attitude reports, and their acquisition. She has supervised numerous PhD students, including notable alumni such as Alexis Wellwood and Aaron Steven White. Hacquard’s work bridges theoretical linguistics and experimental research, investigating how children learn complex linguistic concepts like modal verbs and attitude predicates. Her research interests include the syntax-semantics interface of modals, the role of syntactic and pragmatic cues in language acquisition, and cross-linguistic variation in modal systems. She has received funding from NSF grants for projects on modality and attitude verb acquisition. Hacquard has taught courses such as 'Language and Theory of Mind' and 'Semantics and Pragmatics,' reflecting her interdisciplinary approach to language study. Hacquard’s recent work examines how children discern modal force (possibility vs. necessity) and interpret syntactic structures in attitude reports. Her lab, supported by NSF grants, investigates language acquisition through behavioral experiments and corpus analyses. She collaborates with researchers on projects like the ModSquad, exploring modal variation and change. Hacquard’s contributions have been published in top journals like Journal of Child Language and Natural Language Semantics .

Arie Gurfinkelمشاهده پروفایل

استاد

• Automated Program Analysis
• Software Model Checking
• Automated Reasoning
• +۴ مورد دیگر

Arie Gurfinkel is a Professor at the University of Waterloo, holding a joint appointment in the Department of Electrical and Computer Engineering and the Cheriton School of Computer Science. His research focuses on automated program analysis, software model checking, automated reasoning, and abstract interpretation. He develops tools like SeaHorn, Avy, and others to enhance the verification and testing of complex computer systems. His work emphasizes formal methods, machine learning integration, and hardware/software verification. Recent publications highlight advancements in interpolation-based model checking, constrained Horn clauses, and algorithm selection for hardware verification. Gurfinkel's contributions include open-source tools and frameworks widely used in academic and industrial verification efforts. He actively seeks motivated graduate students interested in logic, automated reasoning, and formal methods. His research has been presented in top-tier conferences and journals, reflecting his expertise in formal verification and software engineering.

Giosuè Baggioمشاهده پروفایل

استاد

• Cognitive Science
• Neurolinguistics
• Psycholinguistics
• +۵ مورد دیگر

Giosuè Baggio is a Professor of Psycholinguistics at the Norwegian University of Science and Technology (NTNU), affiliated with the Department of Language and Literature within the Faculty of Humanities. His research integrates cognitive science, neurolinguistics, and philosophy to explore language, logic, and music as models of human cognitive complexity. He co-directs the Language Acquisition and Language Processing Lab and coordinates English linguistics teaching. Education: Philosophy (University of Pavia/Strasbourg), MSc in Logic, Language & Computation (University of Amsterdam), PhD in Cognitive Neuroscience (Donders Institute, Nijmegen). Prior to NTNU, he worked at the Max Planck Institute for Psycholinguistics and SISSA (Trieste). Research focuses on semantic composition, neural correlates of language processing, and interdisciplinary theories linking linguistics to neuroscience. Key books include *Meaning in the Brain* (2018) and *Neurolinguistics* (2022, translated into Arabic/Spanish). Recent work explores ERP studies of morphological agreement, computational complexity in quantifier verification, and neural markers of musical perception. Awards: None explicitly listed. However, his impactful publications and book translations indicate scholarly recognition. Supervision spans linguistics and cognitive science topics at all levels. Active in outreach, advocating for evidence-based academic practices and interdisciplinary collaboration. Labs/Teams: Co-director of the Language Acquisition and Language Processing Lab. Teaching includes courses on semantics, pragmatics, and cognitive neuroscience of language.

• Logic Programming
• Computational Complexity
• Nonmonotonic Reasoning
• +۴ مورد دیگر

Mantas Simkus is an Assistant Professor at TU Wien's Institute of Logic and Computation, affiliated with the Database and Artificial Intelligence Group. He previously held an Associate Professor position at Umeå University (Sweden) within the Wallenberg AI, Autonomous Systems and Software Program (WASP). He leads the FWF-funded project 'KtoAPP: Compiling Knowledge into Applications' and contributes to the Cluster of Excellence 'Bilateral Artificial Intelligence'. His research focuses on logic-based data management, knowledge representation, and nonmonotonic reasoning, with applications in semantic web technologies and ontology engineering. Education: Bachelor's in Computer Science from Vilnius University. Research interests include logic programming, computational complexity, description logics, and their integration with databases. He explores techniques for efficient query answering, schema validation (e.g., SHACL), and reasoning under incomplete information. His work bridges theoretical foundations (e.g., complexity analysis, formal semantics) with practical systems (e.g., ontology-mediated query processing). Key projects include 'KtoAPP' (2018–2025), investigating automated knowledge compilation, and contributions to the 'SemDat' and 'OMEGA' initiatives. He teaches courses on deductive databases and semi-structured data at TU Wien. He actively participates in academic service: co-chair of RuleML+RR 2024, editorial board member of the Artificial Intelligence journal, and former co-chair of DL 2019. His research group collaborates on topics like graph databases, answer set programming, and hybrid knowledge representation systems.

Abraham Westerbaanمشاهده پروفایل

مدرس

• Category Theory
• Von Neumann Algebras
• Operator Algebras
• +۴ مورد دیگر

Dr. Abraham Westerbaan is a Lecturer at Radboud University's ICIS (Digital Security Department) and a Scientific Programmer at Radboud's iHub. He earned his Ph.D. in 2019 under the supervision of Bart Jacobs, defending a thesis titled *The Category of Von Neumann Algebras*, which explores foundational aspects of operator algebras and category theory. His research spans quantum computing, mathematical logic, and cryptographic systems, with notable contributions to quantum programming languages and mathematical structures in theoretical physics. Westerbaan's work integrates advanced algebraic concepts with computational security, reflecting his dual role in academic research and applied scientific programming. His publications emphasize categorical frameworks for quantum mechanics, operational quantum logic, and cryptographic protocols for network privacy. He maintains an active GitHub repository documenting his thesis and related projects, showcasing collaborations in operator algebra theory and computational mathematics. While no specific grants or awards are explicitly listed, his extensive publication record and academic roles indicate sustained engagement with cutting-edge research in theoretical computer science and mathematical physics. His affiliations with ICIS and the iHub highlight a commitment to both foundational inquiry and applied technological development.

• Formal Semantics
• Neurolinguistics
• Syntax-Semantics Interface
• +۷ مورد دیگر

Eytan Zweig is a Senior Lecturer in the Department of Language and Linguistic Science at the University of York, where he conducts research and teaches in formal semantics and neurolinguistics. He is affiliated with the Syntax and Semantics Research Group and the Psycholinguistics Research Group, and serves as Chair of the Ethics Committee and Careers and Skills Liaison Officer. BA in English, Literature and Linguistics – Hebrew University of Jerusalem (1998–2002) PhD in Linguistics – New York University (2002–2008) His research focuses on the intersection of formal semantics and cognitive neuroscience, particularly in quantification, scalar implicature, and morphological processing. He employs experimental and neuroimaging techniques (e.g., MEG) to investigate how linguistic meaning is computed in real time. His work spans theoretical, experimental, and computational approaches to language. The recent publications reflect a strong trend in integrating formal semantic theory with psycholinguistic and neurolinguistic validation. Key themes include scalar inference processing, quotative constructions, morphological complexity effects on brain responses, and the semantics of plurality. These works span journals such as Linguistics and Philosophy , Language and Cognitive Processes , and Linguistic Variation , indicating interdisciplinary reach across theoretical and cognitive linguistics. He has served on editorial boards for prominent journals including Semantics and Pragmatics and Language and Cognitive Processes , and has acted as a reviewer for Linguistic Inquiry . His external activities include numerous invited talks at institutions such as ZAS Berlin, NYU, and Queen Mary College. Eytan Zweig supervises PhD students, including Upsorn Tawilapakul, and has secured research funding through a pump-priming grant on scalar calculation. He collaborates with scholars such as George Tsoulas and Bill Haddican on syntactic and semantic innovations. He is actively involved in research groups at York and leads projects that bridge theoretical linguistics with cognitive neuroscience, contributing to both foundational knowledge and methodological advances in the field.

Claudio Sacerdoti Coenمشاهده پروفایل

دانشیار

• Mathematical Knowledge Management
• Interactive Theorem Proving
• Logical Frameworks
• +۱۴ مورد دیگر

Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design

Alexandra Silvaمشاهده پروفایل

استاد

• Computer Science
• Kleene Algebra with Tests
• Coalgebra
• +۴ مورد دیگر

Alexandra Silva is a Professor of Computer Science at Cornell University, with a research group partially based at University College London (UCL) where she previously held a Royal Society Wolfson Fellowship. She is deeply involved in academic leadership, serving on program committees for conferences like ECOOP and POPL, and organizing workshops at venues such as VMCAI and PLDI. Her research spans formal methods, probabilistic programming, and coalgebraic modeling, with applications in network verification and concurrent systems. Key Research Themes: Kleene Algebra with Tests (KAT), coalgebraic semantics, probabilistic program verification, network control plane analysis, and categorical approaches to formal methods. Collaborations: Active collaborations with institutions including Cornell, UCL, University of Leicester, and INRIA Rhone-Alpes. Scientific Awards: Distinguished Paper Award at POPL 2020 Advising: Currently advising eight PhD students, including Tiago Ferreira and Noam Zilberstein, with a broader team of postdocs, alumni, and collaborators.

Fredrik Engströmمشاهده پروفایل

دانشیار

• Mathematical Logic
• Dependence Logic
• Generalized Quantifiers
• +۷ مورد دیگر

Fredrik Engström is a Senior Lecturer and Associate Professor in Logic at the Department of Philosophy and Logic, Faculty of Humanities, University of Gothenburg. He also serves as Vice-Dean for Postgraduate Education and Facilities within the Faculty of Humanities. He has been affiliated with the University of Gothenburg since 2006, progressing from research assistant to senior lecturer in 2018. PhD in Mathematics (2004), Chalmers University of Technology Doctoral studies partially completed at the University of Birmingham under Richard Kaye Former Senior Lecturer in Mathematics, Mid Sweden University Head of Department (2016–2021), Department of Philosophy, Linguistics and Theory of Science His research lies at the intersection of mathematical logic, philosophical logic, and cognitive modeling. Key areas include dependence logic, generalized quantifiers, definability, logicality, and the foundations of team semantics. He leads the VR-funded project The Foundations of Team Semantics: Meaning in an Enriched Framework , which explores the expressive power and philosophical implications of modern logical systems. The 15 most recent publications reflect a sustained focus on formal systems with team semantics, particularly dependence logic extended with generalized quantifiers. His work combines deep technical results in model theory and proof theory with cognitive and philosophical considerations, especially in reasoning under bounded resources and the nature of logical constants. Collaborations with prominent logicians such as Juha Kontinen, Jouko Väänänen, and Claes Strannegård highlight the interdisciplinary nature of his research. Scientific Awards: No awards listed in the provided text. Fredrik Engström has supervised or co-supervised several students, though specific names are not listed. He has led significant institutional roles, including departmental leadership and vice-dean responsibilities. His grants include funding from the Swedish Research Council (VR) for foundational research in logic. He is active in multiple research communities, presenting at international logic and philosophy workshops. He is involved in research teams focused on logic and cognition, particularly in projects combining formal logic with cognitive modeling. His future work likely continues to explore the foundations of semantics, the limits of expressiveness in logical systems, and the cognitive plausibility of formal reasoning frameworks.

Alessio Mansuttiمشاهده پروفایل

استادیار

• Logic in Computer Science
• Automated Verification
• Formal Methods
• +۱۲ مورد دیگر

Alessio Mansutti is an Assistant Professor at IMDEA Software Institute, Madrid, where he conducts research in logic and formal methods in computer science. Prior to this, he was a Research Associate in the Automated Verification Group at the University of Oxford. His research focuses on decision procedures for arithmetic theories, separation logic, modal logics, and proof theory. Key areas include Presburger arithmetic with non-linear operations (exponentiation, GCD), quantifier elimination, complexity analysis, and logical expressiveness. He has made significant contributions to the decidability and complexity of extended arithmetic and spatial logics. The recent publications show a strong trend in developing quantifier elimination techniques for linear-exponential and counting extensions of arithmetic, analyzing reachability in separation logic, and designing internal calculi for modal and spatial logics. His work bridges theoretical logic with practical verification and optimization problems. Scientific Awards : None mentioned in the text. Advising and Grants : Alessio Mansutti is currently leading independent research funded by the Madrid Regional Government under the César Nombela grant 2023-T1/COM-29001. There is no mention of formal students or advisees, suggesting he may be early in his independent career. He was previously involved in the ERC project ARiAT (2020–2024) led by Christoph Haase, focusing on advanced reasoning in arithmetic theories. Labs and Teams : He is affiliated with the IMDEA Software Institute and was part of the Automated Verification Group at the University of Oxford. His research is deeply collaborative within the formal methods and logic communities, particularly in decision procedures and logical foundations for program verification.

Bartosz Wilandمشاهده پروفایل

دانشیار

• Comparative Syntax
• Comparative Morphology
• Slavic Linguistics
• +۷ مورد دیگر

Bartosz Wiland is an Associate Professor at the Faculty of English, Adam Mickiewicz University in Poznań, Poland, where he is affiliated with the Department of English-Polish Comparative Linguistics. He is actively engaged in research and teaching in theoretical linguistics, with a specialization in comparative syntax and morphology of Slavic languages and nanosyntax. Education: B.A. in English Linguistics, Adam Mickiewicz University Poznań, 2003 M.A. in English Linguistics, Adam Mickiewicz University Poznań, 2005 Ph.D. in Linguistics (cum laude), Adam Mickiewicz University Poznań, 2009 Habilitation in Linguistics (cum laude), Adam Mickiewicz University Poznań, 2020 His research interests lie at the intersection of syntactic theory and morphological structure, particularly focusing on Slavic languages through the lens of nanosyntax. He investigates phenomena such as prefix stacking, remnant movement, complementizer syncretism, and the syntax-semantics interface, contributing to theoretical debates on lexicalization and functional hierarchy. His teaching portfolio includes graduate and undergraduate courses in generative linguistics, syntax, morphology, and academic writing. The recent publications reflect a sustained focus on nanosyntax and Slavic linguistic structures, with recurring themes including syntactic movement, morphological decomposition, and cross-linguistic comparison. His work frequently appears in top-tier journals and edited volumes, demonstrating consistent scholarly output and international recognition. Scientific Awards and Honors: Fulbright Junior Grant at MIT, 2007–2008 Władysław Kuraszkiewicz Scholarship, 2008–2009 Prime Minister's Award for Outstanding Ph.D. Dissertation, 2010 Start Stipend, Foundation for Polish Science, 2011 Fellow, Young Academy of Europe, elected 2015 Bartosz Wiland has supervised B.A. and M.A. students and welcomes prospective M.A. and Ph.D. candidates in syntax, morphology, and nanosyntax. He has served on the scientific advisory board of the Van Riemsdijk Foundation since 2022 and has organized major conferences such as the 41st Poznań Linguistic Meeting and the Workshop on Prefixes and Suffixes at the 21st International Congress of Linguists. He is also the organizer of several student and specialist workshops, reflecting strong academic leadership and mentorship. His research has been presented at leading international venues including NELS, WCCFL, FASL, and SLE.

Valentina Brunettoمشاهده پروفایل

مدرس

• Theoretical Syntax
• Experimental Syntax
• Generative Syntax
• +۱۲ مورد دیگر

Dr. Valentina Brunetto is a Lecturer in Linguistics at the Department of Linguistics and Phonetics, School of Languages, Cultures and Societies, University of Leeds. She is an active researcher in theoretical and experimental syntax, with a strong focus on child language acquisition, anaphora, and the syntax-semantics interface. She is affiliated with the Leeds Child Development Unit and leads the MA Linguistics and MA Linguistics & ELT programs. Education: PhD in Linguistics, University of Leeds MA in Linguistics, University of Siena BA in Journalism, University of Palermo Her research explores the interaction between syntactic structures and interpretation, particularly in early language development. She investigates how children acquire complex syntactic constructions such as attitude reports, causatives, and anaphoric dependencies, with a focus on Italian. Her work integrates generative syntax with experimental methods including eye-tracking and comprehension tasks. The most recent publications reflect a consistent focus on the syntax-semantics interface in child grammar, particularly anaphora resolution, intensionality, and attitude reports. Her work spans theoretical linguistics, psycholinguistics, and developmental linguistics, often using comparative and experimental approaches. Scientific Memberships: Member of the Linguistics Association of Great Britain (LAGB) Dr. Brunetto teaches undergraduate and postgraduate courses in generative syntax, experimental syntax, language acquisition, and processing. She supervises BA and MA dissertations and welcomes PhD inquiries. She has previously taught at the University of Manchester and held a postdoctoral position at the University of Massachusetts Amherst, funded by the Fondazione Marica De Vincenzi. Her research is supported by institutional affiliations and collaborative networks in formal linguistics and child development. She is a core member of the Leeds Child Development Unit and contributes to research groups in Formal Linguistics, Language Acquisition, Language Processing, and Linguistics and Phonetics.