???global.info.a_carregar???
Miguel Oliveira e Silva. He completed his PhD in Computer Engineering in 2007 from the University of Aveiro, a Master's in Electronic Engineering and Telecommunications in 1994 from the University of Aveiro and a Degree in Electronic Engineering and Telecommunications in 1990 from the University of Aveiro. He is an Assistant Professor at the University of Aveiro, being or having been responsible, among others, for several curricular units in the areas of programming, compilers and operating systems. He carries out research on programming languages; concurrent programming; object-oriented programming; application of electronic and computer technology in the automation of ecotoxicology processes; Human-Machine interaction; Multimodality.
Identification

Personal identification

Full name
Miguel Oliveira e Silva

Citation names

  • Oliveira e Silva, Miguel
  • Silva, Miguel

Author identifiers

Ciência ID
4D1E-BA36-7401
ORCID iD
0000-0001-8967-5861

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
English Upper intermediate (B2) Advanced (C1) Upper intermediate (B2) Upper intermediate (B2)
Spanish; Castilian Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2007
Concluded
Doutoramento em Engenharia Informática (Doutoramento)
Universidade de Aveiro, Portugal
"Metodologias e Mecanismos para Linguagens de Programação Concorrente Orientadas por Objectos" (THESIS/DISSERTATION)
Aprovado
2007
Concluded
Engenharia Informática (Doutoramento)
Major in Sem especialidade
Universidade de Aveiro, Portugal
"Metodologias e Mecanismos para Linguagens de Programação Concorrente Orientadas por Objectos" (THESIS/DISSERTATION)
1994/09
Concluded
Mestrado Engenharia Electrónica e Telecomunicações (Mestrado)
Universidade de Aveiro, Portugal
"Biblioteca de Software para Cálculo Matemático e Processamento Digital de Sinal" (THESIS/DISSERTATION)
Muito Bom
1990/07
Concluded
Licenciatura em Engenharia Electrónica e Telecomunicações (Licenciatura)
Universidade de Aveiro, Portugal
"Projecto: Reconhecimento de Voz" (THESIS/DISSERTATION)
16 valores
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2007/09/18 - Current Assistant Professor (University Teacher) Universidade de Aveiro, Portugal
1995/11/27 - 2007/09/17 Assistant (University Teacher) Universidade de Aveiro, Portugal
Projects

Contract

Designation Funders
2020/06/15 - 2023/06/14 Solução de Segurança Abrangente para Pessoas com Afasia
AAL/0006/2019
Universidade de Aveiro, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2012/02/24 - 2014/10/31 Assistente Pessoal para Melhoria da Vida Social de Idosos
AAL/0015/2009
Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Teixeira, A.; Almeida, N.; Pereira, C.; Oliveira e Silva, M.; Vieira, D.; Silva, S.. Applications of the multimodal interaction architecture in ambient assisted living. 2016.
    10.1007/978-3-319-42816-1_12
  2. Silva, S.; Almeida, N.; Pereira, C.; Martins, A.I.; Rosa, A.F.; e Silva, M.O.; Teixeira, A.. Design and development of multimodal applications: A vision on key issues and methods. 2015.
    10.1007/978-3-319-20678-3_11
  3. Pereira, C.; Almeida, N.; Martins, A.I.; Silva, S.; Rosa, A.F.; Oliveira e Silva, M.; Teixeira, A.. Evaluation of complex distributed multimodal applications: Evaluating a TeleRehabilitation system when it really matters. 2015.
    10.1007/978-3-319-20913-5_14
  4. Teixeira, A.; Pereira, C.; Oliveira e Silva, M.; Alvarelhão, J.; Silva, A.; Cerqueira, M.; Martins, A.I.; et al. New telerehabilitation services for the elderly. 2013.
    10.4018/978-1-4666-3990-4.ch006
Book chapter
  1. Teixeira, A.; Rocha, N.P.; Pereira, C.; Pinto, J.S.; Dias, M.S.; Teixeira, C.; Oliveira e Silva, M.; et al. "The living usability lab architecture: Support for the development and evaluation of new ambient assisted living services for the elderly". 477-508. 2015.
