Definition 1.1
Subject

Programming Language Researcher

Axiom 1.0
"Computers are one of the most useless things that humans will ever build."
— Suraj Yadav, computer scientist and mathematician.
Description

I am a self-taught computer scientist and mathematician working as a Programming Languages (PL) Researcher. My work focuses on the compiler design and Implementation.

λ Type Systems⊢ Compiler Design∀ Formal Methods∃ Semantics

Abstract

This website presents the my work, focusing on the theoretical foundations of programming languages. It explores the application of formal methods to practical language design, with a particular emphasis on type safety and compiler correctness.

The collected works herein—comprising documentation, technical guides, and research notes—aim to bridge the gap between abstract theory and concrete implementation, demonstrating how mathematical rigor can inform robust software engineering.

Keywords: Type Theory, Compiler Design, Formal Semantics, PL Research

Content by me, enhanced by Gemini.

Research

Current and past research projects in programming languages and type systems.

View →

Publications

Research papers, conference proceedings, and academic publications.

View →

Expertise

Technical skills, programming languages, and research tools.

View →

Appendix ARecent Documentation

[Index]

Correspondence

This site is a living document. Content is updated iteratively as research progresses.

Department of Computer Science & Mathematics

Independent Research Laboratory

© 2026 Suraj Yadav