Ashish Mishra

Backend Engineer

https://talent.gravityer.com/ashish-mishra-3

IITH

Key Strengths

Strong academic background in formal methods and software verification, indicated by projects like 'CS64102026' and 'Software-Verification---PONO-with-PDKind'.
Proficiency in functional programming languages (OCaml, Haskell, Standard ML, Coq, ReScript) demonstrated across multiple projects.
Experience with various programming paradigms and languages including Python, Java, C++, Ruby, and Shell.
Exposure to tools and concepts like Makefiles, Yacc, Cython, CMake, and Dockerfile.
Project experience in arbitrary precision arithmetic in Java, showcasing practical application of data structures and algorithms.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects are predominantly academic and research-oriented, focusing on formal methods, verification, and functional programming. While this demonstrates strong analytical and problem-solving skills, there is limited evidence of experience in collaborative team environments, agile methodologies, or large-scale commercial software development, which are often crucial for cultural fit in many industry roles. The single listed work experience as 'Software Engineer' at 'IITH' is current but lacks details on responsibilities or team context. The candidate's experience level is listed as 0, which contradicts the 'Software Engineer' role at IITH, suggesting a potential mismatch in expectations for a senior role.

Soft Skills & Operational Fit

Insufficient data to assess soft skills and operational fit. No psychometric test results or interview feedback provided.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

Software-Verification---PONO-with-PDKind

May 3, 2026 – Present

Software-Verification---PONO-with-PDKind — GitHub repository

View Project

CS64102026

January 17, 2026 – Present

The course repo for the Formal Methods for Software Verification course!

View Project

Hegel-CAV-Artifact

June 27, 2025 – Present

A supporting Artifact for the OOPLSA-Submission

View Project

Arbitrary-Precision-Arithmetic-Java-

April 25, 2025 – May 1, 2025

This repository contain a library for java which implements arbitrary precision arithmetic in Java.

View Project

2025CS1023

March 6, 2025 – April 14, 2025

The public repo for the Software Development Fundamentals class

View Project

Poirot-Supplementary-Material

November 10, 2022 – November 11, 2022

Poirot-Supplementary-Material — GitHub repository

View Project

propsynth

September 20, 2022 – Present

propsynth — GitHub repository

View Project

lambdaCPS

April 27, 2022 – July 14, 2022

lambdaCPS — GitHub repository

View Project

simple-relational-refinement

September 12, 2019 – September 17, 2019

simple-relational-refinement — GitHub repository

View Project

catalyst_ocaml

July 24, 2019 – May 23, 2022

Ocaml version of the Relational Refinement Type

View Project

Key Strengths

Strong academic background in formal methods and software verification, indicated by projects like 'CS64102026' and 'Software-Verification---PONO-with-PDKind'.
Proficiency in functional programming languages (OCaml, Haskell, Standard ML, Coq, ReScript) demonstrated across multiple projects.
Experience with various programming paradigms and languages including Python, Java, C++, Ruby, and Shell.
Exposure to tools and concepts like Makefiles, Yacc, Cython, CMake, and Dockerfile.
Project experience in arbitrary precision arithmetic in Java, showcasing practical application of data structures and algorithms.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills and operational fit. No psychometric test results or interview feedback provided.

Ashish Mishra

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Experience

Projects

Key Strengths

Cultural & Operational Fit