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

Paulina Łęska-Bayraktarمشاهده پروفایل

استادیار

• Syntax
• Comparative Linguistics
• Formal Semantics
• +۷ مورد دیگر

Paulina Łęska-Bayraktar is an Assistant Professor in the Department of English-Polish Comparative Linguistics at the Faculty of English, Adam Mickiewicz University in Poznań, where she conducts research and teaches in formal syntax and comparative linguistics. Her academic foundation is deeply rooted in the same institution, reflecting a sustained commitment to linguistic scholarship in Poland. Her educational background includes: B.A. in English Linguistics, Adam Mickiewicz University in Poznań (2012) M.A. in English Linguistics, Adam Mickiewicz University in Poznań (2014) Ph.D. in English Linguistics, Adam Mickiewicz University in Poznań (2019) Her research interests lie at the intersection of syntax, semantics, and cognitive grammar, with a strong focus on generative approaches to Slavic languages—particularly Polish. She investigates complex syntactic phenomena such as binding theory, pronoun distribution, quantifier scope, agreement, and the structure of relative and nominal clauses. Her work combines formal theoretical analysis with empirical data, often drawing on acceptability judgments and psycholinguistic methodologies. The trends in her recent publications reveal a sustained engagement with the syntax of Polish, especially in non-canonical constructions involving dative arguments, experiencers, and pronominal clusters. Her work contributes significantly to the understanding of how universal syntactic principles manifest in Slavic morphosyntax, and she frequently collaborates with leading scholars like Prof. Jacek Witkoś. She has received research funding from the Polish National Science Center through multiple grants, including OPUS, Beethoven, and Miniatura projects, which have supported her investigations into nominal expressions, pronouns, and anaphora in Polish. These grants underscore the national recognition of her research contributions. Paulina Łęska-Bayraktar actively participates in the international linguistics community, presenting her work at major conferences such as Formal Approaches to Slavic Linguistics (FASL), Formal Description of Slavic Languages (FDSL), and the Poznań Linguistic Meeting. She is also involved in collaborative research teams and has co-authored works with scholars from Humboldt-Universität zu Berlin and other institutions. Her academic presence is further strengthened by her profiles on ORCID and ResearchGate.

Andrea Bajcsyمشاهده پروفایل

استادیار

• Robotics
• Artificial Intelligence
• Reinforcement Learning
• +۷ مورد دیگر

Andrea Bajcsy serves as an Assistant Professor in the Robotics Institute and School of Computer Science at Carnegie Mellon University, leading the Interactive and Trustworthy Robotics Lab (Intent Lab). Her work focuses on enabling robots to safely interact with open-world environments through novel algorithms in control theory and machine learning. Her educational background includes a Ph.D. in Electrical Engineering & Computer Science from UC Berkeley under Anca Dragan and Claire Tomlin, followed by a postdoctoral position with Jitendra Malik and industry experience at NVIDIA's Autonomous Vehicle Research Group. Research centers on quantifying robot confidence, computing safe interaction policies for nuanced hazards (tearing, spilling, breaking), and aligning AI with human values. Key methodologies integrate optimal control, reinforcement learning, dynamic game theory, and deep learning, applied to robotic arms, quadrotors, quadrupeds, and autonomous vehicles. Core areas include safety for physical human-robot interaction, robot learning for manipulation, and world modeling. Recent publications (2024-2025) reveal a concentrated effort on uncertainty-aware safety mechanisms, out-of-distribution adaptation, and language-based safety specification. Her work increasingly bridges conformal prediction with interactive learning while leveraging vision-language models for real-time policy steering, as evidenced by multiple CoRL, RSS, ICRA, and ICLR acceptances. Scientific Awards: NSF CAREER Award (2025) Advises four active PhD students (Kensuke Nakamura, Ravi Pandya, Junwon Seo, Yilin Wu) and leads research funded by the NSF CAREER grant. Organizes community initiatives including the Northeast Systems and Control Workshop and ICRA workshops on Safely Leveraging VLMs in Robotics and Public Trust in Autonomy. Directs the Intent Robotics Lab, which develops theoretical frameworks and practical implementations for open-world robot safety. The lab maintains strong industry ties through NVIDIA collaborations and emphasizes real-world deployment across multiple robotic platforms.

