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

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 2024Jul 2024 · 2 mos · Bengaluru, Karnataka, India

Indian institute of technology, delhi

2 roles

Research Intern

Promoted

May 2023Dec 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 2021Present · 4 yrs 4 mos

Nss iit delhi

Volunteer

Sep 2022Present · 3 yrs 6 mos

  • NSS Blog

Mathsoc iitd

Executive

Sep 2022Mar 2023 · 6 mos

Education

Indian Institute of Technology, Delhi

Bachelor of Technology - BTech — Mathematics and Computing

Jan 2021Jul 2025

Mother's Public School

Senior Secondary Education — PCM

Mar 2019Jun 2021

DAV PUBLIC SCHOOL

High School Diploma — CBSE

Feb 2019Present

Stackforce found 100+ more professionals with Smart Contracts & Klee

Explore similar profiles based on matching skills and experience