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

Antoine Bosselutمشاهده پروفایل

استادیار

• Natural Language Processing
• Artificial Intelligence
• Machine Learning
• +۵ مورد دیگر

Antoine Bosselut is a Tenure Track Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, where he leads the EPFL NLP group. His research focuses on developing AI reasoning agents that can model, represent, and reason about human and world knowledge, with applications in health, education, and global fairness. His research interests span multiple critical areas in modern AI: LLM Representations of Knowledge: Understanding what language models know and how they represent that knowledge internally Reasoning Algorithms: Developing methods to improve LLMs' reasoning capabilities through symbolic systems, neuroscience, and cognitive science Large-scale AI Development: Creating open-source foundation models with multilingual capabilities AI Democratization: Ensuring equitable access to AI technologies across different cultural and regulatory contexts His recent publications reveal a strong focus on the intersection of language models and cognitive science, with multiple studies examining how LLMs align with human cognition. He's also deeply engaged in practical applications of NLP technology, particularly in education and multilingual settings, as evidenced by his work on evaluating AI's impact on higher education and developing culturally-aware language models. His scientific achievements have been recognized with several prestigious awards: Outstanding Paper Award at NAACL 2025 ELLIS Scholar designation in 2024 Outstanding Paper Award at ACL 2023 Inclusion in Forbes 30 Under 30 list for Science & Healthcare in 2021 Bosselut actively mentors numerous PhD students across diverse NLP research areas and has secured significant recognition for his work in both academic and media circles. His lab has been featured in major publications including Communications of the ACM, The Atlantic, and Quanta Magazine, highlighting the societal impact of his research on commonsense reasoning and AI capabilities.

Samuel J. Gershmanمشاهده پروفایل

استاد

• Learning
• Memory
• Decision Making
• +۶ مورد دیگر

Samuel J. Gershman is a Professor of Psychology at Harvard University, affiliated with both the Department of Psychology and the Center for Brain Science. He directs the Computational Cognitive Neuroscience Lab (CCNLab), where he investigates how the brain acquires richly structured knowledge about the environment and uses this knowledge to guide adaptive behavior. Gershman received his B.A. in Neuroscience and Behavior from Columbia University in 2007 and his Ph.D. in Psychology and Neuroscience from Princeton University in 2013, followed by postdoctoral training in the Department of Brain and Cognitive Sciences at MIT (2013-2015). His research spans computational neuroscience, cognitive psychology, and machine learning. His primary research interests include learning, memory, decision making, and computational neuroscience. Gershman's work integrates behavioral, neuroimaging, and computational techniques to understand cognitive processes. He has made significant contributions to understanding memory systems, reinforcement learning, and the computational principles underlying human cognition. Analysis of Gershman's recent publications reveals a strong focus on computational approaches to understanding cognitive processes, with particular emphasis on memory systems, decision-making mechanisms, and the intersection of artificial intelligence with cognitive neuroscience. His work often bridges theoretical computational models with empirical neuroscience data, exploring how the brain implements efficient cognitive algorithms. Gershman actively mentors graduate students and postdoctoral researchers, with current advisees working on diverse projects spanning computational modeling, neuroimaging, and behavioral experiments. His lab investigates topics ranging from dopamine signaling to social cognition using a combination of theoretical and experimental approaches. The CCNLab, which Gershman directs, brings together researchers from psychology, neuroscience, computer science, and related fields to explore the computational principles of cognition. The lab utilizes a range of methodologies including behavioral experiments, neuroimaging, computational modeling, and theoretical analysis to address fundamental questions about how the mind works.

Anca Draganمشاهده پروفایل

دانشیار

• Human-AI Interaction
• Human-Robot Interaction
• AI Safety and Alignment
• +۵ مورد دیگر

