Open to opportunities

Derrick Wekesa

@derrickwekesa1

Message

PhD software engineer specializing in functional programming and verification.

Kenya

Message

What I'm looking for

I seek roles where I can apply functional programming and formal verification to production systems, mentor teams, and integrate verification into CI/CD for high-assurance software.

I am a PhD-qualified software engineer focused on building high-assurance software systems using functional programming, type-driven development, and formal verification. I have five years of post-doctoral industry experience applying LiquidHaskell, SMT solvers, dependent typing and annotation strategies to eliminate runtime errors and enforce domain invariants.

I have led architectural migrations from imperative monoliths to modular functional microservices, developed verification tooling and internal annotation libraries, and integrated formal verification into CI/CD pipelines. I mentor engineering teams on safe, maintainable functional designs and publish and speak on practical applications of formal methods in distributed systems.

Experience

Work history, roles, and key accomplishments

Current

Senior Software Architect

Current

Pureuxelles Ltd

Jan 2021 - Present (5 years 2 months)

Led migration from a Java monolith to a modular Scala-based functional microservice architecture, improving concurrency by 45% and integrating LiquidHaskell annotations to eliminate integer overflow and bounds errors.

Haskell Scala Functional Programming SMT Solvers Microservices AWS CI CD

Research Software Engineer

Pureuxelles Ltd

Aug 2018 - Dec 2020 (2 years 4 months)

Implemented static analysis using Z3 SMT solvers and integrated formal verification steps into CI pipelines; built a Rust data-processing pipeline leveraging ownership and procedural macros to enforce memory safety.

Rust Static Analysis Formal Verification GitHub Actions API Security Type Annotations

Education

Degrees, certifications, and relevant coursework

Kirinyaga University

Doctor of Philosophy (PhD), Computer Science

Doctor of Philosophy in Computer Science focused on formal verification of functional annotations in distributed computing; developed a framework mapping functional annotations to verifiable logic constraints.