Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
-
https://adalogics.com
- Oxford, UK
- https://twitter.com/davkorcz
Highlights
Block or Report
Block or report DavidKorczynski
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse