• Ph.D. in Engineering, UC Berkeley
    • Major: Systems engineering
    • Minors: Computer Science and Electrical Engineering
    • Thesis: Mobile Reactive Systems over Bigraphical Machines - A Programming Model and its Implementation
    • Committee: Prof. Raja Sengupta (adviser), Prof. Edward Lee, Prof. Alexandre Bayen  
  • Master in Automation, Instrumentation and Control, University of Porto
    • Thesis: Cooperative Control of Unmanned Aerial Vehicles
  • Licentiate in Electrical Engineering, Portuguese Air Force Academy/University of Lisbon
    • Major: Telecommunications
    • Minor: Power systems
    • Thesis: DPSK Modulation Schemes for Ultra Dense WDM Communication 
Research Interests
  • Mobile robotics
  • Cyber-Physical Systems
  • Models of Computation
  • Domain-Specific Languages
  • Formal Verification
  • Collaborative Control
Research Projects
  • Projecto Seagull (2014 - 2015)
    • Portuguese Air Force/Critical Software 
    • Funded by QREN
    • Responsibilities: researcher, software engineer, embedded systems
  • Cyber-Physical Cloud Computing (2012 - 2015)
    • UC Berkeley/University of Salzburg 
    • Funded by the National Science Foundation 
    • Responsibilities: graduate student researcher, software engineer, control engineer
  • Center for Collaborative Control of Unmanned Vehicles (2010 - 2011) 
    • UC Berkeley
    • Funded by the Office of Naval Research
    • Responsibilities: graduate student researcher, software engineer;
  • PITVANT - Research and Technologies Project on Unmanned Air Vehicles (2008 - 2015) 
    • Portuguese Air Force Academy/Porto University
    • Funded by Portuguese Ministry of Defense
    • Responsibilities: researcher, software and control engineer
  • AsasF - Unmanned Air Vehicles Project (2006-2008)
    • Porto University
    • Funded by Fundação para a Ciência e Tecnologia
    • Responsibilities: graduate student researcher, software and control engineer
  • ANTEX - Experimental Unmanned Aircraft (2006 - 2008)
    • Portuguese Air Force Academy
    • Responsibilities: researcher, control engineer, communications engineer
  • SHOTS - Super High-capacity Optical Transmission Systems (2005 - 2005)
    • Institute of Telecommunications/Technical University of Lisbon
    • Funded by Fundação para a Ciência e Tecnologia
    • Responsibilities: undergraduate student researcher
Former collaborations

