???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Luis Lopes

Nomes de citação

  • Lopes, Luis

Identificadores de autor

Ciência ID
D215-F8C1-953A
ORCID iD
0000-0001-8273-1357
Formação
Grau Classificação
1999/12/21
Concluído
Ciência de Computadores (Doutoramento)
Especialização em Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
"On the Design and Implementation of a Virtual Machine for Process Calculi" (TESE/DISSERTAÇÃO)
Aprovado por unanimidade
1995/03/01
Concluído
Provas de Capacidade Científica e Aptidão Pedagógica (Curso Técnico Superior Profissional)
Especialização em Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
Muito Bom
1988/09/01 - 1992/06/30
Concluído
Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2008/01/01 - Atual Investigador (Investigação) Universidade do Porto, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
1993/01/01 - 2007/01/01 Investigador (Investigação) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2010 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2000 - 2010 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1995 - 1999 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1993/01/01 - 1995 Assistente Estagiário (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Projetos

Projeto

Designação Financiadores
2020 - Atual SMILES
NORTE-01-0145-FEDER-000020
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluído
2019 - Atual SafeCities
POCI-01-0247-FEDER-041435
Investigador
Universidade do Porto, Portugal
Concluído
2016 - Atual RTS
ON.2/NORTE-07-0124-FEDER-000062
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluído
2016 - Atual SENSING
ON.2/NORTE-07-0124-FEDER-000058
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluído
2021/01/01 - 2025/12/31 INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)
LA/P/0063/2020
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 INESC TEC – INESC Tecnologia e Ciência
UID/EEA/50014/2019
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2015/06/01 - 2018/12/31 FOTOCATGRAF
UTAP-ICDT/CTM-NAN/0025/2014
Rede de Química e Tecnologia Laboratório Associado para a Química Verde, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Aveiro, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro CICECO, Portugal

Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2014/04/21 - 2018/07/31 Hyrax
CMUP-ERI/FIA/0048/2013
Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Carnegie Mellon University, Estados Unidos

Instituto de Telecomunicações Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/03/01 - 2014/08/31 MACAW
PTDC/EIA-EIA/115730/2009
Investigador
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/04/01 - 2013/03/31 Knowledge Discovery from Ubiquitous Data Streams
PTDC/EIA-EIA/098355/2008
Instituto de Engenharia de Sistemas e Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/05/18 - 2011/05/17 Quadro formal para projecto e operação de redes de veículos e sensores em aplicações inovadores de elevado impacto na sociedade
PTDC/EEA-ACR/75242/2006
Centro de Investigação em Sistemas e Tecnologias, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

University of California Berkeley, Estados Unidos

