silva.vinicius@dcc.ufmg.br viniciusdasilva@ufmg.br

LaC Rm. 2301 - DCC - UFMG,

6627 Ave. Antônio Carlos,

ICEx Building - Pampulha,

Belo Horizonte, MG, Brazil

Master’s student in Computer Science at PPGCC (Graduate Program in Computer Science) at UFMG (Federal University of Minas Gerais), working at LaC (Compilers Lab), which belongs to DCC (Department of Computer Science), under the supervision of Fernando Quintão Pereira.

Bachelor of Computer Science from the PUCMINAS (Pontifical Catholic University of Minas Gerais), with two years of experience as a researcher in the field of compilers and operating systems. My research interests include containerized environments, code optimization, virtual machines, processor emulators, and interprocess communication.

Linux Kernel Developer at MagaluCloud and Member of the SBC (Brazilian Computer Society), the IEEE and the ACM (Association for Computing Machinery).

### Areas of interest

- Compilers
- Code Optimization
- Operating Systems
- Cloud Computing
- Satisfiability Modulo Theories (SMT)
- Programming Languages
- Static Program Analysis
- Virtualization and Containerization
- Kernel Bypass techniques
- Programming Language Theory λ

Contact me through these social media.