xbreu

Follow

🦥

Alexandre Abreu xbreu

🦥

Follow

PhD Student in Informatics Engineering at University of Porto

16 followers · 20 following

Portugal
in/xbreu

Block or Report

Block or report xbreu

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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

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
drone-deliveries drone-deliveries Public

Project made for the Artificial Intelligence course at FEUP

Jupyter Notebook 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