Resume

• Data driven methods for autonomous vehicle obstacle avoidance using mmWave radars.

• Correlation based underwater acoustic  communication methods

White Papers

Block Least Squares Estimation

Cryptography

Transmitted Reference Gold Code Communication

Underwater Acoustics Review

• Signal Processing:

  • Developed LMS and Spectral methods for noise and echo reduction.

  • Developed Fixed-point processing libraries.

  • Developed modulation and demodulation methods for wireless communication; including a software defined auto correlation receiver.

  • General digital filter design.

• Software:

  • Developed complex data and actuation paths between sensors, embedded processors, and cloud server instances.

  • Developed link level software to support full-duplex networking over a half-duplex radio channel.

• Firmware (C/C++):

  • Aggregation of sensor data and commands for the pre-flight check system.

  • Implemented discrete time filters for signal processing.

  • Implemented the landing-camera pipeline from camera to user display.

  • Integration of motor thermal/battery discharge models into the flight simulator pipeline.

• Embedded Linux Development (Python, C):

  • Developed multi-role wifi capabilities to support inflight wireless systems.

  • Created the connection between the operator interface and the on board parameter system.

  • Created automatic firmware downloading system.

  • Created automatic log uploading system.

• UI Development (Android):

  • Developed the in-flight operator interface for in-flight visualization of range estimation, flight data, and landing camera feed.

• Prediction/Modelling:

  • Applied linear regression on flight data to develop motor thermal and battery discharge models.

  • Developed algorithms to predict aircraft range under varying wind, SoC conditions for in-flight navigation assistance.

• Flight Testing CSO:

  • Executed test plans in the field by triggering in-flight events from the ground station.

  • Communicated vehicle status to the rest of the testing team.

  • Troubleshot and resolved in-flight issues by issuing commands, updating parameters, or taking emergency action.

  • Test site planning, setup, and debriefing.

Realizability Testing:

• Developed and formally proved a compositional testing approach.

• Used model checking techniques to test, analyze, and document realizability of formal flight requirements.

• Static analysis driven code generation of flight code.

• General autocoder development.

• ZeroMQ to redesign a many-to-many ground system.

• Ground system UI and API development and maintenance.