Thomas Seiller

Registered user since Thu 2 Aug 2018

Name:Thomas Seiller
Country:France
Affiliation:CNRS
Personal website:https://www.seiller.org

Contributions

CoqPL 2023 Certifying Complexity Analysis
VMCAI 2023 Distributing and Parallelizing Non-canonical Loops
Show activities from other conferences

POPL 2023-profile
View general profile