David Korczynski

David is a security researcher at Ada Logics. His focus is on security automation and program analysis techniques, including fuzzing, symbolic execution and static analysis techniques. To read more about his works, please visit https://adalogics.com