- A Verification Framework for Obstruction, Probability, and Time
- AMAAS 2026
- Joint work with Wissal DAHANI, Jean Leneutre, Vadim Malvone, James Ortiz
- CoBRA: A Cooperative Blockchain Resource Allocation Framework for 6G UAV Networks
- In Processing
- Joint Work with Marciel B. Pereira, Dario Vieira
Ph.D. Student in formal methods