Skip to main content

David Korczynski

Personal photo - David Korczynski

David Korczynski

Doctoral Student

Robert Hooke Building, Parks Road, Oxford OX1 3PR


My research interests span malware analysis and malware detection, and, program analysis and formal methods in general. I like to work at the intersection of theory and applications, and my research vision is to develop new ways of reasoning about malicious software using formal methods. I often enjoy reverse engineering and vulnerability analysis, meaning problem solving in areas of malware analysis, reverse engineering obfuscated code and playing CTFs. In relation to my research I develop tools for binary analysis, both relying on static and dynamic techniques.

I will be visiting Prof. Heng Yin at UC, Riverside in the academic year 2016-2017.

For source code, please visit: