Constantine Dymnikov is doing a MSc Thesis with AlexPotanin and DavidPearce working on Ownership Inference. He worked as a research assistant for AlexPotanin and DavidPearce over the 2009/2010 summer on JKit. He worked as a research assistant for DavidPearce over the 2008/2009 summer on JKit. He completed a BSc Honours Thesis in 2008, working on automating non-null checking in Java programs, Co-Supervised by DavidPearce and LindsayGroves.

Publications

• Chris Male, David J. Pearce, Alex Potanin, and Constantine Dymnikov. Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types. Science of Computer Programming (Accepted for publication in 2010).
• Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov. Java Bytecode Verification for @NonNull Types. CC 2008: 229-244