Anca Dragan is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, where she runs the InterACT Lab focused on algorithms for human-AI and human-robot interaction. Currently on leave from Berkeley, she leads AI Safety and Alignment at Google DeepMind, overseeing safety for Gemini models and preparing for future advancements. Dragan has been a co-PI of the Center for Human-Compatible AI and served on the steering committee for the Berkeley AI Research (BAIR) Lab. B.Sc. in Computer Science from Jacobs University Bremen, Germany Ph.D. from Carnegie Mellon University Dr. Dragan's research focuses on enabling AI agents to work effectively with, around, and in support of people. Her work bridges robotics, machine learning, and game theory to create systems that better understand human preferences and coordinate with users. Key areas include AI alignment (ensuring AI does what people actually want), learning reward functions from diverse human feedback forms, and developing algorithms for human-AI collaboration across domains like autonomous vehicles, brain-machine interfaces, and recommender systems. Her research emphasizes maintaining uncertainty about human preferences and accounting for the plurality of human values. Dr. Dragan's recent publications reveal a strong focus on addressing fundamental challenges in AI safety and alignment. Her work spans theoretical foundations of reward learning, practical implementations for human-AI coordination, and critical examinations of limitations in current approaches. There's a clear trajectory toward more robust, safe, and value-aligned AI systems that can handle complex human preferences while avoiding both present-day harms and potential catastrophic risks. IEEE RAS Early Academic Career Award in Robotics and Automation (2021) McEntyre Award for Excellence in Teaching (2020) PECASE (Presidential Early Career Award for Science and Engineering) (2019) Sloan Fellowship (2018) NSF CAREER Award (2017) Okawa Foundation Award (2017) MIT Tech Review 35 Innovators Under 35 (2017) Multiple best paper awards at top robotics and AI conferences Dr. Dragan has mentored numerous successful students who have gone on to faculty positions at MIT, Stanford, CMU, and Princeton, as well as industry roles at DeepMind, Waymo, and Meta. Her advising philosophy emphasizes both technical rigor and consideration of broader societal impacts. She has secured significant research funding including NSF CAREER, ONR Young Investigator, and Okawa Foundation awards, supporting work on human-AI interaction and alignment. Dragan has also consulted for Waymo for six years, helping develop roadmaps for deploying increasingly learning-based safety-critical systems. Dr. Dragan leads the InterACT Lab at UC Berkeley, which has produced influential work on Cooperative Inverse Reinforcement Learning, Inverse Reward Design, and other foundational concepts in human-AI interaction. The lab's research has significantly shaped the field of AI alignment, with applications spanning autonomous vehicles that coordinate with human drivers, brain-machine interfaces that adapt to user needs, and language models that better understand human preferences. Current work focuses on scaling safety approaches as AI capabilities advance, ensuring alignment keeps pace with technological progress.

Brenden Lakeمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Natural Language Processing
• +۷ مورد دیگر

Brenden Lake is an Associate Professor of Computer Science and Psychology at Princeton University, starting Fall 2025. Previously, he was an Associate Professor of Psychology and Data Science at New York University. He is the principal investigator of the lab for Human & Machine Intelligence, which moved from NYU to Princeton in 2025 and is jointly affiliated with the Department of Computer Science and the Department of Psychology. His lab is located in Princeton's Peretsman Scully Hall, rooms 117, 120, and 121. Ph.D., Massachusetts Institute of Technology, 2014 Lake's research focuses on the intersection of human and machine intelligence, specifically examining human cognitive abilities that elude current AI systems. His work centers on few-shot learning of new concepts, learning by generating new goals, learning by asking questions, and learning by producing novel combinations of known components. He employs modern neural network modeling approaches including meta-learning, fine-tuning LLMs, neuro-symbolic modeling, and learning from child headcam videos. His research aims to advance both psychology and computer science by exploring what makes human intelligence unique and using those insights to develop more powerful AI systems. Lake's recent publications demonstrate significant trends in grounded language acquisition through child perspectives, systematic generalization in neural networks, and the intersection of developmental psychology with AI. His work has appeared in top-tier venues including Science (2024) and Nature (2023), with multiple publications exploring how insights from human cognition can improve machine learning systems. His research shows how incorporating human cognitive ingredients can make AI systems more powerful and human-like while addressing longstanding debates about neural network capabilities. Science publication (2024) on Grounded language acquisition through the eyes and ears of a single child Nature publication (2023) on Human-like systematic generalization through a meta-learning neural network Multiple publications covered by major media outlets including New York Times and Washington Post Lake advises Ph.D. students in computer science, psychology, and related fields through his lab. His research is supported by publications in top venues across computer science and cognitive science. He teaches courses including Computational Cognitive Modeling and Advancing AI through Cognitive Science, bridging the theoretical and practical aspects of his research. Lake leads the lab for Human & Machine Intelligence, which studies the ingredients of intelligence in humans and machines. The lab investigates human cognitive abilities that current AI systems cannot replicate, with the dual goal of advancing psychological understanding of human intelligence while developing more capable artificial intelligence systems. Current research focuses on few-shot concept learning, learning through goal generation, and learning by asking questions.

