Alexandre Abreu
@xbreu
xbreu@github
------------
Name: Alexandre Abreu
Uptime: 23 years
Location: Brazil -> Portugal
Alma mater: University of Porto
Working on:
- Research fellowship within the framework of project Safe Cities
- Master's degree in Computer Engineering
Learning:
- Formal methods
- Advanced data structures
- Logic programming
- Functional programming
Contacts: E-mail and LinkedInPersonal projects
View all- Loading
Loading
About
Pronounced as: /a.leˈʃɐ̃.dɾi/
Currently, a PhD student at University of Porto. I'm interested in topics such as formal methods, software verification, type theory, programming languages, and functional programming.
Info
Portugal
12:01 PM
Member since November 15, 2021