Skip to content
View jsimonrichard's full-sized avatar
⚡
⚡
15 followers · 3 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report jsimonrichard

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
jsimonrichard/README.md

J. Simon Richard

I'm a second-year PhD student at Purdue University. I study how formal methods can improve LLM reasoning — verifying AI-generated code, and using LLMs to make formal methods more accessible.

Interests: LLM reasoning · formal program verification · specification generation · programming languages · agentic software engineering

jsimonrichard.com · CV · LinkedIn · Email

Currently

  • Ph.D. in Computer Science at Purdue (expected 2030) — LLMs & formal methods
  • Graduate Teaching Assistant at Purdue
  • Building tools for agentic software engineering (Agent Dev Lab, hypr-taskspace)

Highlights

  • GRP Intern — Cyber Security, The Boeing Company (2026)

Side projects

  • Agent Dev Lab — TypeScript framework for writing agents as ordinary code, with a live run dashboard
  • Praxis Books — platform for interactive books — write exercises into the manuscript, ship versions like software, and license copies to readers
  • ProseMark — toolkit for WYSIWYM markdown editors (incl. VS Code extension)
  • hypr-taskspace — one Hyprland taskspace per task
  • Alder — unpublished high-assurance language with optional Lean proofs
About this repository

This repo powers jsimonrichard.com. Content in src/content/resume-* feeds the homepage and Typst CV (bun run build → /resume.pdf). Deployed to Cloudflare Workers via GitHub Actions.

Pinned Loading

  1. jsimonrichard jsimonrichard Public

    An online resume and blog built with Astro.

    Astro 1

  2. ProseMark ProseMark Public

    A toolkit for building open-source "What you see is what you mean" markdown editors, like Obsidian or Typora

    TypeScript 70 11

  3. agent-dev-lab agent-dev-lab Public

    A TypeScript framework and studio for developing AI Agents quickly

    TypeScript 2

  4. hypr-taskspace hypr-taskspace Public

    Rust 3

  5. mixed-volumes-n-6-d-2-3 mixed-volumes-n-6-d-2-3 Public

    The official repository for "Mixed volumes of zonoids and the absolute value of the Grassmannian."

    Jupyter Notebook

  6. dotfiles dotfiles Public

    Custom dot files for Arch Linux

    Lua