• https://www.linkedin.com/in/ohpauleez/
• https://github.com/ohpauleez
• https://twitter.com/ohpauleez
• https://mastodon.social/@ohpauleez / @ohpauleez@mastodon.social

My focus is primarily in Distributed and Cognitive computing. I use formal methods / lightweight formal methods in industry.

I’m a member of the ACM Global Practitioners Committee and the Kevel representative on the W3C Advisory Committee (I’m an editor on the Interoperable Private Attribution Spec).