Skip to content
View lpaggen's full-sized avatar
🌴
On vacation
🌴
On vacation
2 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.

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

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

    C++