Frédéric Prost

Home * People * Frédéric Prost



Frédéric Prost, a French mathematician, chess player, computer scientist and associate professor at Laboratoire d’Informatique de Grenoble and Joseph Fourier University Grenoble. His research interests include quantum programming, IT security, non-interference analyses, anonymity, and in artificial intelligence, his chess variant proposal Twilight Chess and engines playing it, and the game-theoretic value of chess variants. =Gardner's Minichess Solved= Along with Mehdi Mhalla, Frédéric Prost weakly solved Gardner's 5x5 Minichess as published in 2013. They modified Stockfish in order to make it play Gardner Chess. Abstract : A 5×5 board is the smallest board on which one can set up all types of chess pieces as a start position. We consider Gardner’s minichess variant in which all pieces are set as in a standard chessboard (from Rook to King). This game has roughly 9×10^18 legal positions and is comparable in this respect with checkers. We weakly solve this game: we prove its game-theoretic value and give a strategy to draw against best play for White and Black sides. Our approach requires surprisingly little computing power. We give a human readable proof. The way the result is obtained is generic and could be generalized to bigger chess settings or to other games.

=Selected Publications=

2000 ...

 * Frédéric Prost (2000). A Static Calculus of Dependencies for the lambda-Cube. LICS 2000
 * Dominique Duval, Rachid Echahed, Frédéric Prost (2005). Data-Structure Rewriting. arXiv:cs/0503065
 * Dominique Duval, Rachid Echahed, Frédéric Prost (2007). Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007
 * Dominique Duval, Rachid Echahed, Frédéric Prost (2007). Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electronic Notes in Theoretical Computer Science, Vol. 176, No. 1
 * Dominique Duval, Rachid Echahed, Frédéric Prost (2009). Graph rewriting with polarized cloning. arXiv:0911.3786
 * Frédéric Prost (2009). Twilight Chess. A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge. ICGA Journal, Vol. 32, No. 2

2010 ...

 * Dominique Duval, Rachid Echahed, Frédéric Prost (2011). Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation . arXiv:1101.3417
 * Frédéric Prost (2012). On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. arXiv:1203.3434 » Turing-100, Turing Year 2012
 * Mehdi Mhalla, Frédéric Prost (2013). Gardner’s Minichess Variant is Solved. ICGA Journal, Vol. 36, No. 4, arXiv:1307.7118
 * Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro (2017). The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017

=External Links=
 * Frederic Prost homepage - Page personnelle de Frederic Prost
 * Frederic Prost | LinkedIn
 * The Mathematics Genealogy Project - Frédéric Prost
 * Prost, Frederic FIDE Chess Profile
 * Frederic Prost chess games - 365Chess.com

=References= Up one level