cv

General Information

Full Name Bernardo Almeida
Date of Birth July, 1994
Languages English, Portuguese

Education

  • 2019-now
    PhD
    Faculty of Sciences, University of Lisbon, Portugal
    • Title: "Context-free session types: Theory and Practice"
  • 2018
    Master Degree (M.Sc.)
    Faculty of Sciences, University of Lisbon, Portugal
    • Informatics Engineering – Software Engineering
  • 2015
    Bachelor's Degree (B.Sc.)
    Faculty of Sciences, University of Lisbon, Portugal
    • Informatics Engineering

Experience

  • 2020-2021
    (Fall term)
    Teaching assistant
    Faculty of Sciences, University of Lisbon, Portugal
  • 2019-2020
    (Fall term)
    Tutor
    Faculty of Sciences, University of Lisbon, Portugal
  • 2019
    Research
    Faculty of Sciences, University of Lisbon, Portugal
    • Continuation of the development of FreeST programming language
    • Research on context-free session types.
  • 2015-2017
    Software developer
    Vivafit
    • Software development and maintenance (Java & C#).
    • Database management and optimization (MySql & SQL Server).
    • Customer technical support.

Academic Service

  • Conference Volunteering
    • POPL'22, Philadelphia, USA
    • SPLASH'19, Athens, Greece
    • POPL'19, Lisbon, Portugal
  • Other Volunteering
    • Verão@ULisboa 2022, introducing Python to high school students
    • Descobre ULisboa 2020, presenting the courses available at the department of informatics
    • Jobshop 2018, promoting research at LASIGE

Projects

  • 2018-now
    FreeST
    • FreeST is a typed concurrent programming language where processes communicate via message-passing.

Academic Interests

  • Programming languages
    • Type systems
    • Session types
    • Functional programming