Conference abstract
  1. Oliveira e Silva, Miguel; Martins, Rui. "Automated Evaluation of Daphnia Neonate Number and Size in Ecotoxicological Assays". Paper presented in SETAC Europe 33rd Annual Meeting, Dublin, 2023.
  2. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automated Counting, Measuring, and Screening of Zebrafish Embryos". Paper presented in SETAC Europe 33rd Annual Meeting, Dublin, 2023.
  3. Oliveira e Silva, Miguel; Martins, Rui; Abreu, Sizenando. "Automatic Counting of Artemia Nauplii and Cysts - Applications in Marine Ecotoxicology". Paper presented in SETAC Europe 32th Annual Meeting, Copenhagen, 2022.
    Published
  4. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Ecotoxicological assessment of fish reproduction: an automated methodology for egg counting and viability evaluation - case study using zebrafish eggs". Paper presented in SETAC Europe 30th Annual Meeting, Dublin, 2020.
    Published
  5. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Hard counting Made Easy by Automated device in cladoceran bioassays". Paper presented in Society of Environmental Toxicology and Chemistry North America 40th Annual Meeting, Toronto, 2019.
  6. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counting and evaluation in Ecotoxicology assays". Paper presented in SETAC Europe 29th Annual Meeting, Helsínquia, 2019.
    Published
  7. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New approach facing new challenges in Ecotoxicology: D counter". Paper presented in SETAC Europe 28 th Annual Meeting, Roma, 2018.
    Published
  8. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New Technology evaluating Acartia tonsa as a biological model". Paper presented in SETAC Europe 28 th Annual Meeting, Roma, 2018.
    Published
  9. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "D-counter: Automatic Organism Counting and Characterization in Ecotoxicology assays". Paper presented in SETAC EUROPE 27th Annual Meeting, Bruxelas, 2017.
    Published
  10. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counter and characterization in ecotoxicology assays". Paper presented in SETAC Europe 25th Annual Meeting, Barcelona, 2015.
    Published
Conference paper
  1. Rocha, A.P.; Guimarães, A.; Oliveira, I.C.; Nunes, F.; Fernandes, J.M.; Oliveira E Silva, M.; Silva, S.; Teixeira, A.. "Toward Supporting Communication for People with Aphasia: The In-Bed Scenario". 2022.
    10.1145/3528575.3551431
  2. Silva, Miguel. "How to Teach Advanced Courses in Multidisciplinary Areas?". 2016.
    10.21125/edulearn.2016.2133
  3. Oliveira e Silva, M.; Francisco, P.G.. "Contract-java: Design by contract in java with safe error handling". 2014.
    10.4230/OASIcs.SLATE.2014.111
  4. Pereira, C.; Teixeira, A.; Oliveira e Silva, M.. "Live evaluation within ambient assisted living scenarios". 2014.
    10.1145/2674396.2674414
  5. Luz, Nuno; Pereira, Carlos; Silva, Nuno; Novais, Paulo; Teixeira, António; Silva, Miguel Oliveira e; Luz, N.; et al. "An ontology for human-machine computation workflow specification". 2014.
    10.1007/978-3-319-07617-1_5
  6. Teixeira, A.; Pereira, C.; Silva, M.O.E.; Almeida, N.; Pinto, J.S.; Teixeira, C.; Ferreira, F.; Mota, A.. "Health@Home scenario: Creating a new support system for home telerehabilitation". 2012.
  7. Teixeira, A.; Pereira, C.; Oliveira E Silva, M.; Pacheco, O.; Neves, A.; Casimiro, J.. "AdaptO - Adaptive multimodal output". 2011.
  8. Teixeira, A.; Pereira, C.; Oliveira E Silva, M.; Alvarelhão, J.; Neves, A.; Pacheco, O.. "Output matters! Adaptable multimodal output for new telerehabilitation services for the elderly". 2011.
Conference poster
  1. Abreu, Sizenando; Oliveira e Silva, Miguel; Martins, Rui. "Automated evaluation of Daphnia neonate number and size in ecotoxicological assays". Paper presented in SETAC Europe 33rd Annual Meeting, 2023.
  2. Abreu, Sizenando; Oliveira e Silva, Miguel; Martins, Rui. "Automated Counting, Measuring, and Screening of zebrafish embryos". Paper presented in SETAC Europe 33rd Annual Meeting, 2023.
  3. Abreu, Sizenando; Jesus, Fátima; Martins, Rui; Oliveira e Silva, Miguel. "Automatic counting of Artemia nauplii and cysts – applications in marine ecotoxicology". Paper presented in SETAC Europe 32th Annual Meeting, 2022.
  4. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Ecotoxicological assessment of fish reproduction: an automated methodology for egg counting and viability evaluation - case study using zebrafish eggs". Paper presented in SETAC Europe 30th Annual Meeting, 2020.
  5. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Hard counting Made Easy by Automated device in cladoceran bioassays". Paper presented in Society of Environmental Toxicology and Chemistry North America 40th Annual Meeting, 2019.
  6. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counting and evaluation in Ecotoxicology assays". Paper presented in SETAC Europe 29th Annual Meeting, 2019.
  7. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "New Technology evaluating Acartia tonsa as a biological model". Paper presented in SETAC Europe 28 th Annual Meeting, 2018.
  8. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. "Automatic counter and characterization in ecotoxicology assays". Paper presented in SETAC Europe 25th Annual Meeting, 2015.