Universidade do Porto Faculdade de Desporto, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/04/30 CALLAS
PTDC/EIA/71462/2006
Investigador responsável
Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Telecomunicações Lisboa, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2001 - 2004 MIMO
POSI/CHS/39789/2001
Investigador responsável
Concluído
2001 - 2004 MIKADO
IST-2001-32222
Investigador
Concluído
1998 - 2001 DICOMO
PRAXIS/C/EEI/12059/1998
Investigador
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Concluído
1995 - 1998 DOLPHIN
PRAXIS/2/2.1/TIT/1577/95
Investigador
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  1. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "JAY: Adaptive Computation Offloading for Hybrid Cloud Environments". 2020.
    10.1109/fmec49853.2020.9144950
  2. Garcia, M; Rodrigues, J; Silva, J; Marques, ERB; Lopes, LMB. "RAMBLE: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds". 2020.
    10.1109/fmec49853.2020.9144881
  3. Rodrigues, J; Marques, ERB; Silva, J; Lopes, LMB; Silva, F. "Video Dissemination in Untethered Edge-Clouds: A Case Study". 2018.
    10.1007/978-3-319-93767-0_10
  4. Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA. "P3-Mobile: Parallel Computing for Mobile Edge-Clouds". 2017.
    10.1145/3069383.3069388
  5. Pinto Silva, PMP; Rodrigues, J; Silva, J; Martins, R; Lopes, L; Silva, F. "Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience". 2017.
    10.1109/icfec.2017.14
  6. Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA. "Towards a middleware for mobile edge-cloud applications". 2017.
    10.1145/3152360.3152361
  7. Silva, N; Marques, ERB; Lopes, LMB. "Streaming sensor data from dynamically reprogrammable tasks running on mobile devices". 2017.
    10.1145/3137133.3137139
  8. Rodrigues, J; Silva, J; Martins, R; Lopes, L; Drolia, U; Narasimhan, P; Silva, F. "Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing". 2016.
    10.1007/978-3-319-39577-7_8
  9. Ferro, G; Silva, R; Lopes, L. "Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks". 2015.
    10.1109/cse.2015.20
  10. Machado, C; Gouveia, C; Ferreira, J; Kovacs, B; Jorge, P; Lopes, L. "An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films". 2014.
    10.1109/icsens.2014.6985018
  11. Neto, E; Mendes, R; Lopes, LMB. "An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks". 2014.
  12. Kirsch, CM; Lopes, L; Marques, ERB; Sokolova, A. "Runtime programming through model-preserving, scalable runtime patches". 2012.
    10.1007/978-3-642-27269-1_18
  13. Martins, F; Lopes, LMB; Barros, J. "Towards the Safe Programming of Wireless Sensor Networks". 2009.
    10.4204/EPTCS.17.5
  14. Ribeiro, P; Pereira, P; Lopes, L; Silva, F. "Plugging Computer Labs to the Grid". 2007.
  15. Martins, F; Salvador, L; Vasconcelos, VT; Lopes, LMB. "MiKO - Mikado Koncurrent Objects". 2005.
  16. Lopes, L; Figueira, A; Silva, F; Vasconcelos, VT. "A concurrent programming environment with support for distributed computations and code mobility". 2000.
    10.1109/CLUSTR.2000.889083
  17. Silva, FMA; Paulino, H; Lopes, LMB. "Di_pSystem: A Parallel Programming System for Distributed Memory Architectures". 1999.
    10.1007/3-540-48158-3_65
  18. Lopes, LMB; Silva, FMA. "Scheduling Algorithms Performance with the pSystem Parallel Programming Environment". 1994.
    10.1007/3-540-58184-7_167
