Registered user since Mon 18 Jan 2016
Name:Pierre Geneves
Country:France
Affiliation:CNRS/LIG
Personal website: http://pierre.geneves.net
Research interests:Data-Centric Programming, Artificial Intelligence, Logic
Contributions
PLDI 2023-profile
View general profile
View general profile