World's Best Scientists 2026 revealed!
Éric Tanter

Éric Tanter

D-Index & Metrics

Computer Science

D-Index
30
Citations
3714
World Ranking
14120
National Ranking
9

Overview

Éric Tanter is a researcher affiliated with the University of Chile in Chile, specializing in computer science with a focus on areas such as logic, programming, and type systems. Their scholarly work spans multiple subfields including artificial intelligence, computational theory and mathematics, information systems, computer networks and communications, and software.

Their research contributions cover a range of topics in computer science, notably:

  • Logic, programming, and type systems
  • Formal methods in verification
  • Security and verification in computing
  • Software engineering research
  • Logic, reasoning, and knowledge
  • Distributed systems and fault tolerance
  • Privacy-preserving technologies in data

Éric Tanter's frequent collaborators include:

  • Nicolas Tabareau (with 11 coauthored works)
  • Kenji Maillard (10)
  • Matías Toro (10)
  • Jonathan Aldrich (6)
  • Joshua Sunshine (6)

Their research has been published extensively in several academic venues such as:

  • Proceedings of the ACM on Programming Languages (10 publications)
  • arXiv (Cornell University) (6)
  • ACM Transactions on Programming Languages and Systems (4)
  • Zenodo (CERN European Organization for Nuclear Research) (4)
  • Journal of the ACM (2)

Recent publications reflect their focus on formal methods and programming languages, including:

  • Gradualizing the Calculus of Inductive Constructions, 2022, ACM Transactions on Programming Languages and Systems
  • Abstracting gradual references, 2020, Science of Computer Programming
  • An Extended Account of Trace-relating Compiler Correctness and Secure Compilation, 2021, ACM Transactions on Programming Languages and Systems
  • Gradual verification of recursive heap data structures, 2020, Proceedings of the ACM on Programming Languages
  • Contextual Linear Types for Differential Privacy, 2023, ACM Transactions on Programming Languages and Systems

Best Publications

  • Scalable omniscient debugging

    Guillaume Pothier;Éric Tanter;José Piquer

  • Partial behavioral reflection: spatial and temporal selection of reification

    Éric Tanter;Jacques Noyé;Denis Caromel;Pierre Cointe

  • Abstracting gradual typing

    Ronald Garcia;Alison M. Clark;Éric Tanter

  • A versatile kernel for multi-language AOP

    Éric Tanter;Jacques Noyé

  • An empirical study on the impact of static typing on software maintainability

    Stefan Hanenberg;Sebastian Kleinschmager;Romain Robbes;Éric Tanter

  • Context-aware aspects

    Éric Tanter;Kris Gybels;Marcus Denker;Alexandre Bergel

  • How (and why) developers use the dynamic features of programming languages: the case of smalltalk

    Oscar Callaú;Romain Robbes;Éric Tanter;David Röthlisberger

  • Back to the Future: Omniscient Debugging

    G. Pothier;E. Tanter

  • First-class state change in plaid

    Joshua Sunshine;Karl Naden;Sven Stork;Jonathan Aldrich

  • Gradual typestate

    Roger Wolff;Ronald Garcia;Éric Tanter;Jonathan Aldrich

  • Foundations of Typestate-Oriented Programming

    Ronald Garcia;Éric Tanter;Roger Wolff;Jonathan Aldrich

  • Do static type systems improve the maintainability of software systems? An empirical study

    Sebastian Kleinschmager;Romain Robbes;Andreas Stefik;Stefan Hanenberg

  • An empirical study of the influence of static type systems on the usability of undocumented software

    Clemens Mayer;Stefan Hanenberg;Romain Robbes;Éric Tanter

  • AspectScript: expressive aspects for the web

    Rodolfo Toledo;Paul Leger;Éric Tanter

  • Expressive scoping of dynamically-deployed aspects

    Éric Tanter

  • A theory of gradual effect systems

    Felipe Bañados Schwerter;Ronald Garcia;Éric Tanter

  • How developers use the dynamic features of programming languages: the case of smalltalk

    Oscar Callaú;Romain Robbes;Éric Tanter;David Röthlisberger

  • Aspects of composition in the reflex AOP kernel

    Éric Tanter

  • Execution levels for aspect-oriented programming

    Éric Tanter

  • Declarative, formal, and extensible syntax definition for aspectJ

    Martin Bravenboer;Éric Tanter;Eelco Visser

  • Gradual typing for Smalltalk

    Esteban Allende;Oscar Callaú;Johan Fabry;Éric Tanter

  • Unanticipated partial behavioral reflection

    David Röthlisberger;Marcus Denker;Éric Tanter

Frequent Co-Authors

Jonathan Aldrich
Jonathan Aldrich Carnegie Mellon University
Romain Robbes
Romain Robbes University of Bordeaux
Eric Bodden
Eric Bodden University of Paderborn
Walter Binder
Walter Binder Universita della Svizzera Italiana
Yasutaka Kamei
Yasutaka Kamei Kyushu University
Ahmed E. Hassan
Ahmed E. Hassan Queen's University
Meiyappan Nagappan
Meiyappan Nagappan University of Waterloo
Audris Mockus
Audris Mockus University of Tennessee at Knoxville
Shane McIntosh
Shane McIntosh McGill University
Stéphane Ducasse
Stéphane Ducasse University of Lille

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

Studying Computer Science in the USA can open a wide range of opportunities, especially with the growth of flexible learning paths. Many students pursue specialized areas online, such as an online theoretical physics degree, which provides a strong analytical foundation relevant across science and tech fields.

Data-driven roles are also in demand. Choosing from data science degrees helps graduates develop skills in analytics, machine learning, and big data, supporting careers in finance, healthcare, and beyond.

Another path is advancing your expertise with an online master’s in electrical engineering degree. This can lead to roles developing cutting-edge technology in fields such as robotics, telecommunications, and energy systems.

If you’re seeking a quicker transition into the workforce, consider exploring certificate programs that pay well. These certifications focus on in-demand skills and can boost your employability in a shorter time frame.

Whether you want deep specialization or an expedited route to a high-paying job, online options offer the flexibility and diversity to match your career goals in tech.

Best Scientists Citing Éric Tanter

Trending Scientists

Recently Published Articles