Jump to Content

Defining the technology of today and tomorrow.

Philosophy

We strive to create an environment conducive to many different types of research across many different time scales and levels of risk.
Learn more about our Philosophy

Philosophy

People

Our researchers drive advancements in computer science through both fundamental and applied research.
Learn more about our People

People

Teams

Our research teams have the opportunity to impact technology used by billions of people every day.
Learn more about our Teams

Teams
AI/ML Foundations  & Capabilities

Machine Intelligence

Machine Perception

Machine Translation

Natural Language Processing

Speech Processing

Machine Intelligence

Machine Perception

Machine Translation

Natural Language Processing

Speech Processing

Algorithms & Optimization

Algorithms & Theory

Data Management

Data Mining & Modeling

Information Retrieval & the Web

Algorithms & Theory

Data Management

Data Mining & Modeling

Information Retrieval & the Web

Computing Paradigms

Distributed Systems & Parallel Computing

Hardware & Architecture

Mobile Systems

Networking

Quantum Computing

Robotics

Security, Privacy, & Abuse Prevention

Software Engineering

Software Systems

Distributed Systems & Parallel Computing

Hardware & Architecture

Mobile Systems

Networking

Quantum Computing

Robotics

Security, Privacy, & Abuse Prevention

Software Engineering

Software Systems

Responsible Human-Centric Technology

Human-Computer Interaction & Visualization

Responsible AI

Human-Computer Interaction & Visualization

Responsible AI

Science & Societal Impact

Climate & Sustainability

Economics & Electronic Commerce

Education Innovation

General Science

Health & Bioscience

Climate & Sustainability

Economics & Electronic Commerce

Education Innovation

General Science

Health & Bioscience

Explore research areas
Projects

We regularly open-source projects with the broader research community and apply our developments to Google products.
Learn more about our Projects

Projects

Publications

Publishing our work allows us to share ideas and work collaboratively to advance the field of computer science.
Learn more about our Publications

Publications

Resources

We make products, tools, and datasets available to everyone with the goal of building a more collaborative ecosystem.
Learn more about our Resources

Resources
Shaping the future, together.
Collaborate with us

Student programs

Supporting the next generation of researchers through a wide range of programming.
Learn more about our Student programs

Student programs

Faculty programs

Participating in the academic research community through meaningful engagement with university faculty.
Learn more about our Faculty programs

Faculty programs

Conferences & events

Connecting with the broader research community through events is essential for creating progress in every aspect of our work.
Learn more about our Conferences & events

Conferences & events

Collaborate with us
Careers
Blog

Healfdene Goguen

Healfdene Goguen

Research Areas

Algorithms and Theory

Authored Publications

Subtyping a la Church

Adriana Compagnoni

Healfdene Goguen

Radboud University Nijmegen(2007) (to appear)

Preview

Eliminating Dependent Pattern Matching

Healfdene Goguen

Conor McBride

James McKinna

Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany(2006), pp. 521-540

Preview

Search on Google Scholar