Noah D. Goodmanمشاهده پروفایل

دانشیار

• Computational models of cognition
• Probabilistic programming languages
• Natural language semantics and pragmatics
• +۶ مورد دیگر

Noah D. Goodman is Associate Professor of Psychology and Computer Science, and Linguistics (by courtesy) at Stanford University. He directs the Computation & Cognition Lab (CoCoLab) at Stanford, where he leads research on computational models of cognition, integrating logic and probability. His work spans cognitive psychology, linguistics, and computer science. Primary Appointment: Psychology Department By Courtesy: Computer Science Department and Linguistics Department Director: Computation & Cognition Lab (CoCoLab) Goodman's research focuses on computational models of cognition, with particular interest in probabilistic approaches to understanding human thought. His work integrates logic and probability to model concepts, categorization, intuitive theories, causal learning and reasoning, social cognition (including reasoning about others' goals, beliefs, and actions), cognitive development (especially acquisition of abstract knowledge), and natural language semantics and pragmatics. He has made significant contributions to the development of probabilistic programming languages as tools for cognitive modeling. His recent publications demonstrate a strong trend toward integrating probabilistic modeling with linguistic theory and social cognition. The articles span computational cognitive science, natural language processing, and artificial intelligence, with a consistent theme of using probabilistic frameworks to understand complex cognitive phenomena. Many papers explore how humans make inferences under uncertainty across different domains. Goodman teaches several courses at Stanford including Language and Thought (Psych 132), Computation and Cognition: the Probabilistic Approach (Psych 204/CS 428), Foundations of Cognition (Psych 205), and Introduction to Cognitive Science. He has also led seminars on topics ranging from natural and artificial intelligence to the science of meditation.

• Human-Computer Interaction
• Gender Equality in Technology
• AI and Society
• +۳ مورد دیگر

Elaine M. Huang is an Associate Professor of Human-Computer Interaction at the Department of Informatics, University of Zurich, where she has served since 2010. She also leads the People and Computing Lab, focusing on the dynamic interplay between human practices and technological advancements. Her academic background includes: PhD in Computer Science, Georgia Institute of Technology (2006) Dr. Huang's research centers on human-computer interaction, examining the bidirectional relationship between technology and human practices. She is particularly known for her work on gender equality in technology, challenging assumptions about innate gender differences and investigating how AI systems may perpetuate biases. Her research also spans sustainable interaction design, mental health technologies, and chronic disease management, always emphasizing empirical data over intuition. Analysis of her recent publications (2023-2025) reveals a strong trajectory toward socially impactful HCI, with significant focus on health technologies (diabetes management, mental health), cultural sensitivity in design, and the ethical challenges of AI. Her methodology often involves field studies to understand real-world technology use, countering the industry's reliance on intuition. As head of the People and Computing Lab, Dr. Huang oversees a research group dedicated to designing and evaluating technologies that address complex human needs. The lab's work frequently involves co-design with diverse user communities to ensure relevance and inclusivity in technological solutions.

Eero Vaaraمشاهده پروفایل

استاد

• Strategic Change
• Institutional Change
• Organizational Theory
• +۶ مورد دیگر

