My current focus is on patches and keeping your program correct when applying them. Previously I studied dynamic symbolic execution for my Master's thesis.
Publications can be found here.