Kyle Johnsonمشاهده پروفایل

استاد

• Syntactic Theory
• Syntax-Prosody Interaction
• Syntax-Semantics Interface
• +۵ مورد دیگر

Kyle Johnson is a Professor and Curriculum Committee Chair in the Department of Linguistics at the University of Massachusetts at Amherst, located in Integrative Learning Center N440. He holds a BA in Psychology from the University of California-Irvine (1981) and a PhD in Linguistics from MIT (1985). His research focuses on formal syntactic theory, particularly the interaction between syntax and prosody/semantics, with attention to real-time sentence processing evidence. He has taught at multiple institutions including UC-Irvine, UCLA, University of Wisconsin-Madison, and McGill University before joining UMass. Current courses include LING 301 (Introduction to Syntax) and LING 601 (Transformational Grammar). His work emphasizes syntactic derivations, linearization, ellipsis phenomena (gapping, stripping), and the empirical adequacy of formal syntactic theories. Selected recent contributions include analyses of Principle B derivation, prosodic spell-out mechanisms, and theta-role theory. He maintains an active publication schedule with over three decades of work in top journals like Linguistic Inquiry and Nordlyd , addressing topics ranging from adjunct islands to multidominant movement theories. His research combines theoretical innovation with experimental plausibility, often challenging traditional assumptions in generative syntax. Teaching responsibilities include both undergraduate and graduate syntax courses, with supplementary materials like Transformational Grammar lecture notes and a comprehensive bib file for researchers. Office hours are scheduled via his online calendar with a preference for in-person meetings.

Ethan Pooleمشاهده پروفایل

استادیار

• Syntax
• Semantics
• Syntax-Semantics Interface
• +۳ مورد دیگر

Ethan Poole is an Assistant Professor in the Department of Linguistics at the University of California, Los Angeles (UCLA). His research focuses on syntax, the syntax-semantics interface, and morphological case, particularly in Finnish. Key areas include reconstruction effects, quirky subjects, and cross-clausal dependencies, with recent work on the Williams Cycle and Hindi-Urdu binding. His research interests span syntactic movement interpretation, morphological case (especially Finnish), and quirky subjects. He explores topics like embedding, intervention effects in tough-constructions, and NPI grammaticality illusions. Collaborative work includes studies on Hindi-Urdu scrambling and tough-constructions. His articles analyze reconstruction effects, trace semantics, and syntactic phases, reflecting a focus on formal syntax and interface constraints. Notable themes include case assignment mechanisms and the theoretical implications of syntactic movement for semantic interpretation. No specific scientific awards or grants are listed in the provided information. He advises no students in the given data. His work contributes to foundational questions in syntactic theory and cross-linguistic variation.

Mohammad Mohammadi Amiriمشاهده پروفایل

استادیار

• Large Language Models
• Data Valuation
• Federated Learning
• +۵ مورد دیگر

Mohammad Mohammadi Amiri serves as an Assistant Professor in the Department of Computer Science at Rensselaer Polytechnic Institute (RPI), appointed in Fall 2023. His research focuses on advancing artificial intelligence through strategic data utilization, with emphasis on large language models, data valuation, federated learning, and deep learning. Previously, he held postdoctoral appointments at Princeton University and MIT Media Lab, building on his strong educational foundation from Imperial College London, University of Tehran, and Iran University of Science and Technology. Education: Ph.D. in Electrical and Electronic Engineering, Imperial College London (2019) - Best Ph.D. Thesis Award recipient M.Sc. in Electrical and Computer Engineering, University of Tehran (2014) - Ranked 1st among all M.Sc. students B.Sc. in Electrical Engineering, Iran University of Science and Technology (2011) - Ranked 1st among all B.Sc. students Dr. Amiri's research centers on optimizing artificial intelligence systems through innovative data strategies. His work addresses critical challenges in large language models including efficiency, memory usage, alignment, and reasoning capabilities. In data valuation, he develops principled methods to quantify data worth for fair trading platforms. His federated learning research tackles privacy concerns, heterogeneous data distribution, and communication overhead in decentralized environments. The deep learning component explores theoretical foundations to improve model interpretability and robustness. Analysis of his recent publications reveals a strong focus on making AI systems more efficient and accessible, with particular emphasis on large language model optimization, federated learning advancements, and data valuation frameworks. His work bridges theoretical foundations with practical applications in wireless communications and distributed computing environments. Scientific Awards: IEEE Communications Society Young Author Best Paper Award (2022) Best PhD Thesis Award from IEEE Information Theory Chapter of UK and Ireland (2019) Eryl Cadwallader Davies Prize for Outstanding PhD Thesis (2019) EEE Departmental Scholarship at Imperial College London (2015-2019) Ranked 1st among M.Sc. students at University of Tehran (2014) Ranked 1st among B.Sc. students at Iran University of Science and Technology (2011) Dr. Amiri actively mentors graduate students, currently supervising five Ph.D. candidates and one M.Sc. student working on efficient LLM fine-tuning, inference, and storage. His research has attracted significant attention, evidenced by numerous keynote invitations at prestigious institutions including Bell Labs, MIT, King's College London, and various IEEE conferences. He serves on program committees for major conferences including IEEE Globecom and ICC, demonstrating his growing influence in the academic community. His research group operates at the intersection of machine learning and wireless communications, developing innovative solutions for resource-constrained environments while addressing fundamental theoretical challenges in AI systems. Current projects focus on making advanced AI more scalable and accessible through efficiency improvements in model training and inference.

Roman Feimanمشاهده پروفایل

استادیار

• Cognitive Development
• Cognitive Psychology
• Cognitive Science
• +۳ مورد دیگر

Roman Feiman is the Thomas J. and Alice M. Tisch Assistant Professor of Cognitive, Linguistic, and Psychological Sciences and an Assistant Professor of Linguistics at Brown University. He directs the Brown Language and Thought Lab, focusing on how humans combine words into meaningful sentences and develop logical reasoning abilities. His research integrates methods from cognitive developmental psychology, psycholinguistics, and formal semantics. Feiman holds a PhD in Psychology from Harvard University (2015), followed by postdoctoral training at Harvard and UC San Diego. His work explores the cognitive systems underlying language and thought, including negation comprehension, quantifier scope, and the development of exact equality concepts. He teaches courses such as Language Processing in Humans and Machines and Logic in Language and Thought . His research interests span cognitive development, linguistic pragmatics, and the language of thought hypothesis. Notable findings include studies on children’s understanding of negation and how logical principles shape early language acquisition. Feiman has been recognized with the 2023 Henry Merritt Wriston Fellowship. His lab investigates topics like word referencing, semantic development, and the interplay between language and nonverbal reasoning. Recent work examines how neural networks might model human cognitive processes, bridging AI and psychological theory.

• Programming Languages
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.

Jonathan S. Phillipsمشاهده پروفایل

استادیار

• Modal cognition
• Moral judgment
• Causal reasoning
• +۹ مورد دیگر

Jonathan S. Phillips is an Assistant Professor in the Program in Cognitive Science at Dartmouth College , with affiliations in the Department of Psychological and Brain Sciences and the Department of Philosophy . He directs the PhilLab , which explores cognition through interdisciplinary methods integrating philosophy, psychology, linguistics, and computer science . Education: B.A., University of North Carolina, Chapel Hill Ph.D., Yale University (Philosophy/Psychology) Research focuses on modal cognition , including how humans represent possibilities ( possible worlds ), moral judgment , causal reasoning , and theory of mind . The lab investigates how these representations influence language and decision-making , with empirical work spanning fMRI studies , computational modeling , and developmental psychology . Recent publications examine modal decomposition , counterfactual neural substrates , and moral constraints on possibility representation . Collaborators include scholars from Harvard, Yale, Stanford, and MIT. The lab has trained graduate students in Cognitive Science and Psychology , with alumni pursuing computational, moral, and developmental research.

Adriana I. Kovashkaمشاهده پروفایل

دانشیار

• Computer Vision
• Machine Learning
• Image Retrieval
• +۴ مورد دیگر

