Eloi Pereira

Eloi Pereira

Robotics + Sensors + Software + Artificial Intelligence

I’m passionate about engineering large-scale systems with societal impact. I have worked with a wide range of technologies with applications on environmental monitoring, maritime surveillance, military, aeronautics, and pandemic management.

Some of my work milestones

2016 - Present

LEMP – Metrology Laboratory of Portuguese Air Force (PoAF) | Monte Real, Portugal

Head and Chief Engineer (senior officer)

2020 - Present

Smart Pandemic Management Group | Berkeley, California​

Researcher and Senior Software Engineer (remotely)

2018 - Present

Responsible Robotics | Berkeley, California​

Robotics Software Engineer (remotely)

​2006 – 2016

Portuguese Air Force Academy | Sintra, Portugal

Lecturer & Researcher

Education

​2015

University of California | Berkeley, California

Ph.D. in Systems Engineering ​(minor in Electrical Engineering and Computer Science)

2009

Porto University | Porto, Portugal

Masters in Automation, Instrumentation, and Control

2005

Portuguese Air Force Academy & Técnico – Lisbon University | Portugal

Diploma in Electrical and Computer Engineering​ ​(Major in Telecommunications, minor in Power Systems)

Research affiliations

Selected Publications

  • E. Pereira, et al., “BigActors - A Model for Structure-aware Computation,” in ACM/IEEE 4th International Conference on Cyber-Physical Systems, (Philadelphia, PA, USA), pp. 199–208, ACM/IEEE, 2013
  • E. Pereira, et al., “The C3UV Testbed for Collaborative Control and Information Acquisition Using UAVs,” in American Control Conference (ACC), vol. 2, (Washington, DC, USA), pp. 1466 – 1471, IEEE, 2013.
  • E. Pereira, et al., “Unmanned air vehicles for coastal and environmental research,” Journal of Coastal Research, vol. 2009, no. 56, 2009.
  • J. Love, J. Jariyasunant, E. Pereira, M. Zennaro, K. Hedrick, C. M. Kirsch, and R. Sengupta, “CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors,” in 2009 15th IEEE RTAS, (San Francisco, CA, USA), pp. 67–76, IEEE, Apr. 2009.
  • For a full list of publications and peer citations (>240) see ​[google scholar]

Technical skills

Programming languages

  • Python
  • C/C++
  • Scala
  • Java
  • Bash Scripting
  • Matlab/Octave
  • Javascript
  • Haskell
  • METCAL

Robotics

  • ROS
  • Gazebo
  • Mavlink
  • Ardupilot / APM / PX4
  • Piccolo
  • Micropilot

ML & Formal verification

  • Tensorflow
  • Keras
  • Numpy
  • OpenCV
  • Pandas
  • Scikit-learn
  • Streamlit
  • Spin
  • Prism
  • Coq

Systems & Cloud

  • GNU/Linux
  • Azure
  • AWS
  • Docker
  • Git
  • Flask
  • Flask-restful
  • Nginx
  • MongoDB
  • SQL Server

Licenses & Certifications

  • Deep Learning Specialization (Coursera)
  • Machine Learning (Coursera)
  • Self Driving Specialization (Coursera)
  • TensorFlow Specialization (Coursera)
  • Drone Operator (PoAF)

Contact me