Expertise
Flight dynamics and Control
Aircrafts, Spacecrafts and Rotorcrafts :
- Simulation of flight dynamics of commercial aircrafts, fighter planes and spacecrafts
- Scalable containerized solutions using Docker, K8s on Azure, AWS and GCP
- Classical, LQG, Robust and MPC controller design using Matlab and Python
Flight standards and guidelines
- Regulatory standards for mission critical systems
- DO-178B and DO-178C compliance
- Special focus on Levels A and B for DO-331 and DO-330 compliance
- ISO 26262, IEC 61508 and IEC 62304 compliance
Formal Methods
Property verification using temporal logic
- Embedded controller code verification
- Flight mode logic safety
- Tools : Alloy, TLA+, PVS, Coq and Keyamera
Enterprise Architecture
- Digital transformation for large enterprises
- TOGAF, DODAF and Pragmatic EA frameworks
- Domain driven design, Reactive design; Object oriented and functional paradigms
- Tools : Archimate, BPMN and UML
Software Defined Networking
- Cloud networking, O-RAN implementations
- Software design for overlay and P2P network technologies