Professor Eero Vaara, currently at Saïd Business School, University of Oxford, is a globally recognized expert in organizational theory, strategic change, and institutional dynamics. With 39 publications in Financial Times top 50 journals between 2008-2022, his work explores historical perspectives, discursive processes, and paradoxes in organizational transformations. Affiliation: Saïd Business School, University of Oxford Research Focus: Strategic change, institutional work, narrative theory, and historical embeddedness Eero’s research bridges macro-institutional and micro-practice approaches, emphasizing how unmaterialized decisions, discursive struggles, and temporal dynamics shape organizational trajectories. His work spans multinational corporations, public sector governance, and extreme contexts, with a growing interest in historical analysis and critical discourse studies. His recent publications highlight themes such as strategy-as-practice , national identity , and temporal intentionality . Articles like Near-histories and strategy emergence and Discursive legitimation demonstrate his interdisciplinary approach combining institutional theory, paradox theory, and narrative analysis. Scientific Awards: Academy of Management fellowship Ranked 11th most published management scholar in FT top 50 journals (2008-2022) Eero’s collaborative research style and resilience in the publication process have led to influential contributions in strategic management and organizational studies. His colleague Eric Zhao notes that his work “opens up new ways of thinking about organizations, strategy, and change,” reflecting Oxford Saïd’s commitment to research excellence.

Ann Rivetمشاهده پروفایل

دانشیار

• Science Education
• Earth and Environmental Science Teaching and Learning
• Inquiry and Project-Based Science Learning
• +۴ مورد دیگر

Ann Rivet is an Associate Professor of Science Education at Teachers College, Columbia University, and serves as the Associate Director of the Center for Sustainable Futures. She previously held the role of Program Officer in the Directorate for STEM Education at the National Science Foundation from 2016 to 2019. Her expertise lies in science education, particularly in Earth and environmental science, curriculum design, and urban school reform. Education: Ph.D. in Science Education, University of Michigan M.S. in Science Education (Earth Science), University of Michigan Sc.B. in Physics, Brown University Research Interests: Dr. Rivet's research focuses on how students develop deep understandings of Earth and environmental science concepts. She examines the intersections of scientific reasoning, instructional design, and assessment, primarily at the middle and secondary school levels. Her current work investigates how crosscutting scientific concepts influence students’ understanding of core disciplinary ideas, and how phenomena-based instructional approaches can support learning about large-scale Earth systems. She is actively involved in supporting the adoption and implementation of the Next Generation Science Standards (NGSS) through policy and practitioner-level initiatives, including the development of free, open-source curriculum materials for middle and high school science. Publications & Trends: Her work has been published in leading journals such as Science , the Journal of Research in Science Teaching , and the American Educational Research Journal . Her publications span topics from learning progressions in science to contextualizing instruction for urban students, reflecting a deep commitment to both theoretical and applied aspects of science education. Grants & Funding: Principal Investigator, NSF: "Collaborative Research: Bridging the Gap Between Tabletop Models and the Earth System" ($982,080) Science Team Member, GE Foundation: "Harlem Schools Partnership for Science and Math Education" ($5,000,000) Co-Principal Investigator, Carnegie Foundation: "Enhancing Teacher Preparation for Adolescent Literacy" ($100,000) Co-Principal Investigator, NSF: "GSE/RES Girls’ Science Practices in Urban High Poverty Communities" ($499,334) Principal Investigator, NSF (subaward): "Developing the Next Generation of Middle School Science Materials" ($137,198) Leadership & Outreach: Dr. Rivet has led multiple federally funded projects aimed at improving science education in urban schools. She has also contributed to national policy discussions through her role at the NSF and continues to shape science education standards and practices through her research and curriculum development efforts.

Johanna Heitzerمشاهده پروفایل

استاد

• Mathematics Education
• Teacher Training and Professional Development
• Curriculum Development
• +۷ مورد دیگر

