I am a seasoned entrepreneur and technology leader with 25+ years of experience in cybersecurity, digital assets, product innovation, and global business leadership.

My journey spans building, scaling, and securing technology ecosystems — from developing and launching original products at Microsoft, BlackBerry, and Samsung, to leading ventures that protect enterprises, governments, and millions of consumers. Today, I serve as Joint MD & Joint CEO of 63SATS, where we are pioneering India’s first Cybersecurity SuperApp with embedded insurance (CYBX) and building advanced solutions through CyberSecurity Force (CSF) for corporates of all scale and CyberDome to safeguard critical national infrastructure.

In parallel, I’ve been deeply engaged in the digital assets revolution, spearheading initiatives in regulated tokenization, blockchain platforms, and digital asset management. My expertise bridges cybersecurity and financial innovation — two industries converging rapidly in a world that demands trust, transparency, and resilience.

Core strengths include:

- Cybersecurity strategy & threat defense
- Digital asset management & tokenization frameworks
- End-to-end product development & scaling
- Strategic partnerships, M&A, and stakeholder leadership

What drives me is the belief that technology, creativity, and collaboration can redefine the future — from securing digital lives to enabling new forms of financial empowerment.

Outside of work, I’m a proud father, global traveler (20+ countries), and a Netflix binge watcher 

Srinivas L

IIT Indore

Researching and teaching: Formal verification, Cyber Physical Systems, IoT and Autonomous Vehicles. Specific research areas include: formal verification, model checking, CTL, autonomous systems. 

Research expertise in:
1. New Systems Design and Development;
2. Modeling for Verification and Analysis of realtime systems;
2. Autonomous vehicles and algorithms (particularly intersection management);
3. IoT protocol development (forward compatible and IoT outage safe);
4. Blockchain applications for digitalisation of governance and businesses

Teaching courses to undergrad, grad and doctoral students and Research supervision.

Associate Professor

Researching and teaching: Formal verification, Cyber Physical Systems, IoT and Autonomous Vehicles. Specific research areas include: autonomous vehicles, formal verification, model checking, CTL.

Attended training in: ISO 26262 and DO178C/EUROCAE12B.

Research focussed on:
1. Verification of algorithms enabling autonomous vehicles with modelchecking (UPPAAL), CTL;
2. Autonomous vehicles and algorithms (particularly intersection management);
3. IoT protocol development (forward compatible and IoT outage safe);

Teaching courses to undergrad, grad and doctoral students

Assistant Professor

Samsung, India

Reporting directly to Managing Director.
i. Intellectual property generation
– One patent-filed in the area of mobile systems. An algorithm to discriminate between system rolled context switching and user-space controls;
ii. Worked on a mobile platforms' common framework for banking solutions;
iii. Liaising with Indian academia for research collaborations, paper reviewing etc.;

Chief Engineer

Cymbient Technologies P Ltd (Rooba.Finance)

IME, SDU Engineering 

Roskilde University

I am on a short term research stay at Roskilde University visiting Professor John Gallagher. My affiliation continues to be with IIT Indore as Associate Professor. During this research visit, working on advancing the applicability of static analysis and abstract interpretation based model checking for analysis systems correctness. It falls under the broad area of formal methods and formal verification. Focus is on analysis of model-based techniques.

Guest Researcher

National Aerospace Laboratories, Bangalore

A. Exploring rigorous mathematical modelling techniques for avionics i.e. embedded systems deployed in aerospace applications:
i. Explored various static analyses and model checking tools applicable to avionics systems;

Scientist Fellow

Multiple

Visited: TIFR Mumbai (Prof. P. Pandya), IIIT Hyderabad (Prof. V. Choppela), GM ISL (FV Lab) Bangalore, TRDDC (Prof. M. Joseph)

Visiting Researcher

Participated in the research efforts under the auspices of the EU-IST-Project titled “Advanced Specialisation and Analysis for Pervasive Systems” (ASAP)
1. ASAP-consortium included:
(i) Computer Science department, University Of Southampton, England, UK,
(ii) Computer Science department, Bristol University, England, UK,
(iii) Computer Science department, Technical University of Madrid, Spain,
(iv) Computer Science department, University of Düsseldorf, Germany and
(v) Computer Science department, Roskilde University, Denmark;
2. Carried out doctoral research in the area of formal verification of embedded systems;
3. Two-month research stay at the Software Engineering Group of Professor     
   Christo Angelov at University of Southern Denmark;
4. Lectured a graduate-level course titled “Introduction to parallel and distributed computing” worth 7.5 ECTS;
5. Supervised semester-level projects worth 15 ECTS each.

