Argentinean-Swiss mathematician (born 1945)
Joos Ulrich Heintz (27 October 1945 - 3 October 2024) was an Argentinean-Swiss mathematician. He was a professor emeritus at the University of Buenos Aires.
Biography.
Heintz was born on 27 October 1945 in Zürich, Switzerland. After studying Mathematics and Cultural Anthropology at the University of Zurich to undergraduate level, he went on to receive a PhD in mathematics in 1982 under the supervision of Volker Strassen. He performed his habilitation in 1986 at the J.W.von Goethe University in Frankfurt am Main where he also studied Turcology and Sephardic history and culture. He was appointed Privatdozent at the J.W. Goethe university Frankfurt am Main. Until his retirement in 2017, he worked as a Full Professor at the University of Buenos Aires and University of Cantabria/Spain and as a Senior Researcher at the National Council for Scientific and Technological Development (CONICET).
Research.
Heintz worked mainly in algebraic complexity theory, computational algebraic geometry, and semi algebraic geometry. For this purpose, he developed with his collaborators, different mathematical tools, e.g. the Bezout Inequality or the first effective Nullstellensatz in arbitrary characteristic. This allowed him and his collaborators to adapt Kronecker's elimination theory to the complexity requirements of modern computer algebra and to prove that all reasonable geometric (not algebraic) computation problems are solvable in PSPACE. Later, he extended these complexity results to polynomial input systems given by arithmetic circuits. The outcome was a worst case optimal probabilistic elimination algorithm with the ability to recognize “easily solvable” input systems which was later implemented by Grégoire Lecerf. Finally, Heintz and his collaborators demonstrated that under fragile and natural assumptions, the worst case complexity of elimination algorithms is unavoidably exponential, independent of the chosen data structure. He applied his results and methods also to mixed integer optimization and foundations of software engineering.
Furthermore, in the field of linguistics, he identified the morphology and phonology of the Turkish languages as a regular language.
In 1987, Heintz founded the Argentinean research group Noaï Fitchas in Buenos Aires. This group was transformed into the international working group TERA (Turbo Evaluation and Rapid Algorithms) with collaborators from several Argentinean, French, Spanish and German universities and research institutions, such as the University of Buenos Aires, CONICET, University of Nice, École Polytechnique at Paris, Universidad de Cantabria (Spain), and Humboldt University at Berlin. Noaï Fitchas was used as a pseudonym for the Argentinean group and numerous influential papers in Computer Algebra were published in the nineties under this name.
Heintz was a member of the editorial boards of several international journals, including the Foundations of Computational Mathematics, Computational Complexity and Applicable Algebra in Engineering, and Communication and Computing, from which he received three best paper awards.
In 2003, Heintz was awarded the Argentinean Konex Medal of Merit.
References.
 ;templatestyles src="Reflist/styles.css" / ;