Adriana I. Kovashka is an Associate Professor in the Department of Computer Science at the University of Pittsburgh's School of Computing and Information. She serves as Chair of the Department of Computer Science. Her research focuses on computer vision, machine learning, and their intersections with human-machine communication and visual rhetoric analysis. Kovashka earned her BA in Computer Science and Media Studies from Pomona College (2008) and her PhD in Computer Science from the University of Texas at Austin (2014). She joined Pitt in 2015. Her work emphasizes improving image retrieval systems through semantic attributes, human-in-the-loop feedback, and crowd-sourced data. Notable projects include analyzing advertisements' persuasive strategies, developing object detection models resilient to domain shifts, and exploring multimodal learning with linguistic and visual inputs. She has secured significant grants, including NSF awards for geographic diversity in object detection (2023), CAREER funding for weak supervision methods (2021), and multiple Google Faculty Research Awards. Kovashka advises PhD students on topics ranging from multimodal intent modeling to domain generalization. She has organized workshops on advertising understanding and subjective attributes in vision conferences. Her lab's datasets, such as the 64,832-image ad repository and video ad collections, are widely used in vision research. Recent efforts include quantifying perceptual diversity in multilingual systems and mitigating bias in CNNs through shape regularization. Awards and recognitions include the NSF CAREER Award, Pitt's CRDF grants, and leadership roles in CVPR and WACV conferences. Her research bridges technical innovation with societal impact, addressing challenges in visual communication, ethical AI, and educational robotics.

Marc G. Bermanمشاهده پروفایل

استاد

• Environmental Neuroscience
• Cognitive Psychology
• Urban Neuroscience
• +۷ مورد دیگر

Marc G. Berman is a Professor and Chair of the Department of Psychology at the University of Chicago. His research focuses on understanding how environmental factors interact with human cognition, emotion, and behavior, particularly through the lens of environmental neuroscience. He leads the Environmental Neuroscience Lab (ENL), investigating how natural and urban environments influence brain function, memory, attention, and mental health. Dr. Berman holds a B.S.E. in Industrial and Operations Engineering from the University of Michigan and a Ph.D. in Psychology and Engineering from the same institution. His postdoctoral training was at the Rotman Research Institute in Toronto. Prior to Chicago, he was an Assistant Professor at the University of South Carolina. His research interests include the cognitive and affective benefits of natural environments, brain network efficiency, and the neurobiological underpinnings of self-control and emotion regulation. Recent work explores how urban design elements (e.g., greenspace, street activity) relate to crime rates and mental health outcomes, leveraging big data from social media and geospatial tools. Key contributions include demonstrating that natural environments improve memory and attention by ~20%, and that city characteristics like population diversity and segregation correlate with implicit racial biases. His lab employs fMRI, neuroimaging, computational modeling, and ecological data to quantify brain-environment interactions. Dr. Berman collaborates across disciplines, integrating neuroscience, psychology, urban planning, and data science to inform evidence-based environmental design for public health. Current projects include analyzing social media data to map gang networks and investigating how heat and greenspace influence emotional states in urban populations.

Demirdache Hamidaمشاهده پروفایل

استاد

• Syntax
• Semantics
• Linguistic Diversity
• +۶ مورد دیگر

Demirdache Hamida is a Full Professor of Linguistics at Nantes University and Director of the Nantes Linguistics Lab (LLING UMR 6310, CNRS). She holds a PhD from MIT (1991) and Habilitation à diriger des recherches from Nantes University (2003). Her research focuses on syntax-semantics interfaces, linguistic diversity, and formal syntactic theory with emphasis on Semitic languages and under-represented languages like Salish. She has pioneered experimental methodologies to probe logical form syntax, particularly in studies of temporal anaphora, distributivity, and quantification. Leadership roles: Founded LLING lab in 2004, elevated to CNRS status in 2016 Research grants: Coordinator of ANR-DFG projects (2022-2025), CHILL serious game initiative (2018-2021) Awards: Palmes académiques (2011), Descartes-Huygens Prize (2003), multiple PEDR/PES excellence awards Her experimental work bridges theoretical syntax and empirical child language studies, with recent focus on cross-linguistic variation in telicity and scalar implicatures. Supervised 15 PhD theses (including 3 double-doctorates) and 54 master’s theses. Active in international research networks including the Van Riemsdijk Foundation and Carnot Cognition Institute. LLING lab specializes in formal linguistics with particular expertise in: syntax-semantics interfaces, multilingualism, and experimental methods. Current projects investigate Boolean connectives (FRAL project), heritage language maintenance (AThEME EU project), and logical language acquisition through game-based learning (Cool Boole School).

