Skip to content
View lpaggen's full-sized avatar
🌴
On vacation
🌴
On vacation
3 followers · 1 following

Highlights

  • Pro

Block or report lpaggen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lpaggen/README.md

I'm a data scientist currently focused on developing an agentic AI platform for autonomous ship navigation, and in my free time I am developing a static type checker for Python/PyTorch which aims to support modern Python 3.14 syntax. The tool uses Rust and Python and Microsoft Z3 to track tensor dimensions across the project, it's a work in progress but it's coming along nicely, feel free to check it out.

I have professional experience at PwC, at Amazon in Seattle, contributed to a Cisco project, and am now wrapping up an internship at Red2Green, a Dutch company where I'm building the agentic AI platform.

Tech Stack

Python Rust PyTorch Java SQL Z3 Z3 Protocol Buffers Git Linux

Current Interests

Agentic AI Autonomous Systems Static Analysis Tensor Analysis SMT Solving Python 3.14

Gaps in my contribution graph

The gaps can mostly be explained by internships and periods of more intense study. Here's a couple of the last positions I held:

July 2025 - October 2025 : Amazon, Seattle

November 2025 - January 2026: PwC, Brussels

April 2026 - September 2026: Red2Green, Rotterdam

Pinned Loading

  1. portfolio portfolio Public

    Technical projects which (have historically...) landed me jobs

    1

  2. Mega-rapid-Scientific-Computing-Language Mega-rapid-Scientific-Computing-Language Public

    A custom programming language I am designing and writing in my free time

    Java

  3. Python-Dimension-Static-Type-Checker Python-Dimension-Static-Type-Checker Public

    Static type checker for Python implementing Z3 to validate Pytorch tensor dimensions at compile time instead of runtime where possible

    Rust

  4. moos-llm moos-llm Public

    An architecture for integrating LLM reasoning into MOOS-IVP robotics middleware

    Python