About Jimmy Koppel
The effort needed to modify software is frequently far out-of-proportion to the conceptual difficulty; as the year 2000 rolled around, companies spent hundreds of billions to change the number of digits used to store a year. Jimmy has been working on applying techniques from formal methods and program analysis in order to close the gap, beginning by adapting recent research in program repair (automated bug-fixing) for practical use. He has degrees in Computer Science and Mathematics, both from Carnegie Mellon University.
