About me
Research Staff Member
Research lab: Watson Research Center (Hawthorne)
Robert Fuhrer is a Research Staff Member at the IBM T.J. Watson Research Center in Hawthorne, NY. Robert currently works in the Program Analysis and Transformation group on advanced refactoring and static analysis. Robert leads the SAFARI project, whose goal is to develop a meta-tooling platform for creating full-featured language-specific IDEs for Eclipse, including editing, navigation, analysis and refactoring. Robert is also a member of the team creating the X10 programming language.
Robert got his Ph.D. in Computer Science from Columbia University in 1999; his thesis "Sequential Optimization of Asynchronous and Synchronous Finite-State Machines" concerned synthesis, optimization and verification of asynchronous circuits, including optimal state minimization, optimal state assignment, and optimal two-level logic synthesis for burst-mode machines. The synthesis and verification software that Robert wrote as part of his thesis has been used in industry (at IBM, HP, and Intel) and in academia as the basis for several graduate courses. Robert published a graduate text with Kluwer Academic Publishers in 2000 based on extensions to that work. Robert received his B.S. from Princeton University in 1984 from the Department of Electrical Engineering and Computer Science.
][
Read more
Last updated 16 Feb 2007