From 1999 to 2002 Professor Richard Trefler was a senior member of technical staff at AT&T Labs - Research in Florham Park, New Jersey. He worked on the application of automated reasoning tools to the development of reliable software communications systems and in particular to Internet based telephony systems.
In 2006 Professor Trefler was an invited speaker and guest scientist at the 2006 Logic and Algorithms Programme at the Isaac Newton Institute for the Mathematical Sciences, Cambridge University, Cambridge, in the United Kingdom. He and his co-authors won the Best Paper Award at the 2002 IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), for their work: Visual Specifications for Modular Reasoning About Asynchronous Systems.
In addition, Professor Trefler and his co-authors won the Best Paper Award at the 2002 Cadence Technical Conference for their work: Modular Timing Diagrams.
In the summer of 1998 and during his Ph.D. studies, Professor Trefler was invited to be a guest scientist at Siemens Corporate Technology in Munich, Germany. He developed model checking tools based on abstraction methods and investigated their applicability to hardware and software systems being developed at Siemens.