Skip to content
View greybrunix's full-sized avatar
34 followers · 63 following

Highlights

  • Pro

Block or report greybrunix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
greybrunix/README.md

Hi there 👋 ✨😊🏳️‍🌈✨

Personal Info

I'm Bruno, I hold a BsC in Computer Science and am undergoing a MsC in Informatics at University of Minho.
I'm also, currently, a Research Grant holder at INESC-TEC/HASLab.

What I use

  • EX/VI family of editors
  • emacs
  • i3
  • git
  • Arch Linux

Languages

  • C
  • Haskell
  • Python
  • Java
  • bash and POSIX sh

Academic Pursuits and repos

Interests

  • Data Storage in Distributed Systems
  • Formal Verification and Specification of Computer Programs using Category Theory
    • Application to Distributed/Concurrent Programs
  • Kernel Tracing using eBPF technologies
    • Ring 0 to Ring 3 communication
  • P2P Distributed Systems
  • Security of Distributed Systems

Popular repositories Loading

  1. pf2022 pf2022 Public

    Exercises from the Functional Programming Curricular Unit (2021/2022 UM LCC)

    Haskell 2

  2. Calculo_de_programas Calculo_de_programas Public

    Haskell 2

  3. numericalAnalysis numericalAnalysis Public

    C 2

  4. PLC PLC Public

    Python 2

  5. greybrunix greybrunix Public

    1

  6. Logic-notes Logic-notes Public

    1