CartoExpert

Noam Zeilberger

Item

Title

Noam Zeilberger

firstName

Noam

familyName

Zeilberger

Identifier

scanr:idref269137467

Is Referenced By

idref:269137467

member

Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

Start

2018-01-01T00:00:00

End

2023-12-31T00:00:00

University of Birmingham

Start

2018-01-01T00:00:00

End

2018-12-31T00:00:00

Laboratoire d'informatique de l'École polytechnique

Start

2016-01-01T00:00:00

End

2023-12-31T00:00:00

Ecole Polytechnique

Start

2016-01-01T00:00:00

End

2023-12-31T00:00:00

Institut Polytechnique de Paris

Start

2016-01-01T00:00:00

End

2023-12-31T00:00:00

Centre de recherche Inria Saclay - Île-de-France

Start

2016-01-01T00:00:00

End

2023-12-31T00:00:00

Recherche de preuve et raisonnement sur des spécifications logiques

Start

2016-01-01T00:00:00

End

2019-12-31T00:00:00

Microsoft Research (United Kingdom)

Start

2015-01-01T00:00:00

End

2017-12-31T00:00:00

Microsoft (United States)

Start

2015-01-01T00:00:00

End

2017-12-31T00:00:00

École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise

Start

2015-01-01T00:00:00

End

2015-12-31T00:00:00

Centre national de la recherche scientifique French National Centre for Scientific Research

Start

2010-01-01T00:00:00

End

2023-12-31T00:00:00

French Institute for Research in Computer Science and Automation Institut national de recherche en informatique et en automatique

Start

2010-01-01T00:00:00

End

2023-12-31T00:00:00

Preuves, Programmes et Systèmes

Start

2010-01-01T00:00:00

End

2010-12-31T00:00:00

Université Paris Diderot Paris Diderot University

Start

2010-01-01T00:00:00

End

2010-12-31T00:00:00

Conception, étude et implémentation de langages pour les preuves et les programmes

Start

2010-01-01T00:00:00

End

2010-12-31T00:00:00

Item sets

Enseignants Chercheurs externes / Collaborateurs externes