Joris van der Hoeven
From Wikipedia, the free encyclopedia
- Karp Prize (2018)
Joris van der Hoeven | |
|---|---|
 From left: Xiao-Shan Gao, Joris van der Hoeven 2006 | |
| Born | 1971 (age 54–55) |
| Alma mater | Paris Diderot University |
| Awards |
|
| Scientific career | |
| Fields | Computer science, Mathematics |
| Institutions | École Polytechnique |
| Thesis | Asymptotique automatique (1997) |
| Doctoral advisor | Jean-Marc Steyaert |
Joris van der Hoeven (born 1971) is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra. He is the primary developer of GNU TeXmacs.
Joris van der Hoeven received in 1997 his doctorate from Paris Diderot University (Paris 7) with thesis Asymptotique automatique.[1] He is a Directeur de recherche at the CNRS and head of the team Max Modélisation algébrique at the Laboratoire d'informatique of the École Polytechnique.[2]
Research
His research deals with transseries (i.e. generalizations of formal power series) with applications to algebraic analysis and asymptotic solutions of nonlinear differential equations. In addition to transseries' properties as part of differential algebra and model theory, he also examines their algorithmic aspects as well as those of classical complex function theory.
He is the main developer of GNU TeXmacs (a free scientific editing platform)[3] and Mathemagix (free software, a computer algebra and analysis system).[4]
In 2019, van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known multiplication algorithm, allowing the multiplication of -bit binary numbers in time .[5] Their paper was peer reviewed and published in the Annals of Mathematics in 2021.