Artigo em revista
  1. Joaquim Silva; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva. "Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds". Software: Practice and Experience (2023): https://doi.org/10.1002/spe.3231.
    10.1002/spe.3231
  2. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds". JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS (2021):
    10.1186/s13677-021-00251-9
  3. Rodrigues, PP; Araujo, J; Gama, J; Lopes, L. "A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks". INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS (2018):
    10.1177/1550147718808239
  4. Silva, N; Marques, ERB; Lopes, LMB. "FLUX: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing". ACM TRANSACTIONS ON SENSOR NETWORKS (2018):
    10.1145/3200202
  5. Lopes, L; Martins, F. "A safe-by-design programming language for wireless sensor networks". JOURNAL OF SYSTEMS ARCHITECTURE (2016):
    10.1016/j.sysarc.2016.01.004
  6. Martins, R.; Lopes, L.; Silva, F.; Narasimhan, P.. "Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems". Proceedings of the ACM Symposium on Applied Computing (2013): 431-438. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877937384&partnerID=MN8TOARS.
    10.1145/2480362.2480449
  7. Ribeiro, P.; Silva, F.; Lopes, L.. "Parallel discovery of network motifs". Journal of Parallel and Distributed Computing 72 2 (2012): 144-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855354933&partnerID=MN8TOARS.
    10.1016/j.jpdc.2011.08.007
  8. Ribeiro, P.; Silva, F.; Lopes, L.. "A parallel algorithm for counting subgraphs in complex networks". Communications in Computer and Information Science 127 CCIS (2011): 380-393. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952509908&partnerID=MN8TOARS.
    10.1007/978-3-642-18472-7_30
  9. Gama, J.; Rodrigues, P.P.; Lopes, L.. "Clustering distributed sensor data streams using local processing and reduced communication". Intelligent Data Analysis 15 1 (2011): 3-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-79551527268&partnerID=MN8TOARS.
    10.3233/IDA-2010-0453
  10. Kirsch, C.M.; Lopes, L.; Marques, E.R.B.; Sokolova, A.. "Runtime programming through model-preserving, scalable runtime patches". Proceedings - International Conference on Application of Concurrency to System Design, ACSD (2011): 77-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052631657&partnerID=MN8TOARS.
    10.1109/ACSD.2011.28
  11. Rodrigues, P.P.; Gama, J.; Araújo, J.; Lopes, L.. "L2GClust: Local-to-global clustering of stream sources". Proceedings of the ACM Symposium on Applied Computing (2011): 1006-1011. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959289297&partnerID=MN8TOARS.
    10.1145/1982185.1982405
  12. Ribeiro, P.; Silva, F.; Lopes, L.. "Parallel calculation of subgraph census in biological networks". BIOINFORMATICS 2010 - Proceedings of the 1st International Conference on Bioinformatics (2010): 56-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956355426&partnerID=MN8TOARS.
  13. Martins, R.; Narasimhany, P.; Lopes, L.; Silva, F.. "Lightweight fault-tolerance for peer-to-peer middleware". Proceedings of the IEEE Symposium on Reliable Distributed Systems (2010): 313-317. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650529379&partnerID=MN8TOARS.
    10.1109/SRDS.2010.43
  14. Ribeiro, P.; Silva, F.; Lopes, L.. "Efficient parallel subgraph counting using G-tries". Proceedings - IEEE International Conference on Cluster Computing, ICCC (2010): 217-226. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649461072&partnerID=MN8TOARS.
    10.1109/CLUSTER.2010.27
  15. Martins, R.; Lopes, L.; Silva, F.. "A peer-to-peer middleware platform for fault-tolerant, QoS, real-time computing". Proceedings of the 2nd Workshop on Middleware-Application Interaction, MAI'2008 - Affiliated with the DisCoTec Federated Conferences 2008 (2008): 1-6. http://www.scopus.com/inward/record.url?eid=2-s2.0-57449084766&partnerID=MN8TOARS.
    10.1145/1394272.1394274
  16. Rodrigues, P.P.; Gama, J.; Lopes, L.. "Clustering distributed sensor data streams". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5212 LNAI PART 2 (2008): 282-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-56049122488&partnerID=MN8TOARS.
    10.1007/978-3-540-87481-2_19
  17. Paulino, H.; Lopes, L.. "A programming language for service-oriented computing with mobile agents". Software - Practice and Experience 38 7 (2008): 705-734. http://www.scopus.com/inward/record.url?eid=2-s2.0-43949111325&partnerID=MN8TOARS.
    10.1002/spe.842
  18. Lopes, L.; Martins, F.; Silva, M.S.; Barros, J.. "A process calculus approach to sensor network programming". 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings (2007): 451-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449099827&partnerID=MN8TOARS.
    10.1109/SENSORCOMM.2007.4394962
  19. Paulino, H.; Lopes, L.. "A mobile agent service-oriented scripting language encoded on a process calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4228 LNCS (2006): 383-402. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750721025&partnerID=MN8TOARS.
    10.1007/11860990_24
  20. Paulino, H.; Lopes, L.. "A service-oriented language for programming mobile agents". Proceedings of the International Conference on Autonomous Agents 2006 (2006): 1294-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-34247192545&partnerID=MN8TOARS.
    10.1145/1160633.1160870
  21. Bettini, L.; De Nicola, R.; Falassi, D.; Lacoste, M.; Lopes, L.; Oliveira, L.; Paulino, H.; Vasconcelos, V.T.. "A software framework for rapid prototyping of run-time systems for mobile calculi". Lecture Notes in Computer Science 3267 (2005): 179-208. http://www.scopus.com/inward/record.url?eid=2-s2.0-23944436421&partnerID=MN8TOARS.
    10.1007/978-3-540-31794-4_10
  22. Paulino, H.; Marques, P.; Lopes, L.; Vasconcelos, V.; Silva, F.. "A multi-threaded asynchronous language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2763 (2003): 316-323. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750689020&partnerID=MN8TOARS.
    10.1007/978-3-540-45145-7_29
  23. Figueira, Á.R.; Paulino, H.; Lopes, L.; Silva, F.. "Distributed typed concurrent objects: A programming language for distributed computations with mobile resources". Journal of Universal Computer Science 9 8 (2003): 745-760. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844496715&partnerID=MN8TOARS.
  24. Martins, F.; Lopes, L.; Vasconcelos, V.T.. "The impact of linearity information on the performance of TyCO". Electronic Notes in Theoretical Computer Science 75 (2003): 43-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944371995&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80778-3
  25. Paulino, H.; Lopes, L.; Silva, F.. "Mob: A scripting language for mobile agents based on a process calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2722 (2003): 40-43. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750741272&partnerID=MN8TOARS.
    10.1007/3-540-45068-8_6
  26. Ravara, A.; Matos, A.G.; Vasconcelos, V.T.; Lopes, L.. "Lexically scoped distribution: What you see is what you get". Electronic Notes in Theoretical Computer Science 85 1 (2003): 61-79. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944401258&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80088-X
  27. Oliveira, L.; Lopes, L.; Silva, F.. "P3: Parallel peer to peer an Internet parallel programming environment". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2376 LNCS (2002): 274-288. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746820623&partnerID=MN8TOARS.
    10.1007/3-540-45745-3_25
  28. Lopes, L.; Vasconcelos, V.T.; Silva, F.. "Fine-grained multithreading with process calculi". IEEE Transactions on Computers 50 8 (2001): 852-862. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035415695&partnerID=MN8TOARS.
    10.1109/12.947014
  29. Lopes, Luis; Silva, Fernando; Vasconcelos, Vasco T.. "Fine grained multithreading with process calculi". Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2000): 217-226. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034498010&partnerID=MN8TOARS.
    10.1109/PACT.2000.888346
  30. Lopes, L; Silva, F; Vasconcelos, VT. "A virtual machine for a process calculus". PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS (1999):
    10.1007/10704567_15
  31. Vasconcelos, V.T.; Lopes, L.; Silva, F.. "Distribution and mobility with lexical scoping in process calculi". Electronic Notes in Theoretical Computer Science 16 3 (1998): 189-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-0012717860&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00142-2
  32. Lopes, L.M.B.; Silva, F.M.A.. "Thread- and process-based implementations of the pSystem parallel programming environment". Software - Practice and Experience 27 3 (1997): 329-351. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031098363&partnerID=MN8TOARS.
    10.1002/(sici)1097-024x(199703)27:3<329::aid-spe90>3.0.co;2-9
