Martin Vechev

Martin Vechev

Zürich, Schweiz
21.601 Follower:innen 500+ Kontakte

Info

I am a Full Professor at ETH Zurich and founder and scientific director of INSAIT. My…

Aktivitäten

Anmelden, um alle Aktivitäten zu sehen

Berufserfahrung

  • LogicStar AI Grafik

    LogicStar AI

    Zurich, Switzerland

  • -

    Zurich, Switzerland

  • -

    Sofia, Sofia City, Bulgaria

  • -

    Zurich, Switzerland

  • -

    Zurich, Switzerland

  • -

    Zurich, Switzerland

  • -

    Zurich, Switzerland

  • -

    Zurich, Switzerland

  • -

    Zürich Area, Switzerland

  • -

    Zürich Area, Switzerland

  • -

    Zürich Area, Switzerland

  • -

    Zurich

  • -

    Hawthorne, New York

  • -

    Sofia, Bulgaia

  • -

    Vancouver, Canada

Ausbildung

Auszeichnungen/Preise

  • ERC Consolidator Grant

    European Research Council

    2M EUR for investing new research in making AI safe, fair and secure [more: http://safeai.ethz.ch]

  • ACM SIGPLAN Robin Milner Young Researcher Award

    ACM

    An annual award given our by ACM SIGPLAN. The award was given for "...major contributions to many areas of programming languages..."

    Details: https://www.sigplan.org/Awards/Milner/

  • Communications of the ACM Research Highlight

    Communications of the ACM

    For our POPL'15 paper on "Predicting Program Properties from “Big Code”, which led to the popular and widely used public system http://jsnice.org

  • Distinguished Paper Award

    ACM OOPSLA

    For our paper "Modeling and analysis of remote memory access programming."

  • SIGPLAN Research Highlight

    ACM SIGPLAN

    For our POPL'15 paper on "Predicting Program Properties from “Big Code”, which led to the popular and widely used public system http://jsnice.org

  • ERC Starting Grant

    European Research Council

    1.5M EUR for investing new research in Artificial Intelligence for Code [more: http://plml.ethz.ch]

  • Facebook Faculty Award

    Facebook

  • Google Faculty Award

    Google

  • Google Faculty Award

    Google

  • Outstanding Artifact Award

    ACM OOPSLA

    For our paper and system: "Effective Race Detection for Event-Driven Programs"

  • Best Paper Award

    Conference on Runtime Verification

    for our paper, "Efficient Data Race Detection for Async-Finish Parallelism".

  • IBM Research Extraordinary Accomplishment Award

    IBM Research

    Awarded by John Kelly, IBM Senior Vice President and Director of IBM Research for contributions to the Metronome Real-Time Memory Manger Project.

  • IBM Research Division Award, IBM Research Invention and Outstanding Technical Achievement Awards, IBM Research Outstanding Project Award

    IBM Research

    While at the IBM T.J. Watson Research Center, I received a number of research awards: division award, invention and outstanding technical achievement awards, and outstanding project award.

    These were for technical contributions to a range of projects we started including, the Paraglide project which initiated program synthesis for concurrency, the QVM online runtime system, and the Metronome real-time memory manager, implemented inside IBM's production Java Virtual Machine.

  • John Atanasoff Award

    President of Bulgaria

    For outstanding scientific contributions by a young scientist under the age 35:

    https://www.president.bg/cat38/243/Martin-Vechev-2009-John-Atanasov.html&lang=en

Sprachen

  • English

    -

  • Russian

    -

  • Bulgarian

    -

Weitere Aktivitäten von Martin Vechev

Martin Vechevs vollständiges Profil ansehen

  • Herausfinden, welche gemeinsamen Kontakte Sie haben
  • Sich vorstellen lassen
  • Martin Vechev direkt kontaktieren
Mitglied werden. um das vollständige Profil zu sehen

Weitere ähnliche Profile

Entwickeln Sie mit diesen Kursen neue Kenntnisse und Fähigkeiten