Andrzej Ehrenfeucht

from Wikipedia, the free encyclopedia

Andrzej Ehrenfeucht (born August 8, 1932 in Vilnius ) is a Polish-American mathematician and computer scientist . He mainly works in the areas of mathematical logic and bioinformatics .

life and work

Ehrenfeucht studied mathematics at the University of Warsaw and received his doctorate from the Institute of Mathematics of the Polish Academy of Sciences under Andrzej Mostowski . Since 1972 he has been at the University of Colorado at Boulder , where he is Professor of Computer Science and Distinguished Professor of the university.

Ehrenfeucht dealt with mathematical logic and model theory. Here he is known for the technique of Ehrenfeucht Fraïssé games (with the Frenchman Roland Fraïssé from his dissertation in 1950), which allows the equivalence or non-equivalence of structures to be shown in model theory .

The Ehrenfeucht-Mycielski sequence is named after Ehrenfeucht and Jan Mycielski , a binary sequence with pseudo-random properties.

Later he deals in particular with bioinformatics, in particular with the question of information processing in living cells, researching on a broad interdisciplinary basis. He also deals with mathematics education (continuous training for mathematics teachers).

In 2002 he received the Faculty Research Award from the University of Colorado (College of Engineering and Applied Science) and in 2005 the Boulder Faculty Assembly Award. He is a member of the Academia Europaea .

His doctoral students include the bioinformaticians Eugene Myers and David Haussler .

He is married to Ina Tarski, the daughter of Alfred Tarski .

Fonts

  • Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg Computation in living cells: gene assembly in ciliates , Springer, 2004, ISBN 3540407952
  • Patricia Baggett, Andrzej Ehrenfeucht Breaking Away from the Math Book: creative projects for grades K-6 , ISBN 1566762995
  • Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs , World Scientific, 1999. ISBN 9810240422

literature

  • Jan Mycielski , Grzegorz Rozenberg, Arto Salomaa (editors): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht , Lecture Notes in Computer Science, Volume 1261, Springer Verlag 1997

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project
  2. ↑ In 2008 he was co-editor of a commemorative volume to Mostowski: Andrzej Mostowski and Foundational Studies (editor A. Ehrenfeucht, VW Marek, M. Srebrny), IOS Press 2008
  3. ↑ Appointment as Distinguished Professor
  4. ↑ Ehrenfeucht An application of games to the completeness problem for formalized theories , Fundamenta Mathematicae, Volume 49, 1961, pp. 129-141.
  5. ^ Ehrenfeucht, Mycielski A pseudorandom sequence: how random is it? , in American Mathematical Monthly, Volume 99, 1992, p. 373 (in the Unsolved Problems section supervised by Richard K. Guy )
  6. ^ Project Breaking away from the Mathbook
personal data
SURNAME Ehrenfeucht, Andrzej
BRIEF DESCRIPTION Polish-American computer scientist and mathematician
DATE OF BIRTH August 8, 1932
PLACE OF BIRTH Vilnius