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
Research areas

Explore all research areas

Explore all research areas

Foundational ML & Algorithms

Algorithms & Theory

Data Management

Data Mining & Modeling

Information Retrieval & the Web

Machine Intelligence

Machine Perception

Machine Translation

Natural Language Processing

Speech Processing

Algorithms & Theory

Data Management

Data Mining & Modeling

Information Retrieval & the Web

Machine Intelligence

Machine Perception

Machine Translation

Natural Language Processing

Speech Processing

Computing Systems & Quantum AI

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

Science, AI & Society

Climate & Sustainability

Economics & Electronic Commerce

Education Innovation

General Science

Health & Bioscience

Human-Computer Interaction and Visualization

Climate & Sustainability

Economics & Electronic Commerce

Education Innovation

General Science

Health & Bioscience

Human-Computer Interaction and Visualization
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

Mihai Christodorescu

Mihai Christodorescu is a research scientist working in the areas of security & privacy at Google. His research interests include data confidentiality and integrity, program analysis, and new primitives for secure operating systems.

Research Areas

Security, Privacy and Abuse Prevention

Authored Publications

Google

Do Large Code Models Understand Programming Concepts? A Black Box Approach

Ashish Hooda

Mihai Christodorescu

Miltos Allamanis

Aaron Wilson

Kassem Fawaz

Somesh Jha

(2024) (to appear)

Identifying and Mitigating the Security Risks of Generative AI

Clark Barrett

Brad Boyd

Elie Bursztein

Nicholas Carlini

Brad Chen

Jihye Choi

Amrita Roy Chowdhury

Mihai Christodorescu

Anupam Datta

Soheil Feizi

Kathleen Fisher

Tatsunori B. Hashimoto

Dan Hendrycks

Somesh Jha

Daniel Kang

Florian Kerschbaum

Eric Mitchell

John Mitchell

Zulfikar Ramzan

Khawaja Shams

Dawn Song

Ankur Taly

Diyi Yang

Foundations and Trends in Privacy and Security, 6 (2023), pp. 1-52

Formal Analysis of the API Proxy Problem

Anh Pham

Mihai Christodorescu

Somesh Jha

arXiv, Google LLC (2023)

Search on Google Scholar