• Artificial Intelligence
• Strategic Reasoning in Multi-Agent Systems
• Formal Verification
• +۶ مورد دیگر

Aniello Murano is a Professor of Computer Science at the Department of Electrical Engineering and Information Technologies , University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic Reasoning) Laboratory and leads cutting-edge research in Artificial Intelligence, Strategic Reasoning, Multi-Agent Systems , and Formal Verification . Research Interests : Strategic reasoning under perfect/imperfect information, specification/verification/synthesis of reactive systems, temporal/modal logics, automata theory, parity games, game theory, mechanism design, and formal languages. Notable Projects : PNRR Research Unit Coordinator (2023-2025) on Resilient AI, PRIN 2020 Unit Coordinator (RIPER: Resilient AI-Based Self-Programming and Strategic Reasoning), H2020-MSCA SEAL (Principal Coordinator). Awards & Honors : JPMorgan Faculty Research Award (2022), Royal Society Award (2016), Best Paper PRIMA (2015), INDAM Project Leader (2023), Italian Scientific Habilitation (2017-2018). Students & Postdocs : Supervised 6 PhD students (e.g., Silvia Stranieri, Vadim Malvone) and mentored postdocs such as Munyque Mittelmann and Bastien Maubert. Laboratory : Leads ASTREA Lab, focusing on automated strategic reasoning and resilient AI systems.

Gerry Bradyمشاهده پروفایل

استاد بالینی

• Mathematical Logic
• History of Mathematics
• Categorical Logic
• +۳ مورد دیگر

Gerry Brady is a Clinical Professor in the Masters Program in Computer Science at the University of Chicago. He holds a Ph.D. in Mathematical Logic from the University of Oslo (1997), an M.A. in Mathematical Logic from the University of Chicago, and a B.A. in Mathematics with honors from the same institution. His research focuses on the history and foundations of mathematical logic, particularly the contributions of figures like C.S. Peirce and Thoralf Skolem. Notably, his doctoral thesis was expanded into the 2000 book From Peirce to Skolem , published by Elsevier. Brady has authored or co-authored works on categorical logic, relational calculus, and the philosophical underpinnings of symbolic logic. He contributed to pioneering efforts in computerizing academic journal production at the University of Chicago Press in the 1990s. His teaching emphasizes problem-solving skills, which he links to workplace success for MPCS graduates. He currently holds an office in Crerar Library and can be reached at brady@cs.uchicago.edu.

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Philipp Koralusمشاهده پروفایل

استاد

• Philosophy of Cognitive Science
• Artificial Intelligence
• Philosophy of Language
• +۶ مورد دیگر

Philipp Koralus is the McCord Professor of Philosophy and AI at the University of Oxford and serves as Director of the Human-Centered AI Lab (HAI Lab) within the Institute for Ethics in AI. He is also a member of St Catherine's College. Koralus holds a Ph.D. in Philosophy and Neuroscience from Princeton University and a B.A. from Pomona College. His research focuses on the human capacity for reasoning and decision-making, exploring how these processes relate to artificial intelligence agents and large language models like GPT. He advocates for the Erotetic Theory of Reason (ETR), which posits that reason aims to resolve issues or questions directly, explaining both human rationality and fallibility. His work extends to moral judgment, definitions of intelligence, and interdisciplinary collaboration with computer scientists, psychologists, linguists, and neuroscientists. Koralus is preparing to launch the HAI Lab in Fall 2024, aiming to advance human-centered AI ethics and cognition research. His educational background includes advanced studies in philosophy and neuroscience, combining analytical rigor with empirical insights. Collaborations span diverse fields, including fisheries management through agent-based modeling and healthcare ethics in AI applications. He has published widely on topics such as attention mechanisms, visual perception, and the theoretical foundations of AI reasoning. Koralus regularly teaches graduate seminars on philosophy and AI, including upcoming sessions like 'Building the Philosophy to Code Pipeline' starting in 2025. He has supervised doctoral students in both philosophy and computer science but currently lists no specific advisees. His research has been recognized in symposia and commentary, though no formal scientific awards are explicitly mentioned.