Prof. Dr. Johanna Heitzer is a University Professor for Mathematics Education at RWTH Aachen University since 2011. She leads the Teaching and Research Area of Mathematics Education within the university's mathematics department. Her office is located in Room 352 of the Kreuzherrenstraße 2 building in Aachen. She serves as co-editor of the journal 'mathematik lehren,' co-author of the 'Mathematics - New Ways' textbook series, and holds numerous committee positions including membership in the Faculty Advisory Board and Structural Commission of the Center Council. 1989: High school diploma 1989-1994: Mathematics and Physics Teacher Training at RWTH Aachen 1994-1996: Traineeship at Aachen Teacher Training College 1997: Research assistant at University of Münster 1998-2007: Mathematics and Physics teacher at Korschenbroich Gymnasium 2007-2010: Scientific assistant and doctorate at RWTH Aachen 2011-present: University Professor at RWTH Aachen Professor Heitzer's research focuses on the training and further education of mathematics teachers, development of contemporary teaching materials, applied and interdisciplinary mathematics, and the transition from school to university. Her work emphasizes concept formation, linguistic communication in mathematics, and the historical development of mathematical ideas as teaching resources. She investigates mathematics-specific learning and cognitive processes through multiple research projects including the Aachen school-university project iMPACt. Her recent scholarly output demonstrates a strong trend toward integrating digital technologies in mathematics education, particularly 3D printing and e-learning tools. She has increasingly focused on the social relevance of mathematics, exploring concepts of fairness, sustainability, and citizen empowerment through mathematical modeling. Her work bridges theoretical mathematics education with practical classroom applications, maintaining a strong connection to both historical perspectives and contemporary educational challenges. Special prize from Sparkasse Bad Hersfeld-Rotenburg for best mathematics Abitur (1989) Borchers Plaque for doctoral examinations passed with distinction (2011) DMV honor as Mathemaker of the Month (2013) Brigitte Gilles Prize 2013 for the MINT-L4 Center Professor Heitzer has supervised numerous doctoral students, serving as primary or secondary advisor for at least nine PhD dissertations between 2016-2021. Her research projects include the School-University Project MathePlus Aachen (iMPACt), e-Learning 'Mathematics for Civil Engineers,' and the development of mathematics items for StudiChecks NRW. She has secured funding through the Quality Initiative for Teacher Education (both phases) and participates in the ComeIn project focused on digitalization in teacher training. Her grants consistently emphasize practical applications of mathematics education research with direct impact on classroom practice. As a founding member of the MINT-L4@RWTH center and initiator of the working group Mathematical Education for Sustainable Development, Professor Heitzer has established significant collaborative structures. She participates in the Subject Didactics Forum at the Teacher Training Center of RWTH Aachen and has served in leadership roles including Chair of the Center Council (2014-2016) and Board member of the Teacher Training Center (2014-2017). Her work connects with national and international networks through her membership in the Society for Mathematics Education (GDM), the German Association for Mathematics and Science Education (MNU), and the German Mathematical Society (DMV).

Christian Listمشاهده پروفایل

استاد

• Decision-making
• Individual and collective choice
• Preference and judgment aggregation
• +۹ مورد دیگر

Christian List is Professor of Philosophy and Decision Theory at Ludwig Maximilian University of Munich, where he serves as Co-Director of the Munich Center for Mathematical Philosophy (MCMP). Previously, he was Professor of Philosophy and Political Science at the London School of Economics until 2020. His work bridges philosophy, economics, and political science with a particular focus on individual and collective decision-making and the nature of intentional agency. Professor List's research spans multiple interconnected domains: theories of individual and collective choice (particularly social choice theory and judgment aggregation), free will and consciousness, the philosophy of mind and action, and the foundations of the social sciences. His work on group agency, developed in his influential book Group Agency with Philip Pettit, has reshaped debates about corporate entities and collective intentionality. His more recent work on free will, culminating in his book Why Free Will is Real , presents a scientifically grounded defense of free will against reductionist skepticism. His recent publications reveal a sophisticated integration of formal methods with deep philosophical questions, particularly regarding consciousness, probability aggregation, and the relationship between different levels of explanation. List's work consistently demonstrates how mathematical precision can illuminate fundamental philosophical problems while maintaining relevance to broader social and scientific contexts. Scientific Awards and Recognition: Elected Fellow of the British Academy (2014) Member of Academia Europaea (2023) Member of the Bavarian Academy of Sciences and Humanities (2022) Joseph B. Gittler Award from the American Philosophical Association (2020) Philip Leverhulme Prize in Philosophy (2007) 5th Social Choice and Welfare Prize (2010) List has supervised numerous PhD students and early-career researchers, many of whom have gone on to prominent positions in philosophy and related fields. His collaborative work with Franz Dietrich on judgment aggregation has been particularly influential. As Co-Director of the Munich Center for Mathematical Philosophy, he has secured substantial research funding and established MCMP as a leading international hub for formal and mathematical approaches to philosophical problems. Through the Munich Center for Mathematical Philosophy, List leads a vibrant research community that brings together philosophers, economists, political scientists, and mathematicians to tackle foundational questions using rigorous formal methods. The center hosts regular workshops, seminars, and visiting scholars, creating a dynamic intellectual environment that bridges disciplinary boundaries.

Hima Lakkarajuمشاهده پروفایل

استادیار

• Algorithmic Foundations of AI
• Trustworthy Machine Learning
• Interpretable Machine Learning
• +۱۲ مورد دیگر

Dr. Hima Lakkaraju is an Assistant Professor at Harvard University with joint appointments in the School of Engineering and Applied Sciences and Business School , focusing on the algorithmic foundations and societal implications of trustworthy AI. She also serves as a Senior Staff Research Scientist (part-time) at Google. Her research spans machine learning, optimization, human-subject studies, and AI policy , with applications in healthcare, law, and business. Education : PhD in Computer Science, Stanford University Prior Roles : Microsoft Research, IBM Research, Adobe, Fiddler AI Dr. Lakkaraju's work emphasizes safe, fair, and interpretable AI , addressing critical questions about human-AI collaboration, model robustness, and regulatory compliance. She leads the AI4LIFE research group and co-founded the Trustworthy ML Initiative to democratize access to responsible AI research. Her research is supported by NSF, Sloan Foundation, Schmidt Sciences, Google, OpenAI, Amazon, JP Morgan, Adobe, Bayer, Harvard Data Science Initiative, and D^3 Institute . Recent publications (2025) explore reward hacking in LLMs, unified attribution frameworks, memory systems in AI agents, and science-based AI policy . Earlier works (2024) focus on medical safety benchmarks, CLIP interpretation, and generalization complexity . Her work has been featured in major media outlets including New York Times, TIME, MIT Tech Review, and Fortune . Scientific Awards : Alfred P. Sloan Fellow (2025), NSF CAREER Award (2023), MIT Tech Review 35 Innovators (2019), Google Anita Borg Fellowship (2015) Grants & Funding : NSF, Google, Amazon, JP Morgan, Adobe, Schmidt Sciences Dr. Lakkaraju advises a diverse team of postdocs, PhD, and master's students working on foundational and applied aspects of trustworthy machine learning. She teaches courses like Introduction to Data Science and Explainable AI at Harvard and Stanford.

Lisa Heldkeمشاهده پروفایل

استاد

• Philosophy of Food
• American Philosophy
• Feminist Philosophy
• +۷ مورد دیگر

Lisa Heldke is a Professor in the Department of Philosophy at Gustavus Adolphus College and an affiliated faculty member in Gender, Women and Sexuality Studies. She has been a longstanding contributor to the academic community, teaching courses such as Modern Philosophy, American Philosophy, Feminist Philosophy, Critical Race Theory, and specialized seminars on food and eating. Her interdisciplinary work bridges philosophy with social justice, education, and culinary ethics. B.A. in Music and Philosophy from Gustavus Adolphus College M.A. and Ph.D. in Philosophy from Northwestern University Her research centers on American Philosophy , Feminist Philosophy , Critical Race Theory , and most notably, the Philosophy of Food . She critically examines food adventuring, colonialist attitudes in cuisine, and the ethical dimensions of eating. Her work explores how food shapes identity, community, and moral responsibility. Her recent and forthcoming publications reveal a deepening inquiry into biological interdependence—particularly parasitism and mutualism—suggesting a novel ontological framework rooted in eating relationships. This innovative direction reflects her ability to connect everyday practices with profound philosophical questions. Lisa Heldke’s scholarly contributions include influential books such as Exotic Appetites: Ruminations of a Food Adventurer and Philosophers at Table: On Food and Being Human , as well as co-editing Oppression, Privilege and Resistance . She is also on the editorial board of The Encyclopedia of Food and Agriculture Ethics (Springer). While specific details about student advising are not listed, her long-standing teaching career and mentorship through seminars suggest active engagement with students. She has no listed scientific awards in the provided texts, but her sustained publication record and editorial roles indicate significant recognition in her field. She is deeply involved in experiential learning, combining her philosophical inquiries with hands-on activities like baking bread in a backyard mud oven and studying sustainable agriculture. Her current research promises to expand the boundaries of philosophical thought by integrating ecological and biological realities into metaphysical and ethical frameworks.

