David Halls - Software Engineer at HP

David Halls

Software Engineer at HP

Cambridge, England, United Kingdom

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

David Halls is a seasoned software engineer based in Cambridge with 13 years of professional experience building secure, production-grade systems across kernel, cloud, and application stacks. He currently develops secure remote access solutions at HP, with hands-on work in device enrollment, digital signatures and a Windows kernel driver, and previously designed browser-to-VM isolation and authentication features at Bromium. A prolific open-source contributor, David has improved core projects like Node.js, the WebSocket library ws, PouchDB and the cloud OS OSv, often addressing low-level networking, streams and crypto correctness. His background in research and a Cambridge PhD inform a methodical approach to hard problems—he combines systems-level C/C++ expertise with Node.js ecosystem work and cryptographic fixes. Notably, he has implemented subtle compatibility fixes (syscalls, libc work) to get Node.js running on novel platforms and strengthened RSA and padding implementations in widely used crypto libraries.

13 years of coding experience

23 years of employment as a software developer

A Levels, Maths (A), Physics (A), English (C), A Levels, Maths (A), Physics (A), English (C) at Tideway Comprehensive School

BSc First Class Hons, Computer Science, BSc First Class Hons, Computer Science at University of Southampton

PhD, Computer Science, PhD, Computer Science at University of Cambridge

Github Skills (69)

realtime10

testing10

http10

databases10

websocket10

c1110

rsa10

c1710

mtls10

websockets-client10

encryption10

client-websocket10

couchdb10

javascript10

mqtt10

Programming languages (19)

JavaC++BikeshedCSchemeRustPLpgSQLMakefile

Github contributions (5)

JoshKaufman/ursa

Feb 2013 - Oct 2015

URSA - RSA public/private key OpenSSL bindings for Node.js

Role in this project:

Back-end Developer & Security Engineer

Contributions:19 commits, 6 PRs, 23 comments in 2 years 8 months

Contributions summary:David primarily contributed to the core functionality of the ursa library, focusing on adding and modifying cryptographic padding algorithms, specifically RSA-PSS and PKCS1. They implemented methods for adding and verifying PSS padding, aligning the library with industry standards like JOSE. Further improvements include refactoring and exception handling.

rsaprivate-keynode-jsopenssl-bindingspublic-private-key

moscajs/ascoltatori

May 2013 - May 2016

The pub/sub library for node backed by Redis, MongoDB, AMQP (RabbitMQ), ZeroMQ, MQTT (Mosquitto) or just plain node!

Role in this project:

Back-end Developer

Contributions:67 commits, 1 PR, 14 comments in 3 years

Contributions summary:David primarily focused on enhancing the core functionality of the pub/sub library. They implemented new features, such as allowing options for publish and subscribe methods, and refactored existing code. The user also introduced a new TrieAscoltatore and improved wildcard support. These changes demonstrate a commitment to improving the library's flexibility and overall performance.

redismosquittozeromqmessage-queuemqtt

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.

Request Free Trial