xbreu

Follow

🦥

Alexandre Abreu xbreu

🦥

Follow

PhD Student in Informatics Engineering at University of Porto

16 followers · 20 following

Portugal
in/xbreu

xbreu/docs/readme.md

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 LinkedIn

Popular repositories Loading

formal-methods formal-methods Public

Materials from the Formal Methods for Critical Systems course at FEUP.

Alloy 4 1
amigo-dos-museus amigo-dos-museus Public

Project made for the Algorithms and Data Structures course at FEUP

C++ 1
talpa talpa Public

A simple game where your goal as a mole is to dig a passage between the edges of the board.

Prolog 1 1
mobility-meeting-scheduler mobility-meeting-scheduler Public

Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.

Python 1 1
ContractChecking ContractChecking Public

C# 1
mothership mothership Public

Project made for the Computer Graphics course at FEUP

GLSL