Linkedin

Member

Bernardo Almeida

Profile Picture of Bernardo Almeida
  • Email
    bpdalmeida (at) ciencias.ulisboa.pt
  • Room
    6.3.29
Recent News
Invited talk @ DCC
6 PhD grants for LASIGE students

PAST

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
to
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Deciding the Bisimilarity of Context-Free Session Types. In Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, pages 39-56. Springer International Publishing, 2020 [Biblios]
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido. Mixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. FreeST: Context-free Session Types in a Functional Language, Electronic Proceedings in Theoretical Computer Science, 2019 [Biblios]
Bernardo Pinto de Almeida, Vasco Manuel Thudichum de Serpa Vasconcelos. Uma linguagem de programação com tipos de sessão independentes do contexto. Master's dissertation, 2018 [Biblios]