Akshay Mambakam

Data Scientist

Hyderabad, Telangana, India6 yrs 3 mos experience

Highly Stable

Key Highlights

PhD in formal methods and runtime verification.
Developed algorithms for healthcare anomaly detection.
Experience in embedded software for automotive systems.

Stackforce AI infers this person is a Data Scientist with expertise in healthcare and automotive software development.

Contact

Skills

Core Skills

Computer ScienceSignal ProcessingEmbedded Software

Other Skills

ScriptingC++BashDeep LearningBisonFlexDigital Signal ProcessorsVectorizationSIMDRISCMicroarchitectureWritingEngineeringData StructuresSoftware Development

About

Researcher with a PhD in the field of formal methods and runtime verification with focus on timed specifications and systems. Previous industry experience of one year developing Embedded Software for Deep Learning modules. My thesis is accessible at: https://theses.hal.science/tel-04395793

Experience

Qylis

Data Scientist

Sep 2024 – Nov 2025 · 1 yr 2 mos · Hyderabad, Telangana, India · On-site

Université grenoble alpes

Doctoral Candidate

Sep 2019 – Sep 2023 · 4 yrs · Grenoble Area, France

Developed algorithms to compute solutions satisfying opposite constraints using queries exploiting the ideas of monotonicity and Pareto optimality. Examples of opposite constraints can be expected profit versus the involved risk while investing or false positives versus false negatives while detecting heart pulse patterns.
Added new features to Signal Temporal Logic and developed C++ tools and algorithms for monitoring Parametric Signal Temporal Logic and Parametric Timed Regular Expressions. Used the tools to detect anomalies in human heart and dangerous situations during ship navigation.

ScriptingComputer Science

Texas instruments

2 roles

Software Engineer

Jul 2018 – Aug 2019 · 1 yr 1 mo · Bangalore

Developed Deep Learning software for Advanced Driver Assistance Systems. Used proprietary Streaming Engine and DMA to develop efficient software for computing various types of neural network layers during inference.

ScriptingBashEmbedded Software

Intern

May 2016 – Jul 2016 · 2 mos · Bengaluru Area, India

Developed a tool for automated translation of machine code. Compiler tools like Bison and Flex were used along with boost regular expression libraries to ease the task.

ScriptingBash