Skip to content
View greybrunix's full-sized avatar
31 followers · 55 following

Highlights

  • Pro
Block or Report

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 and I study Computer Science at UMinho.

What I use

  • EX/VI family of editors
  • emacs (Witchemacs)
  • dwm
  • git
  • bash and dash

Languages

  • C
  • Haskell
  • Python
  • Java

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

  1. Calculo_de_programas Calculo_de_programas Public

    Haskell 3

  2. pf2022 pf2022 Public

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

    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