World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
47
Citations
8190
World Ranking
6542
National Ranking
2891

Overview

Manuel Fähndrich is affiliated with Google in the United States. Their work is conducted within the scope of this organization, contributing to the institution's research environment.

There are no listed recent papers, co-authors, publication venues, book publications, fields or subfields of study, main topics of work, or awards associated with Manuel Fähndrich in the provided data. Consequently, detailed information about their specific research focus, collaborations, or academic contributions is not available.

Best Publications

  • Enforcing high-level protocols in low-level software

    Robert DeLine;Manuel Fähndrich

  • Verification of object-oriented programs with invariants

    Michael Barnett;Robert DeLine;Manuel Fähndrich;K. Rustan M. Leino

  • A theory of type qualifiers

    Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken

  • Language support for fast and reliable message-based communication in singularity OS

    Manuel Fähndrich;Mark Aiken;Chris Hawblitzel;Orion Hodson

  • Adoption and focus: practical linear types for imperative programming

    Manuel Fahndrich;Robert DeLine

  • Typestates for Objects

    Robert DeLine;Manuel Fähndrich

  • Partial online cycle elimination in inclusion constraint graphs

    Manuel Fähndrich;Jeffrey S. Foster;Zhendong Su;Alexander Aiken

  • Declaring and checking non-null types in an object-oriented language

    Manuel Fähndrich;K. Rustan M. Leino

  • Specification and verification: the Spec# experience

    Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller

  • An Overview of the Singularity Project

    Galen Hunt;James Larus;Martín Abadi;Mark Aiken

  • Static contract checking with abstract interpretation

    Manuel Fähndrich;Francesco Logozzo

  • Scaling static analyses at Facebook

    Dino Distefano;Manuel Fähndrich;Francesco Logozzo;Peter W. O'Hearn

  • Scalable context-sensitive flow analysis using instantiation constraints

    Manuel Fähndrich;Jakob Rehof;Manuvir Das

  • Better static memory management: improving region-based analysis of higher-order languages

    Alexander Aiken;Manuel Fähndrich;Raph Levien

  • SPUR: a trace-based JIT compiler for CIL

    Michael Bebenita;Florian Brandner;Manuel Fahndrich;Francesco Logozzo

  • Type-base flow analysis: from polymorphic subtyping to CFL-reachability

    Jakob Rehof;Manuel Fähndrich

  • Righting software

    J.R. Larus;T. Ball;Manuvir Das;R. DeLine

  • Pentagons: A weakly relational abstract domain for the efficient validation of array accesses

    Francesco Logozzo;Manuel Fähndrich

  • TouchDevelop: programming cloud-connected mobile devices via touchscreen

    Nikolai Tillmann;Michal Moskal;Jonathan de Halleux;Manuel Fahndrich

  • Embedded contract languages

    Manuel Fähndrich;Michael Barnett;Francesco Logozzo

Frequent Co-Authors

Nikolai Tillmann
Nikolai Tillmann Facebook (United States)
James R. Larus
James R. Larus École Polytechnique Fédérale de Lausanne
Alex Aiken
Alex Aiken Stanford University
Galen C. Hunt
Galen C. Hunt Microsoft (United States)
Wolfram Schulte
Wolfram Schulte Microsoft (United States)
Robert DeLine
Robert DeLine Microsoft (United States)
Zhendong Su
Zhendong Su ETH Zurich
Jeffrey S. Foster
Jeffrey S. Foster Tufts University
Martín Abadi
Martín Abadi Google (United States)
K. Rustan M. Leino
K. Rustan M. Leino Amazon Web Services

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees in Computer Science opens doors to a variety of high-demand career paths. Many students look for easy degrees that pay well as a fast track into the tech workforce. Popular options include associate or bachelor’s degrees in IT, cybersecurity, or web development, which offer both flexibility and strong salary prospects.

Artificial intelligence is one of today’s fastest-growing fields. Choosing one of the best online AI degree programs can position you for future-focused jobs such as machine learning engineer or data scientist. These programs are offered by reputable institutions and can often be completed fully online and at competitive tuition rates.

If you’re still considering your academic direction, take a look at the best college majors for the future. Degree programs in technology, engineering, analytics, and healthcare are projected to offer strong career stability and growth. Additionally, those already holding a bachelor’s degree might consider pursuing advanced credentials. There are several options for the easiest online master's degree in fields like IT management or education technology, which can be completed quickly and with minimal disruption to your career.

Best Scientists Citing Manuel Fähndrich

Trending Scientists