Skip to content
View essentialblend's full-sized avatar
:atom:
On an upskilling break.
:atom:
On an upskilling break.
0 followers · 8 following
  • 04:58 (UTC +01:00)

Block or report essentialblend

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.

Please don't include any personal information such as legal names or email addresses. Maximum 250 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
essentialblend/README.md

Siddharth Nair

I work in the intersection of theoretical computer science and the constructive foundations of mathematics. My work involves robust formalizations of various structures within mathematics and logic using computer aided proof assistants. My main areas of focus are:

  • Formal Methods: Using proof assistants like Agda and Lean to formalize mathematics and reason about software correctness. My MSc thesis involved building a complete, machine-verified formalization of the commutative ring axioms of the integers from first principles

  • C++ Software: Architecting and implementing complex, multi-threaded applications using modern C++23, with a current focus on developing a physically-based renderer (Indus) based on PBRT.org.

  • Computational Optimization: Modeling complex systems using principles from Operations Research to create solvable, optimized mathematical models

I am currently seeking graduate or internship opportunities in R&D, formal methods, scientific computing and any related fields. I'm available at hi@siddharths.space.

Languages and Tools:

cplusplus csharp haskell pythonunreal visualstudio opengl

opengl

essentialblend

essentialblend

Marmoset GIF

Credits: Generated with GitHub Profile Readme Generator

Pinned Loading

  1. ms-thesis ms-thesis Public

    Codebase for my MS thesis formalizing the commutative ring axioms of the integers in Agda

    Agda

  2. shirleytracer shirleytracer Public

    My first attempt at writing a path tracer following Peter Shirley's series.

    C++

  3. project-indus project-indus Public

    My offline multi-threaded path traced renderer Indus, where I try new things from reference texts.

    C++

  4. personal-website personal-website Public

    Repo for my personal website

    CSS