Eloi Pereira
Cyber-Physical Systems (CPS) such as smartphones, wearable devices, and autonomous vehicles are becoming ubiquitous and largely interactive through the internet, opening the doors for large scale networked and collaborative applications. Programming such systems can be a difficult task. The mobility of devices and the dynamic topology of communication networks bring new challenges for developing new scalable and reactive Mobile CPS. 

My research effort brings together the areas of computer science, artificial intelligence and mobile robotics in order to develop new programming models for developing applications over networks of Mobile CPS. The objective is to lift the effects of Mobility and Dynamic Connectivity as first-class citizens, providing means for CPS developers to explicitly model, program and formally analyze them.

My engineering work have been focusing on the design, development, and operation of networked Unmanned Aerial Vehicles (UAV) performing a wide range of missions such as environmental monitoring, maritime surveillance, and environmental sensing. See http://www.eloipereira.com/videos for videos of UAV field exercises.

I have been recently appointed as the Chief and Technical Manager of the Portuguese Air Force Precision Measurement Equipment Laboratory (PMEL). The Portuguese Air Force PMEL, located at Air Force Base No. 5, is responsible for the calibration of the measurement equipment (electrical, RF, mechanical, aircraft-specific, and optics) used in all Portuguese Air Force squadrons and support facilities. My military rank is Major (OF-3).

Research interests: Cyber-Physical Systems, mobile robotics, models of computation, domain-specific languages, collaborative control.