Umesh Kumar

Software Engineer

Mumbai, Maharashtra, India5 yrs 9 mos experience

Highly Stable

Key Highlights

Experienced in Digital Product Development and Software Certification.
Strong background in Anomaly Detection and Object Detection.
Proven ability in Robustness of Timed Automata analysis.

Stackforce AI infers this person is a Software Engineer with expertise in Digital Product Development and Robustness Analysis.

Contact

Skills

Core Skills

Digital Product DevelopmentSoftware CertificationRobustness Of Timed Automata

Other Skills

AWS CloudFormationAnomaly DetectionAutomated Feature EngineeringC++ClassifiersCode ReviewCoding PracticesComputer LiteracyComputer ScienceConvolutional Neural Networks (CNN)CorrelationDatabase DesignDevice IntegrationHardware ProgrammingHierarchical Clustering

Experience

5 yrs 9 mos

Total Experience

5 yrs 9 mos

Average Tenure

Current Experience

Samsung electronics

Software Engineer

Oct 2019 – Jul 2025 · 5 yrs 9 mos · South Korea

User ControlsAnomaly DetectionCoding PracticesDigital Product DevelopmentDatabase DesignHardware Programming+25

Lsv

Internship

May 2017 – Jul 2017 · 2 mos

Studied Robustness of Timed Automata with Prof Paul Gastinwhich can be used tomodel and analyse the timing behavior of computer systems. Reduced path robustness check to emptiness test and proposed construction for establishing equivalence between Updatable and Classical TA.