Journal article
  1. Abreu, Sizenando N.; Jesus, Fátima; Domingues, Inês; Baptista, Filipa; Pereira, Joana L.; Serpa, Dalila; Soares, Amadeu M. V. M.; Martins, Rui E.; Oliveira e Silva, Miguel. "Automated Counting of Daphnid Neonates, Artemia Nauplii, and Zebrafish Eggs: A Proof of Concept". Environmental Toxicology and Chemistry 41 6 (2022): 1451-1458. http://dx.doi.org/10.1002/etc.5323.
    10.1002/etc.5323
  2. Oliveira e Silva, M.. "External dispatch: Yet another object-oriented single and multiple dispatch mechanism". Journal of Object Technology 16 2 (2017): 1-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-85038024739&partnerID=MN8TOARS.
    10.5381/jot.2017.16.2.a1
  3. Oliveira E Silva, M.; Silva, Miguel Augusto Mendes Oliveira e. "Concurrent object-oriented programming: The MP-Eiffel approach". Journal of Object Technology 3 4 (2004): 97-124. http://www.scopus.com/inward/record.url?eid=2-s2.0-2942707828&partnerID=MN8TOARS.
    10.5381/jot.2004.3.4.a6
  4. Kohn, A.F.; Nakano, L.G.M.; Silva, M.O.E.. "A class discriminability measure based on feature space partitioning". Pattern Recognition 29 5 (1996): 873-887. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030150966&partnerID=MN8TOARS.
    10.1016/0031-3203(95)00122-0
Thesis / Dissertation
  1. Ferreira, Hugo Simões. "Veículo autónomo aquático de pequenas dimensões para monitorização ambiental". Master, 2018. http://hdl.handle.net/10773/25912.
  2. Baptista, Filipa Alexandra Lourenço. "Evaluation of the applicability of an electronic device in counting and chromatic differentiation in ecotoxicology assays". Master, 2017. http://hdl.handle.net/10773/22686.
  3. Barros, Pedro Loura. "Linguagem concurrent Contract-Java". Master, 2016. http://hdl.handle.net/10773/21754.
  4. Silva, Miguel Augusto Mendes Oliveira e; Vaz, Francisco. "Software Library ,for Mathematical Calculus and Digital Signal Processing". Master, 2013. http://revistas.ua.pt/index.php/revdeti/article/view/1933.
  5. Francisco, Pedro Filipe do Amaral Goucha. "Contract-Java - design by contract in Java - Contract-Java". Master, 2012. http://hdl.handle.net/10773/11035.
  6. Duarte, Nuno Miguel Almeida. "Monitorização de sinais vitais usando uma consola Nintendo DS". Master, 2009. http://hdl.handle.net/10773/7481.
  7. Silva, Miguel Augusto Mendes Oliveira e. "Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos". PhD, 2007. http://hdl.handle.net/10773/2213.
  8. Silva, Miguel Augusto Mendes Oliveira e. "Biblioteca de software para cálculo matemático e processamento digital de sinal". Master, 1994. http://hdl.handle.net/10773/27409.

Intellectual property

Patent
  1. Oliveira e Silva, Miguel; Abreu, Sizenando; Escadas Ramos Martins; Rui Manuel; Mortagua Velho Da Maia Soares, Amadeu. 2021. "Equipment for chromatic discrimination and counting of organisms". Canada.
    Granted/Issued
  2. Oliveira e Silva, Miguel; Abreu, Sizenando; Escadas Ramos Martins; Rui Manuel; Mortagua Velho Da Maia Soares, Amadeu. 2020. "Equipment for the chromatic discrimination and counting of organisms". United States.
    Granted/Issued
  3. Oliveira e Silva, Miguel; Abreu, Sizenando; Martins, Rui. 2015. "DISPOSITIVO NAVEGÁVEL AUTÒNOMO NÃO TRIPULADO E SUA UTILIZAÇÃO". Portugal.
    Expired

Other

Spin-off company
  1. 2018. RMS - TekenBio, Lda. https://www.tekenbio.pt.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2018/05/17 New approach facing new challenges in Ecotoxicology: D counter SETAC Europe 28 th Annual Meeting
SETAC (Roma, Italy)
2017/05/11 D-counter: Automatic Organism Counting and Characterization in Ecotoxicology assays SETAC EUROPE 27th Annual Meeting
SETAC (Bruxelas, Belgium)
2015/10/27 Proposal for an Object-Oriented Multiple Dispatch Mechanism NOOL 2015 - SPLASH 2015
ACM ( Pittsburgh, United States)
2014/06/20 Design by Contract and Error Handling SLATE’14, Symposium on Languages, Applications and Technologies
Instituto Politécnico de Bragança (Bragança, Portugal)
2006/07/05 Automatic Realizations of Statically Safe Intra-Object Synchronization Schemes in MP-Eiffel First International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages
Universidade de York (York, United Kingdom)