Thomas E. Bittnerمشاهده پروفایل

دانشیار

• Formal Ontology
• Applied Ontology
• Ontology of Space and Time
• +۳ مورد دیگر

Thomas E. Bittner serves as an Associate Professor in the Department of Philosophy at the University at Buffalo, specializing in formal and applied ontology with particular focus on spatial and temporal reasoning. His academic work bridges philosophy, computer science, and geographic information systems. His research interests encompass Formal and Applied Ontology , Ontology of Space, Time and Spatial Entities , Spatio-Temporal Reasoning , and Bio-Medical Ontology . He investigates fundamental questions about spatial relations, vagueness in geographic boundaries, and quantum-inspired models for geographic information systems, developing rigorous formal frameworks applicable to both philosophical and computational domains. His publication record demonstrates consistent engagement with cutting-edge topics in ontology, particularly exploring quantum geography concepts and computational implementations of formal ontologies. Key themes across his work include the representation of spatial vagueness, quantum-inspired geographic modeling, and verifiable computational ontology systems. Bittner holds a PhD from the Technical University of Vienna and teaches courses including Logic and Spatial Ontology. His contact information lists office location at 109 Park Hall on UB's North Campus with phone (716) 645-5149.

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

دانشیار

• Action Theory
• Ethics
• Political Philosophy
• +۴ مورد دیگر

Anton Ford is an Associate Professor of Philosophy and Deputy Dean of the Humanities Division at the University of Chicago, where he has been a faculty member since 2007. His academic home is the Department of Philosophy within the Division of the Humanities, and he maintains an active teaching and research profile spanning practical philosophy, ethics, and political theory. Dr. Ford's educational background includes: PhD in Philosophy from the University of Pittsburgh (2008) BA from Harvard University (1999) His research centers on Practical Philosophy, explicitly encompassing Action Theory, Ethics, and Political Philosophy, with deep engagement in the works of Anscombe, Aristotle, and Marx. Ford investigates the metaphysical and normative dimensions of human agency, intentionality, and political compromise, blending historical analysis with contemporary philosophical rigor. His scholarship demonstrates how practical reasoning operates across moral, political, and epistemic domains. Analysis of Ford's publications (2010-2018) reveals consistent thematic focus on agency and action theory, particularly through Anscombian frameworks, while progressively expanding into political philosophy and ancient thought. His work shows increasing interdisciplinary reach, connecting metaphysical questions about intention to concrete political problems like compromise and justice. The editorial project on Anscombe's Intention underscores his role in shaping contemporary action theory discourse. Dr. Ford has not received major scientific awards, prizes, or fellowships as documented in available sources. His professional recognition derives primarily from scholarly contributions and institutional leadership. As Deputy Dean of the Humanities Division, Ford provides administrative leadership while mentoring graduate students in the Philosophy PhD program. Though specific advisees aren't listed, his course offerings and publication record indicate active research supervision. His editorial work and sustained publication output suggest successful grant support for scholarly activities, though specific funding sources aren't detailed. Within the Division of the Humanities, Ford contributes to research ecosystems through departmental leadership and association with Practical Philosophy and Ancient Philosophy research clusters. His administrative role as Deputy Dean positions him to influence collaborative initiatives across humanities disciplines at the University of Chicago.

Pavel Panchekhaمشاهده پروفایل

استادیار

• Programming Languages
• Program Synthesis
• Verification
• +۴ مورد دیگر

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.