Profil personnel
Personal profile
Olivier Bournez est professeur en informatique à l’Ecole Polytechnique. Titulaire d’un doctorat et d’une habilitation à diriger des recherches en informatique, il est spécialiste de la complexité, la calculabilité et de la logique.
Intérêts de la recherche
Qualification académique
HDR (PhD Supervision Credentials)
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
The Domino Problem Is Decidable for Robust Tilesets
Aubrun, N., Blanc, M. & Bournez, O., 1 janv. 2026, Unconventional Computation and Natural Computation - 22nd International Conference, UCNC 2025, Proceedings. Formenti, E. & Manzoni, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-131 17 p. (Lecture Notes in Computer Science; Vol 16364 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Toward higher-order infinite time Turing machines: simulational Γ-machines
Bournez, O., Finkel, O. & Girardot, J., 1 juil. 2026, Dans: Annals of Pure and Applied Logic. 177, 7, 103741.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations
Blanc, M. & Bournez, O., 1 nov. 2025, Dans: International Journal of Foundations of Computer Science. 36, 7, p. 989-1016 28 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
A Universal Uniform Approximation Theorem for Neural Networks
Bournez, O., Cohen, J. & Wurm, A., 20 août 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 345).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Simulation of Turing machines with analytic discrete ODEs: Polynomial–time and space over the reals characterised with discrete ordinary differential equations
Blanc, M. & Bournez, O., 1 janv. 2025, Dans: Journal of Logic and Analysis. 17, p. 1-42 42 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision
Blanc, M. & Bournez, O., 1 févr. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 288).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Solving Discontinuous Initial Value Problems with Unique Solutions Is Equivalent to Computing over the Transfinite
Bournez, O. & Gozzi, R., 1 mars 2024, 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024. Beyersdorff, O., Kante, M. M., Kupferman, O. & Lokshtanov, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 289).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
The Complexity of Computing in Continuous Time: Space Complexity Is Precision
Blanc, M. & Bournez, O., 1 juil. 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 129. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 297).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A Characterisation of Functions Computable in Polynomial Time and Space over the Reals with Discrete Ordinary Differential Equations Simulation of Turing Machines with Analytic Discrete ODEs
Blanc, M. & Bournez, O., 1 août 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 272).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A Characterization of Functions over the Integers Computable in Polynomial Time Using Discrete Ordinary Differential Equations
Bournez, O. & Durand, A., 1 déc. 2023, Dans: Computational Complexity. 32, 2, 7.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs