Sarmistha Subhadarshini

Founder

Baleswar, Odisha, India4 yrs 4 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Blockchain enthusiast with hands-on smart contract verification experience.
  • Strong foundation in Mathematics and Computing from IIT Delhi.
  • Proficient in multiple programming languages and tools.
Stackforce AI infers this person is a Blockchain Developer with a strong foundation in Mathematics and Computing.

Contact

LinkedIn

Skills

Core Skills

Smart ContractsKlee

Other Skills

Analytical SkillsAutodesk InventorCompilersData StructuresLLVMLinuxMATLABMicrosoft OfficeParserPoetry WritingProblem SolvingPythonPython (Programming Language)Remix IDEShell Scripting

About

IIT Delhi '25 Blockchain Enthusiast | Maths and Computing | Writing Parser | Coding

Experience

Samsung r&d institute india

Summer Intern

May 2024 – Jul 2024 · 2 mos · Bengaluru, Karnataka, India

Indian institute of technology, delhi

2 roles

Research Intern

Promoted

May 2023 – Dec 2023 · 7 mos

  • Worked on the augmented version of klee to verify smart contracts using symbolic analysis. Extensive use of shell scripting for parameterising the installation procedure. Worked on grammar, lexer files and python.
KLEESmart ContractsShell ScriptingPython

Student

Nov 2021 – Present · 4 yrs 4 mos

Nss iit delhi

Volunteer

Sep 2022 – Present · 3 yrs 6 mos

  • NSS Blog

Mathsoc iitd

Executive

Sep 2022 – Mar 2023 · 6 mos

Education

Indian Institute of Technology, Delhi

Bachelor of Technology - BTech — Mathematics and Computing

Jan 2021 – Jul 2025

Mother's Public School

Senior Secondary Education — PCM

Mar 2019 – Jun 2021

DAV PUBLIC SCHOOL

High School Diploma — CBSE

Feb 2019 – Present

Stackforce found 100+ more professionals with Smart Contracts & Klee

Explore similar profiles based on matching skills and experience

DK

Dr. Nida Khan

Founder & CEO

at Nash FintechX

Luxembourg, Luxembourg8 yrs 7 mos exp
BlockchainEntrepreneurshipFinance
Nidhi Singh

Nidhi Singh

Senior Software Engineer

at Stealth Startup

Bengaluru, India9 yrs 9 mos exp
BlockchainGo (Programming Language)Node.js
Akash Sinha

Akash Sinha

Quantitative Strategist

at Quadeye

New Delhi, India4 yrs 7 mos exp
Harpinder Singh Matharu

Harpinder Singh Matharu

Senior Software Developer

at Infinity Games

Chandigarh, India6 yrs 2 mos exp
Adarsh Kumar

Adarsh Kumar

Blockchain Developer

at Elys Network

Ranchi, India2 yrs 5 mos exp
BlockchainCosmos-SDKRust
PS

Pratyush Singh Chauhan

Smart Contract Developer

at Komet

New Delhi, India9 mos exp
RM

R.M Bala Mano

Hr recruiter

at Vegavid Technology

Calgary, Canada2 yrs 11 mos exp
Human Resources (HR)Recruiting
Sree Ezhil

Sree Ezhil

Blockchain Developer

at Techbank

Coimbatore, India3 yrs exp
ChaincodeHyperledger FabricNode.jsRust (Programming Language)Solana