Listings & Recognitions of results  

Internet Encyclopedia "Wikipedia", an article "Avraham Trahtman",
also is mentioned in some other articles of "Wikipedia" in several languages.

Encyclopedia Britannica.

Encyclopedia Britannica 2009 - Book of the Year


Encyclopedia Britannica Australia.


MacTutor History of Mathematics, Biographies


Wolfram Research Mathematica


Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken

 Road Coloring Problem: Theorem, Conjecture, Synchronization,

Instruction, Symbolic Dynamics, Maze, Avraham Trahtman

Publisher: Vdm Verlag Dr. Mueller Ag & Co. Kg (2010)


Israeli Mathematicians: Adi Shamir, Giulio Racah, Saharon Shelah,

Zlil Sela, Robert Aumann, Michael O. Rabin, Oded Schramm, Avraham Trahtman

Publisher: Books LLC (Editor) (September 15, 2010) ISBN-10: 1156843480

Timeline Israel 1961-1995 (1970)
Timelines (1970)

New Scientist, 186 (2495), 2005, London
Pearce F., Pyramids of dew 52-53

Who'sWho in the World. 2006-2008
Marquis Who's Who, 23th-28th Ed., NY

Dictionary of International Biography
33th Ed., London, 2006

The Times (4 March 2009). M du Sautoy, Sexy maths: ditch the GPS, just follow the colour code,

The Guardian (Friday 21 March 2008). A Heller, Security guard solves 38-year-old maths poser,

The Telegraph (21 March 2008). R Highfield, Directions from anywhere: maths problem solved,

The. Jerusalem Post (8 February, 2008) J Siegel-Itzkovich, Russian immigrant solves math puzzle,

Haaretz Newspaper (20 March 2008).Israeli ex-security guard solves 38-year-old math problem
Math in Media, AMS, 03.08
Associated Press, Aron Heller, 20.03.08

The Canadian Press, Aron Heller, 20.03.08

Ediot ahronot, N. Mozgovaja, 06.02.08
International Herald Tribune, 20.03 08

BBC News, spanish, Mundo, 12.02.08

The Herald, 22.03.08

Math Gateway of AMS, 25.02.08

 IsraelNN, AruzSheva, Hillel Fendel, 07.02.08

The Epoch Times, in China, 23.03.08
Physics Today, 21.03.08
 Millennium Mathematics Project, University of Cambridge. 11.04.08

Hacofe, Hadar Rabid, 24.02.08
Evreiskij mir USA, 08.02.08
BecomingJewish, 10.02.08
 IsRealli, Israel official, 14.02.08
Israel 21C, Karin Kloosterman. 18 02 2008.

Neue Zürcher Zeitung, George Szpiro, Wie man auf Irrwegen ans Ziel gelangt, 30.03.2008

Kristeling Dagblat, 12.02.08
Red Cubana, Cuba, 13.02.08
 CloudWatcher, 09.02.08

ProphecyNewsWatch, 09.02.08
Forex Times, 18.02.08, 09.02.08
 Itogi, N9, Astakhova, 06.03.08
Nauka v sviti, Ukraina 22.03.08
 Izvestia, D. Varlamova, 04.04.08
Novosti, 10.04.08
 REN TV, 04.06.08
Belfast Telegraph 21.03.08
Contemporary Centrist, 21.03.08
 Deccan Herald 21.03.08
Izmirdeyasam, 22.03.08
and other information in dozen of languages

CITATION of the publications

ROAD COLORING, ArXiv downloads



Prof.  Dr.  Avraham Trahtman

Math. Dep., Bar-Ilan University, 52900, Ramat-gan, Israel
Home: Panama Street 6/24, 96587, Jerusalem, Israel

Academic interests

Algebra, finite automata, water problems, algorithms, computing.


1962-1967 Ural State University, Mathematics, degree II, 1967.
1970-1972 Ural State University, Mathematics, degree III,1973.
1977 Ural Technical University, certification as associate professor (docent).

Work experience

1995- present Bar-Ilan University, Department of Mathematics and Computer Science.
1994-1995 Hebrew University - Lecturer, Pre-education Department

1991-1992 Assistant professor, Sverdlovsk Pedagogical University, Department of Mathematics.
1969-1984 From assistant to associate professor, Department of Computational Mathematics,

Ural Technical University.

                                                     Academic Teaching

1995-present Bar-Ilan University - Courses in discrete mathematics,theory of sets, algebra, analitical geometry, mathematical logic, finite automata, formal languages, rings and modules, differential equations, applied algebra.
1991-1992 Sverdlovsk State Pedagogical Institute - Courses in algebra and its applications, finite mathematics.
1969-1984 Ural Technical University - Courses on high mathematics,linear algebra, applied mathematics, general algebra, statistics,discrete mathematics.


Creation of package TESTAS for verification of local testability and its generalizations (threshold, right, left, bilateral, piecewise and other) for both transition graphs of automata and transition semigroups, for checking synchronizability and finding synchronizing words, for finding transition semigroup of automaton.
The C/C++ compact package TESTAS is mentioned on home pages of several prominent CONFERENCES among the embedded systems for manipulating automata.
See  htpp://


English, German, Hebrew, Russian, Polish.