Patrick Nappa
Co-Founder at Kashcade
Greater Sydney Area Australia
Summary
🤩
Rockstar🎓
Top SchoolPatrick Nappa is a co-founder and University Medallist in Computer Science with 11 years of engineering experience focused on security, parallelism, and compiler-level performance. He built production GPU compiler expertise at Apple and applies that systems-level rigor to product and engineering leadership at Kashcade. His research and teaching roles at the University of Sydney span operating systems, distributed systems and capstone mentoring, signaling a strong ability to translate theory into robust code. An active open-source contributor, he’s fixed build and dependency issues in the well-known Soufflé Datalog project, demonstrating attention to portability and parallel C++ toolchains. Based in Greater Sydney, he blends academic distinction with startup grit and maintains a personal site (pat.sh) that hints at a playful, experimental approach to engineering.
11 years of coding experience
3 years of employment as a software developer
The University of Sydney
Github Skills (10)
build-system10
c-language10
cprogramming-language10
flet9
testing9
ff9
translators8
datalog8
translator8
logic-programming8
Programming languages (9)
Github contributions (5)
souffle-lang/souffle
Nov 2016 - Dec 2018
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:119 commits, 10 PRs, 22 comments in 2 years 1 month
Contributions summary:Patrick primarily contributed to the codebase by addressing build and dependency issues. Specifically, they added necessary include statements for `cmath` and removed boost dependencies. They also made modifications related to the build process by removing or modifying dependency management and preprocessor directives. Additional commits involved adding and modifying tests within the repository.
logic-programminganalysesc-plus-plusc-programlogic
pnappa/subprocesscpp
Nov 2018 - May 2019
A C++11 idiomatic header-only library for spawning subprocesses.
Contributions:57 commits, 9 PRs, 19 pushes in 6 months
idiomaticcppheaderc-plus-plusc11
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.