Frédéric PROST
Associate Professor at Université Grenoble Alpes in the CAPP team of the LIG laboratory.

Office 478, Batiment IMAG
Tel : (+33) 4 57 42 15 45
E-mail : Frederic dot Prost at imag dot fr

Research Interests

• Inheritance and blockchain :
• Decentralized protocols for inheritance
• Thinking what inheritance could be in a digitalized society
• Programming language theory:
• Graph Rewriting
• Non-interference analyses
• Implicit complexity
• Artificial intelligence:
• Engine for variant of chess : Twilight Chess
• Game-theoretic value of chess and chess variants : Mini Chess Resolution

Teaching at UGA

• M1 MEEF NSI - Sécurité de l'information
• INF432 - Introduction to Logic

Publications

Podcast "TIC Talk du Laboratoire LIG"

• Episode 1 - Jean-Paul Delahaye - Ethique et profondeur logique.
• Episode 2 - Gaspard Koenig - La fin de l'individu
• Episode 3 - Ygal Bendavid - Internet des Objets
• Episode 4 - Milad Doueihi - Humanisme numériqe
• Episode 5 - Hervé Seitz - Edition Génétique
• Episode 6 - Louis Chochoy - Droit et Blockchain
• Episode 7 - Jean-Paul Demoule - Histoire de la transmission de l'information
• Episode 8 - Franck Varenne - Informatique et Epistémologie
• Episode 9 - Dominique Cardon - Culture Numérique
• Episode 10 - Jean-Gabriel Ganascia - IA, éthique et conscience
• Episode 11 - Gildas Avoine - La securite informatique en 2020
• Episode 12 - Bruno Patino - Société Numérique
• Episode 13 - Guilherme Carvalho - Culture et création musicales dans un monde numérique
• Episode 14 - Gilles Dowek - Ethique dans un monde numérique
• Episode 15 - Eva Sandri - Médiation Numérique
• Episode 16 - Nataliya Kos'myna - Interface Cerveau-machine
• Episode 17 - Alexandra Elbakyan - The Sci-Hub projet
• Episode 18 - François-Xavier Coudert - Chimie et TIC
• Episode 19 - Christophe Gauthier - Evolution de la production culturelle dans un monde digital
• Episode 20 - Claire Peltier - Enseignement à distance
• Episode 21 - Maël Lemoine - Philosophie dans les sciences
• Episode 22 - Arthur Breitman - Cryptomonnaie et dépendances
• Episode 23 - Mathieu Delaplace - Cybersécurité
• Episode 24 - David Wittmann - Epistémologie dans une société numérique
• Episode 25 - Baptiste Kotras - Opinion et espace public numérique
• Episode 26 - Laurent Mucchielli - TIC et sociologie de la sécurité
• Episode 27 - Edouard Jolly - Guerre et TIC
• Episode 28 - Yenny Serrano - Médias et TIC
• Episode 29 - Stéphane Grumbach - Géopolotique et TIC

Internships

• Automatically solving combinatorial games

Events

• GCM2020
• Escuela de Ciencias Informaticas 2015, Buenos-Aires 20th-24th of July 2015.
• Trends in graph transformation, ENS-Lyon the 27th of november 2014.

Misc

• Participation au podcast "Les contrariantes du magazine le Point sur le thème de la liberté d'expression et des réseaux sociaux.
• Tribune sur le rapport sur l'intelligence artificielle