2 evolution "https:" "https:" "https:" "https:" "https:" "https:" "UCL" positions at Ecole Nationale de l'Aviation Civile

ROMEO: Radio Occultation pour l'Observation des Méga Feux // ROMEO: Radio Occultation for Mega Fire Observation

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | 6 days ago

the interior of wildfire plumes. This technique could improve our understanding of pyroCb, and potentially provide real-time warnings to ground-based operations to anticipate the development of extreme wildfires

Compilation Formellement Vérifiée d'un Langage de Programmation Orienté Interaction // Formally Verified Compilation of an Interaction-Oriented Programming Language

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | about 2 months ago

for the development of critical systems. However, there has not yet been a lot of effort in formalizing these languages, their semantics or their execution model. The goal of this research project is to