Akshay Desai
Frontend DeveloperGoa, IndiaMember since June 25, 2026
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
akaydesai.github.io
July 14, 2020 – September 18, 2022
akaydesai.github.io — GitHub repository
View Projectcongruence-closure
April 25, 2019 – November 17, 2021
Verification of the congruence closure algorithm in Coq using dependent types.
View ProjectPDR-LIA
January 6, 2019 – January 6, 2019
Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton
View Projectmcsv-LTL
September 4, 2018 – September 4, 2018
Simple bounded model checker for LTL(Linear Temporal Logic). (as part of Model Checking and Software Verification coursework.).
View Projectmcsv-CTL
September 4, 2018 – September 4, 2018
Simple CTL(Computational Tree Logic) model checker(as part of Model Checking and Software Verification coursework.).
View ProjectkludgeCMS
September 4, 2018 – September 4, 2018
A(almost complete) rudimentary CMS comissioned for NSS Cell of Goa University in 2014.
View ProjectCultural Fit Analysis
The candidate's projects are heavily academic and research-oriented, focusing on formal methods and logic. While demonstrating strong analytical skills, there is a significant mismatch with a 'Frontend Developer' target role, which typically requires practical experience with modern web frameworks, UI/UX principles, and collaborative development. The project diversity is high in terms of academic topics but low in terms of industry-relevant frontend development.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.