Skip to main content

David Korczynski

Personal photo - David Korczynski

David Korczynski

Doctoral Student

Leaving date: 6th August 2019


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: