David Korczynski

David Korczynski Email and Phone Number

CEO, ADA Logics, Oxford CS PhD @ ADA Logics
David Korczynski's Location
Oxfordshire, England, United Kingdom, United Kingdom
David Korczynski's Contact Details

David Korczynski work email

David Korczynski personal email

n/a
About David Korczynski

Speciality: writing programs that analyse other programs. Finding bugs. Software security. Coming up with intuitions in places with unknowns.

David Korczynski's Current Company Details
ADA Logics

Ada Logics

View
CEO, ADA Logics, Oxford CS PhD
David Korczynski Work Experience Details
  • Ada Logics
    Ceo
    Ada Logics Jan 2021 - Present
  • Ada Logics
    Co-Founder
    Ada Logics Oct 2018 - Dec 2020
    I lead the company and help execution in all aspects of the business. The main contributions I bring are expertise in software security, computer science and problem solving skills. We offer online and on-site training in our subjects of expertise, including automated vulnerability discovery, software security analysis, reverse engineering, malware analysis, code injections and more.We also offer services and we work in both defensive and offensive sides of security. Our main focus is to integrate tools and techniques that analyse code and applications in our clients' infrastructure. Example of services include: - Perform vulnerability assessment of source code/third party code - Integrate automated vulnerability discovery in CI/CD pipeline - Building custom malware analysis capabilities for tasks like threat intelligence, reverse engineering, and incident response. You should contact us if you: - Have any needs for sophisticated software analysis within your organisation - Would like to integrate large-scale vulnerability discovery within your software development process - Are looking to increase your team's capabilities in software security through training and education - Need advice from world-class R&D experts on software security and automation
  • Bloomberg Lp
    Software Security Architecture, Cto Office
    Bloomberg Lp Oct 2017 - Dec 2020
    New York, Ny, Us
    During the second half of my PhD I stayed on with the Bloomberg team as a remote worker while still doing the PhD fulltime. At Bloomberg I was building tools and techniques for large-scale vulnerability discovery using novel R&D work in the field of program analysis. I continued in this role for two more years following my PhD while building the foundations of Ada Logics.
  • Bloomberg Lp
    Software Security Architecture, Cto Office
    Bloomberg Lp Jun 2017 - Oct 2017
    New York, Ny, Us
    Building tools for large-scale vulnerability disovery. My internship finished with me presenting my work and findings to the CTO of Bloomberg and one of the big non-technical achievements was that the CTO personally came to my desk afterwards to compliment me on my work.
  • University Of California, Riverside
    Research Scholar
    University Of California, Riverside Oct 2016 - Jun 2017
    Riverside, Ca, Us
    Building tools for malware analysis and reverse engineering. Specialised in emulation and information-flow analysis where I worked with Prof. Heng Yin. Our work was published at a top tier security conference venue.

David Korczynski Skills

C Reverse Engineering Assembler Program Analysis Formal Methods Theory Of Concurrency Python Software Verification Malware Analysis

David Korczynski Education Details

  • University Of Oxford
    University Of Oxford
    Computer Science
  • Royal Holloway, University Of London
    Royal Holloway, University Of London
    Msc Information Security
  • It-University Of Copenhagen
    It-University Of Copenhagen
    Bsc Software Development

Frequently Asked Questions about David Korczynski

What company does David Korczynski work for?

David Korczynski works for Ada Logics

What is David Korczynski's role at the current company?

David Korczynski's current role is CEO, ADA Logics, Oxford CS PhD.

What is David Korczynski's email address?

David Korczynski's email address is da****@****ics.com

What schools did David Korczynski attend?

David Korczynski attended University Of Oxford, Royal Holloway, University Of London, It-University Of Copenhagen.

What skills is David Korczynski known for?

David Korczynski has skills like C, Reverse Engineering, Assembler, Program Analysis, Formal Methods, Theory Of Concurrency, Python, Software Verification, Malware Analysis.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.