Hi, I'm Roshan Sharma
Software Development Engineer at Amazon with expertise in distributed systems and concurrent programming. Published researcher in programming languages and formal verification. Passionate about building scalable applications and solving complex problems.
About Me
A passionate software engineer with expertise in distributed systems and concurrent programming. Published researcher in programming languages and formal verification.
Quick Stats
My journey in numbers
6+
Years Experience
20+
Projects Completed
15+
Technologies
10+
Happy Clients
Current Role
What I'm working on now
Software Development Engineer
Amazon
Aug 2021 - Present
Recent Achievements:
- Reduced P90 latency per request by 72% and heap usage by 29%
- Designed scalable microservice architecture in AWS
- Developed customer onboarding and customization pages for e-Invoice
- Maintained CI/CD pipelines and ECS services for global e-commerce
Core Skills
Technologies and tools I work with
Frontend
ReactTypeScriptAngularJS
Backend
JavaSpring BootASP.NET
Cloud & DevOps
AWSCI/CDECS
Database
DynamoDBMongoDBSQL Server
Featured Work
Explore my research publications and key projects that demonstrate technical expertise in distributed systems, machine learning, and formal verification.
Proving Logical Atomicity using Lock Invariants
PublishedResearch on logical atomicity as a specification format for data structures in concurrent separation logic. Published in arXiv:2304.13898.
Formal VerificationConcurrent SystemsProgramming LanguagesC
View ExternalTaxi Ride Sharing Algorithm
CompletedReal-time ride-sharing algorithm that merges trip requests in under 5 seconds. Analyzed 1M NYC trip data, achieving 30% distance saving.
JavaMySQLAlgorithmsData Analysis
View ExternalBrowser Fingerprinting Detection
CompletedML-based model to detect fingerprinting scripts in websites. Feature extraction from Alexa top 10k sites, 98.55% recall.
PythonMachine LearningDecision TreesLinear Regression
View External