# Alëna Rodionova

> PhD | TLM, Staff Software Engineer @ Waabi

Location: Boston, Massachusetts, United States
Profile: https://flows.cv/alna

- Motion Planning at Waabi - TLM, Staff SWE
- Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania.
- 20+ papers in major conferences and journals in AI and control theory.
- 2 patents on automated vehicles safety and NN optimization.
- Recipient of the 2022 Charles Hallac and Sarah Keil Wolf Award for best doctoral dissertation, best student paper awards at CDC 2021 and HSCC 2016, best paper finalist at HSCC 2022 and a recipient of the MIT Rising Stars Award.

## Work Experience
### Staff Software Engineer @ Waabi
Jan 2025 – Present | Boston, Massachusetts, United States

### TLM, Motion Planning @ Waabi
Jan 2025 – Jan 2025

### Senior Software Engineer @ Waabi
Jan 2023 – Jan 2025 | San Francisco, California, United States

### Research Assistant @ University of Pennsylvania
Jan 2017 – Jan 2022 | Philadelphia, Pennsylvania, United States
1. Robust planning & control of Cyber-Physical Systems
- Theoretical foundations of temporal robustness
- Temporally-robust control using Mixed-Integer Linear Programming (MILP)

2. Safe trajectory planning for autonomous drones
- Learning-based mission-aware collision avoidance for scalable urban mobility 
- Autonomous drone safety using temporal logic-based trajectory planning

### Research Scientist @ Intel Labs
Jan 2019 – Jan 2019 | Portland, Oregon Area
- Automated driving safety analysis and software integration with RSS Library.
- Automatic exploration of the performance limits of AV safety models using
robustness as a continuous metric of safety.

### Research And Development Scientist @ General Motors
Jan 2018 – Jan 2018 | Greater Detroit Area
Correctness preserving optimization of Deep Neural Networks

### Research Assistant @ Technische Universität Wien
Jan 2015 – Jan 2017 | Austria
Verification, Formal methods, Temporal Languages.


## Education
### Doctor of Philosophy - PhD in Electrical and Systems Engineering
University of Pennsylvania

### Doctor of Philosophy - PhD in Computer Science
Technische Universität Wien

### Master of Science - MS in Mathematics
Siberian Federal University

### Bachelor of Science - BS in Mathematics
Siberian Federal University


## Contact & Social
- LinkedIn: https://linkedin.com/in/alenarodionova
- Portfolio: https://nellro.github.io

---
Source: https://flows.cv/alna
JSON Resume: https://flows.cv/alna/resume.json
Last updated: 2026-03-31