Capítulo de livro
  1. Lopes, LMB; Martins, F; Barros, J. "Programming Wireless Sensor Networks". 2009.
    10.1007/978-3-540-89707-1_2
  2. Rodrigues, PP; Gama, J; Lopes, L. "Knowledge discovery for sensor network comprehension". 2009.
    10.4018/978-1-60566-328-9.ch006
Edição de livro
  1. Lopes, L; Zilinskas, J; Costan, A; Cascella, RG; Kecskemeti, G; Jeannot, E; Cannataro, M; et al. Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 InternationalWorkshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part II. 2014.
    10.1007/978-3-319-14313-2
  2. Lopes, L; Zilinskas, J; Costan, A; Cascella, RG; Kecskemeti, G; Jeannot, E; Cannataro, M; et al. Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part I. 2014.
    10.1007/978-3-319-14325-5
  3. Martins, F; Lopes, LMB; Paulino, H. Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers. 2012.
    10.1007/978-3-642-32778-0

Outros

Outra produção
  1. The Mob core language and abstract machine (rev 0.2). 2008. Paulino, Herve; Lopes, LuisM.B..
  2. A Formal Model for Programming Wireless Sensor Networks. 2007. Lopes, LuisM.B.; Martins, Francisco; Silva, MiguelS.; Barros, Joao.
  3. A Calculus for Sensor Networks. 2006. Silva, MiguelS.; Martins, Francisco; Lopes, LuisM.B.; Barros, Joao.