25,161
edits
Changes
Created page with "'''Home * People * Frédéric Prost''' FILE:fredericprost.jpg|border|right|thumb|link=http://membres-lig.imag.fr/prost/| Frédéric Prost <ref>[http://me..."
'''[[Main Page|Home]] * [[People]] * Frédéric Prost'''
[[FILE:fredericprost.jpg|border|right|thumb|link=http://membres-lig.imag.fr/prost/| Frédéric Prost <ref>[http://membres-lig.imag.fr/prost/ Frederic Prost homepage - Page personnelle de Frederic Prost]</ref> ]]
'''Frédéric Prost''',<br/>
a French mathematician, chess player, computer scientist and associate professor at [https://en.wikipedia.org/wiki/Laboratoire_d%27Informatique_de_Grenoble Laboratoire d’Informatique de Grenoble] and [https://en.wikipedia.org/wiki/Joseph_Fourier_University Joseph Fourier University] [https://en.wikipedia.org/wiki/Grenoble Grenoble].
His research interests include [https://en.wikipedia.org/wiki/Quantum_programming quantum programming], [https://en.wikipedia.org/wiki/Computer_security IT security], [https://en.wikipedia.org/wiki/Non-interference_%28security%29 non-interference analyses], [https://en.wikipedia.org/wiki/Anonymity anonymity], and in [[Artificial Intelligence|artificial intelligence]], his [[Chess#Variants|chess variant]] proposal [[Twilight Chess]] and engines playing it <ref>[http://membres-lig.imag.fr/prost/Twilight_Chess/index.html Twilight Chess]</ref>, and the game-theoretic value of [[Chess#Variants|chess variants]] <ref>[http://membres-lig.imag.fr/prost/MiniChessResolution/ Mini Chess Resolution]</ref>.
<span id="MinichessSolved"></span>
=Gardner's Minichess Solved=
Along with [[Mehdi Mhalla]], Frédéric Prost [https://en.wikipedia.org/wiki/Solved_game weakly solved] [[Martin Gardner|Gardner's]] [https://en.wikipedia.org/wiki/Minichess#5.C3.975_chess 5x5 Minichess] as published in 2013.
They modified [[Stockfish]] in order to make it play Gardner Chess <ref>[http://membres-lig.imag.fr/prost/MiniChessResolution/Gardner/index.html Gardner Chess Engine] based on [[Stockfish]]</ref>.
Abstract <ref>[[Mehdi Mhalla]], [[Frédéric Prost]] ('''2013'''). ''[http://arxiv-web3.library.cornell.edu/abs/1307.7118 Gardner’s Minichess Variant is Solved]''. [[ICGA Journal#36_4|ICGA Journal, Vol. 36, No. 4]]</ref> <ref>[http://www.open-chess.org/viewtopic.php?f=5&t=2414 Gardner's minichess solved] by [[Mark Watkins|BB+]], [[Computer Chess Forums|OpenChess Forum]], August 29, 2013</ref>:
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|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=
<ref>[http://membres-lig.imag.fr/prost/publications.html Frédéric Prost - Bibliographie personnelle]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/p/Prost:Fr=eacute=d=eacute=ric dblp: Frédéric Prost]</ref>
==2000 ...==
* [[Frédéric Prost]] ('''2000'''). ''[https://ieeexplore.ieee.org/document/855775 A Static Calculus of Dependencies for the lambda-Cube]''. [https://dblp.uni-trier.de/db/conf/lics/lics2000.html LICS 2000]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2005'''). ''Data-Structure Rewriting''. [https://arxiv.org/abs/cs/0503065 arXiv:cs/0503065]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2007'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-73449-9_11 Adjunction for Garbage Collection with Application to Graph Rewriting]''. [https://dblp.uni-trier.de/db/conf/rta/rta2007.html RTA 2007]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2007'''). ''[https://cyberleninka.org/article/n/398219 Modeling Pointer Redirection as Cyclic Term-graph Rewriting]''. [https://en.wikipedia.org/wiki/Electronic_Notes_in_Theoretical_Computer_Science Electronic Notes in Theoretical Computer Science], Vol. 176, No. 1
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2009'''). ''Graph rewriting with polarized cloning''. [https://arxiv.org/abs/0911.3786 arXiv:0911.3786]
* [[Frédéric Prost]] ('''2009'''). ''Twilight Chess. A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge''. [[ICGA Journal#32_2|ICGA Journal, Vol. 32, No. 2]]
==2010 ...==
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2011'''). ''Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation ''. [https://arxiv.org/abs/1101.3417 arXiv:1101.3417]
* [[Frédéric Prost]] ('''2012'''). ''On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess''. [https://arxiv.org/abs/1203.3434 arXiv:1203.3434] » [[Alan Turing#Turing Year 2012|Turing-100, Turing Year 2012]]
* [[Mehdi Mhalla]], [[Frédéric Prost]] ('''2013'''). ''Gardner’s Minichess Variant is Solved''. [[ICGA Journal#36_4|ICGA Journal, Vol. 36, No. 4]], [https://arxiv.org/abs/1307.7118 arXiv:1307.7118]
* [https://dblp.uni-trier.de/pers/hd/c/Corradini:Andrea Andrea Corradin]i, [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]], [https://dblp.uni-trier.de/pers/hd/r/Ribeiro:Leila Leila Ribeiro] ('''2017'''). ''[https://link.springer.com/chapter/10.1007/978-3-319-61470-0_1 The Pullback-Pushout Approach to Algebraic Graph Transformation]''. [https://dblp.uni-trier.de/db/conf/gg/icgt2017.html ICGT 2017]
=External Links=
* [http://membres-lig.imag.fr/prost/ Frederic Prost homepage - Page personnelle de Frederic Prost]
* [https://www.linkedin.com/pub/frederic-prost/5/949/a52 Frederic Prost | LinkedIn]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=95801 The Mathematics Genealogy Project - Frédéric Prost]
* [http://ratings.fide.com/card.phtml?event=615030 Prost, Frederic FIDE Chess Profile]
* [https://www.365chess.com/players/Frederic_Prost Frederic Prost chess games - 365Chess.com]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Chess Player|Prost]]
[[Category:Mathematician|Prost]]
[[Category:Researcher|Prost]]
[[FILE:fredericprost.jpg|border|right|thumb|link=http://membres-lig.imag.fr/prost/| Frédéric Prost <ref>[http://membres-lig.imag.fr/prost/ Frederic Prost homepage - Page personnelle de Frederic Prost]</ref> ]]
'''Frédéric Prost''',<br/>
a French mathematician, chess player, computer scientist and associate professor at [https://en.wikipedia.org/wiki/Laboratoire_d%27Informatique_de_Grenoble Laboratoire d’Informatique de Grenoble] and [https://en.wikipedia.org/wiki/Joseph_Fourier_University Joseph Fourier University] [https://en.wikipedia.org/wiki/Grenoble Grenoble].
His research interests include [https://en.wikipedia.org/wiki/Quantum_programming quantum programming], [https://en.wikipedia.org/wiki/Computer_security IT security], [https://en.wikipedia.org/wiki/Non-interference_%28security%29 non-interference analyses], [https://en.wikipedia.org/wiki/Anonymity anonymity], and in [[Artificial Intelligence|artificial intelligence]], his [[Chess#Variants|chess variant]] proposal [[Twilight Chess]] and engines playing it <ref>[http://membres-lig.imag.fr/prost/Twilight_Chess/index.html Twilight Chess]</ref>, and the game-theoretic value of [[Chess#Variants|chess variants]] <ref>[http://membres-lig.imag.fr/prost/MiniChessResolution/ Mini Chess Resolution]</ref>.
<span id="MinichessSolved"></span>
=Gardner's Minichess Solved=
Along with [[Mehdi Mhalla]], Frédéric Prost [https://en.wikipedia.org/wiki/Solved_game weakly solved] [[Martin Gardner|Gardner's]] [https://en.wikipedia.org/wiki/Minichess#5.C3.975_chess 5x5 Minichess] as published in 2013.
They modified [[Stockfish]] in order to make it play Gardner Chess <ref>[http://membres-lig.imag.fr/prost/MiniChessResolution/Gardner/index.html Gardner Chess Engine] based on [[Stockfish]]</ref>.
Abstract <ref>[[Mehdi Mhalla]], [[Frédéric Prost]] ('''2013'''). ''[http://arxiv-web3.library.cornell.edu/abs/1307.7118 Gardner’s Minichess Variant is Solved]''. [[ICGA Journal#36_4|ICGA Journal, Vol. 36, No. 4]]</ref> <ref>[http://www.open-chess.org/viewtopic.php?f=5&t=2414 Gardner's minichess solved] by [[Mark Watkins|BB+]], [[Computer Chess Forums|OpenChess Forum]], August 29, 2013</ref>:
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|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=
<ref>[http://membres-lig.imag.fr/prost/publications.html Frédéric Prost - Bibliographie personnelle]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/p/Prost:Fr=eacute=d=eacute=ric dblp: Frédéric Prost]</ref>
==2000 ...==
* [[Frédéric Prost]] ('''2000'''). ''[https://ieeexplore.ieee.org/document/855775 A Static Calculus of Dependencies for the lambda-Cube]''. [https://dblp.uni-trier.de/db/conf/lics/lics2000.html LICS 2000]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2005'''). ''Data-Structure Rewriting''. [https://arxiv.org/abs/cs/0503065 arXiv:cs/0503065]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2007'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-73449-9_11 Adjunction for Garbage Collection with Application to Graph Rewriting]''. [https://dblp.uni-trier.de/db/conf/rta/rta2007.html RTA 2007]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2007'''). ''[https://cyberleninka.org/article/n/398219 Modeling Pointer Redirection as Cyclic Term-graph Rewriting]''. [https://en.wikipedia.org/wiki/Electronic_Notes_in_Theoretical_Computer_Science Electronic Notes in Theoretical Computer Science], Vol. 176, No. 1
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2009'''). ''Graph rewriting with polarized cloning''. [https://arxiv.org/abs/0911.3786 arXiv:0911.3786]
* [[Frédéric Prost]] ('''2009'''). ''Twilight Chess. A Chess Variant Designed to Rehabilitate Human vs. Computer Challenge''. [[ICGA Journal#32_2|ICGA Journal, Vol. 32, No. 2]]
==2010 ...==
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]] ('''2011'''). ''Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation ''. [https://arxiv.org/abs/1101.3417 arXiv:1101.3417]
* [[Frédéric Prost]] ('''2012'''). ''On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess''. [https://arxiv.org/abs/1203.3434 arXiv:1203.3434] » [[Alan Turing#Turing Year 2012|Turing-100, Turing Year 2012]]
* [[Mehdi Mhalla]], [[Frédéric Prost]] ('''2013'''). ''Gardner’s Minichess Variant is Solved''. [[ICGA Journal#36_4|ICGA Journal, Vol. 36, No. 4]], [https://arxiv.org/abs/1307.7118 arXiv:1307.7118]
* [https://dblp.uni-trier.de/pers/hd/c/Corradini:Andrea Andrea Corradin]i, [https://genealogy.math.ndsu.nodak.edu/id.php?id=56337 Dominique Duval], [https://dblp.uni-trier.de/pers/hd/e/Echahed:Rachid Rachid Echahed], [[Frédéric Prost]], [https://dblp.uni-trier.de/pers/hd/r/Ribeiro:Leila Leila Ribeiro] ('''2017'''). ''[https://link.springer.com/chapter/10.1007/978-3-319-61470-0_1 The Pullback-Pushout Approach to Algebraic Graph Transformation]''. [https://dblp.uni-trier.de/db/conf/gg/icgt2017.html ICGT 2017]
=External Links=
* [http://membres-lig.imag.fr/prost/ Frederic Prost homepage - Page personnelle de Frederic Prost]
* [https://www.linkedin.com/pub/frederic-prost/5/949/a52 Frederic Prost | LinkedIn]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=95801 The Mathematics Genealogy Project - Frédéric Prost]
* [http://ratings.fide.com/card.phtml?event=615030 Prost, Frederic FIDE Chess Profile]
* [https://www.365chess.com/players/Frederic_Prost Frederic Prost chess games - 365Chess.com]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Chess Player|Prost]]
[[Category:Mathematician|Prost]]
[[Category:Researcher|Prost]]