Contributions:
1. Developed a framework that makes it possible to verify embedded systems against requirements specified in temporal languages.
Developed tools such as: (i) a static analyser and (ii) an abstract interpretation -based model checker.
2. These tools are built around a state of the art SMT solver (called YICES) and a very efficient constraint library (called Parma Polyhedra Library (PPL)). 
3. Developed systems' software, tools and compilers during the PhD period. Extended the CTL semantics to accommodate the Hybrid systems and built a compiler that translates a visual spec. into constraint model. 
4. Co-authored 5 conference publications

PhD Dissertation
Published by Roskilde University Press with ISSN 0109-9779

Advisor: Professor Dr. John P. Gallagher 

Title: Modelling and Analysis of Real-time Systems with Logic Programming      and Constraints

Key words: Semantics, Model checking, Static analysis, Partial evaluation, Program analysis, Program transformation, Real-time Embedded Systems, Rigorous Software Engg

Doctoral Fellow

Towards:
A European Union – Information Society Technologies - Project titled “Advanced Specialisation and Analysis of Pervasive Systems”.
Duties:
Work package 5 of ASAP project involving Deliverable Nr. 19, specifically towards the Task 5.3 'Analysis of High Level Specification Languages'.

Research Assistant

Universtity of Southern Denmark

TA to graduate students in the laboratory sessions for Mechatronics engg. stream. This involved  introducing the tools such as Atmel AVR micro-controllers programming with IAR WorkBench and GNUGCC compiler.
1. Designed and developed the HARTEXµ kernel with novel Boolean vector data structures and the sophisticated content-oriented message addressing, resulting in a very safe, very fast, yet very small (code foot print< 7KB and data memory < 200 bytes) kernel. This work is undertaken in my MSEngg dissertation. It is accessible via the citeseer link
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=84D11348847CDC13691DFAED09883FCB?doi=10.1.1.118.1909&rep=rep1&type=pdf;
2. Implementation is completely free from in-line assembly code;
3. The kernel (code) is both compatible across different C compilers and   portable across different micro-controllers and
4. The algorithm designed guarantees hard-real-time-functionality with overheads at the scales of less than 3 processor cycles.

M.S.Engg. Dissertation
Title: Scalable Real-Time Kernel For Embedded Systems
Advisor: Professor Dr. Christo Angelov, Head Software Engg. Group, Uni. Of Southern Denmark, Denmark. 

Other Projects:
SLC Static, HARTEX, Embedded programming for Atmel micro-controllers.

Teaching Assistant

> SDV SME, V2X SME, Researcher, Innovator, and Academic
> Developing (SWIFT + EFFICIENT) solutions with Proven Safety
> Trained Scientist, Engineer and Technologist
> SDV: direct DIGITAL twin integration.

Example projects: 
> Software and HW configuration for STM and NXP MCUs
> Medical diagnostics system and device with STM and Rust, also worked on Assisted living systems
> Digital Trust and Accountability systems based on Blockchain Tech stack
> Developed protocols and verification strategies for Autonomous cars
> several practical approaches to safety for ISO 26262. Model-based dev.
> granted patents in the mobile software systems
> FuSa and ISO26262 qualification of systems 

I believe technology makes it possible to solve most, if not all problems, provided systems are engineered  by exploiting the underlying scientific concepts. 

Interested in leadership, managerial, innovation and/or research directorial roles along:
Robotics, (I)IoT, CPS, Mechatronics, Digital Transformation, Autonomy verification, Realtime kernels, Adv. Manufacturing stack,..., "Automation Everywhere" including moonshot efforts. 

Holds an interdisciplinary academic profile (Computer science and engineering, Mechatronics and Mechanical Engineering) propels me to innovate, ideate, conceptualise and realise systems. I am strong in systems engineering, with expertise in both high level design and implementation of a range of systems deployed in real time applications, energy conservation, safety critical analysis, IoT, CPS runtime kernels, etc. 

I have deep knowledge in formal verification and realtime embedded systems, which are going to be at the heart of the technologies that are being developed to address concerns about autonomous medical devices, robotics, self-driving vehicles, safety critical systems. 

As a researcher, manager and supervisor, guided research projects in the areas of medical devices, assisted living systems, autonomous cars, blockchain tech applications for digital governance chore trust framework (taper-proof email ecosystem, health documentation, land registration, etc.), realtime runtime, android stack, ... 

Taught courses to several bright under/gradS and doctoral students.    

Formal qualifications: PhD:Computer Science:Formal verification, MSEngg:Mechatronics:Realtime systems design) and BTech:Mechanical Engg.:Process quality control

Demonstrated achievements: via conference and/or journal publications, two granted patents (in sustainable and green tech), two other in advanced stages (in brain interfaced control and health diagnostics), many NPDs

taplio

The Battle

Srinivas L

Dr Gourinath B.

Followers

Posts

Engagements

Likes

Ready to grow your LinkedIn presence?