[1] Eloi Pereira. Mobile Reactive Systems over Bigraphical Machines - A Programming Model and its Implementation. PhD thesis, University of California at Berkeley, 2015. [ bib | .pdf ]
[2] E. Pereira, C. Krainer, P. Marques Da Silva, C.M. Kirsch, and R. Sengupta. A runtime system for logical-space programming. In Proc. Workshop on the Swarm at the Edge of the Cloud (SWEC), April 2015. [ bib | .pdf ]
[3] Michele Sevegnani and Eloi Pereira. Towards a bigraphical encoding of actors. In to appear at the proceedings of the 1st International Workshop on Meta Models for Process Languages (MeMo 2014), Berlin, Germany, 2014. [ bib | .pdf ]
[4] Eloi Pereira, Pedro Marques, Clemens Krainer, Christoph M. Kirsch, Jose Morgado, and Raja Sengupta. A Networked Robotic System and its Use in an Oil Spill Monitoring Exercise. In Swarm at the Edge of the Cloud Workshop (ESWeek'13), volume 2, pages 1-2, Montreal, QC, Canada, 2013. [ bib | .pdf ]
[5] Eloi Pereira, Karl Hedrick, and Raja Sengupta. The C3UV Testbed for Collaborative Control and Information Acquisition Using UAVs. In American Control Conference (ACC), volume 2, pages 1466 - 1471, Washington, DC, USA, 2013. IEEE. [ bib | .pdf ]
[6] Eloi Pereira, Camille Potiron, Chirstoph M. Kirsch, and Raja Sengupta. Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach. In 2013 IEEE International Systems Conference (SysCon), pages 442-447, Orlando, FL, USA, April 2013. IEEE. [ bib | DOI | .pdf ]
[7] Eloi Pereira, Christoph M. Kirsch, Raja Sengupta, and João Borges de Sousa. Bigactors - A Model for Structure-aware Computation. In ACM/IEEE 4th International Conference on Cyber-Physical Systems, pages 199-208, Philadelphia, PA, USA, 2013. ACM/IEEE. [ bib | .pdf ]
[8] E. Pereira, C. Kirsch, and R. Sengupta. Computation over worlds with dynamic structure. In 3rd International Workshop on Bigraphs, February 2013. [ bib | .pdf ]
[9] Christoph Kirsch, Eloi Pereira, Raja Sengupta, H Chen, R Hansen, J Huan, F Landolt, M Lippautz, A Rottmann, R Swick, and Others. Cyber-Physical Cloud Computing: The Binding and Migration Problem. In Proceedings of the Design, Automation and Test in Europe - DATE2012, Dresden, Germany, 2012. [ bib | .pdf ]
[10] Eloi Pereira and Raja Sengupta. An Algebraic Model of Computation for Systems with Dynamic Structure. In IADIS Applied Computing'12, Madrid, Spain, 2012. IADIS. [ bib | .pdf ]
[11] Raja Sengupta, Robert Hansen, Eloi Pereira, J Huang, Christoph M. Kirsch, H Chen, F Landolt, M Lippautz, A Rottmann, R Swick, R Trummer, and D Vizzini. Cloud Computing on Wings: Applications to Air Quality. In Proc. American Astronautical Society Guidance and Control Conference (AASGNC), pages 1-17, Breckenridge, CO, USA, 2012. AAS. [ bib | .pdf ]
[12] Eloi Pereira and João Borges de Sousa. Reallocations in teams of UAVs using dynamic programming and mixed initiative interactions. In IEEE Autonomous and Intelligent Systems, number 1, Povoa do Varzim, Portugal, 2010. IEEE. [ bib | .pdf ]
[13] Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, Karl Hedrick, Christoph M. Kirsch, and Raja Sengupta. CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. In 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 67-76, San Francisco, CA, USA, April 2009. IEEE. [ bib | DOI | .pdf ]
[14] Eloi Pereira. Collaborative control of unmanned aerial vehicles. Master's thesis, School of Engineering, University of Porto, 2009. [ bib | .pdf ]
[15] Eloi Pereira, Ricardo Bencatel, Joao Correia, Luis Felix, Gil Gonçalves, Jose Morgado, and João Borges de Sousa. Unmanned air vehicles for coastal and environmental research. Journal of Coastal Research, 2009(56), 2009. [ bib | .pdf ]
[16] Eloi Pereira and João Borges de Sousa. Dynamic reallocation in teams of Unmanned Air Vehicles. In AIAA Conference Unmanned... Unlimited, pages 1-9, Seattle, WA, USA, 2009. AIAA. [ bib | .pdf ]
[17] Ricardo Bencatel, Joao Correia, João Borges de Sousa, Gil Gonçalves, and Eloi Pereira. Video tracking control algorithms for unmanned air vehicles. In ASME Dynamic Systems and Control Conference, Ann Arbor, MI, USA, 2008. ASME. [ bib | .pdf ]
[18] Eloi Pereira, Pedro Garcia, and Adolfo Cartaxo. Optimization of MUX and DEMUX Bandwidths for 40 Gb/s/channel Ultra Dense WDM NRZ-DPSK Transmission Systems. In III International Symposium on Enabling Optical Networks, pages 1-5, Aveiro, Portugal, 2005. [ bib | .pdf ]

Click here for a list of publications with abstracts