Hello World
Who am I?
I am Bruno Dias da Gião, currently a student in UMinho's
Computer Science Bachelor's degree and am a research grant holder with
INESC-TEC/HASLab's Distributed Storage group.
Current Projects
Summary
- BPF CO-RE research
- Parser for Literate C Programming
- Development of a text editor using UNIX's System call API
- Command line book progress tracker
Finished Projects
Summary
- Stack-Based "Calculator" in C
- IPC-Based Server/Client for handling Data Storage
- Exercise-Based Project that tested on Formal Methods, namely
Mutual Recursion and Monadic Programming (Haskell)
- Exercise-Based Project that tested on Networking, namely
WAN, LAN and WIFI, IP packets and TCP/UDP analysis via
WireShark and CORE
- Program that converts a CSV file with "Lists" into a
JSON file, it also allows for aggregation functions over
said lists (Python/re)
- Creating a Compiler for a custom language in a
stack based virtual machine (Python/PLY)
- Assisted in teaching Haskell twice to High School students at Uminho's
"Verão no Campus" with ENSICO.
Proficiency
Tools/Software
- GNU/Linux
- Vi(m)
- Emacs
- Bash, dash
- git
Languages
- C
- Haskell
- Python
- Java
- LaTeX
Academic Interests
- P2P Distributed Systems
- Data Storage in Distributed Systems
- Kernel Tracing in Distributed Systems and it's applications to Distributed Storage (e.g. HPC and Cloud)
- Distributed Databases
- Formal Verification and Formal Specification of Distributed applications
- Compiler Design and Programming Language Design
