Avraham Naumovich Trahtman is a mathematician at Bar-Ilan University. In 2007, Trahtman solved a problem in combinatorics that had been open for 37 years, the Road Coloring Conjecture posed in 1970. Wikipedia