He is the main architect and implementor of MySQL’s row-based replication, but has also developed the unit testing framework used by MySQL. In the time before starting at MySQL, he has worked with research in formal methods, program analysis, distributed systems, and as developer of C/C++ compilers.