On this page you’ll find details of those people currently involved in the Whiley project. At the moment, the list is quite small … but we’re always looking for more help!!
Dr David J. Pearce (@whileydave)
David is a senior lecturer in computer science at the School of Engineering and Computer Science, Victoria University of Wellington. David started the Whiley project in late 2009, and has been working on getting a stable release ever since!
Bio: David graduated from Imperial College London in 2005, having already taken up a lecturer position at Victoria University of Wellington, NZ. David’s thesis (supervised by Prof. Paul Kelly) was on efficient algorithms for pointer analysis of C, and his techniques have since been incorporated into GCC. His interests are in programming languages, compilers and static analysis. David is particularly interested in tools and languages that eliminate software errors. David has previously interned at Bell Labs, New Jersey, where he worked under Oskar Mencer on compilers for FPGAs; and also at IBM Hursley, UK, where he worked under Robert Berry on profiling systems with the AspectJ development team. You can find more about David on his homepage, including his publications and projects.
Popular Posts