FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Donald Pinckney

Registered user since Mon 8 Jul 2019

Name:Donald Pinckney
Bio:

Donald is a PhD student at Northeastern University, leading research on understanding and improving the software supply chain, security & malware analysis, and other programming languages and software engineering topics. His recent work includes building MaxNPM, a replacement for NPM which utilizes MaxSMT solvers to optimize various software properties when installing dependencies. In general, Donald enjoys applying programming languages and formal methods techniques to build tools that improve the experiences of software developers.

Country:United States
Affiliation:Northeastern University
Research interests:Programming Languages, Software Engineering, Package Management

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile