---
layout: about
title: about
permalink: /

profile:
  align: rigth
  image: silvavini.jpg
  

  image_circular: false # crops the image to make it circular
  more_info: >
    <div style="width: 350px">
      <a href="mailto:silva.vinicius@dcc.ufmg.br">silva.vinicius@dcc.ufmg.br</a>
      <a href="mailto:viniciusdasilva@ufmg.br">viniciusdasilva@ufmg.br</a>
      <p>LaC Rm. 2301 - DCC - UFMG,</p>
      <p>6627 Ave. Antônio Carlos,</p> 
      <p>ICEx Building - Pampulha,</p>
      <p>Belo Horizonte, MG, Brazil</p>
    </div>
news: false # includes a list of news items
selected_papers: false # includes a list of papers marked as "selected={true}"
social: true # includes social icons at the bottom of the page
---
<p style="text-align: justify; text-justify: inter-word;">
Master’s student in Computer Science at <a href="https://ppgcc.dcc.ufmg.br/">PPGCC</a> (Graduate Program in Computer Science) at <a href="https://ufmg.br/">UFMG</a> (Federal University of Minas Gerais), working at <a href="https://lac-dcc.github.io/">LaC</a> (Compilers Lab), which belongs to <a href="https://dcc.ufmg.br/">DCC</a> (Department of Computer Science), under the supervision of <a href="https://dcc.ufmg.br/professor/fernando-magno-quintao-pereira/">Fernando Quintão Pereira</a>.
</p>

<p style="text-align: justify; text-justify: inter-word;">
Bachelor of Computer Science from the <a href="https://pucminas.br/">PUCMINAS</a> (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.
</p>

<p style="text-align: justify; text-justify: inter-word;">
Linux Kernel Developer at <a href="https://magalu.cloud/">MagaluCloud</a> and Member of the <a href="https://www.sbc.org.br/">SBC</a> (Brazilian Computer Society), the <a href="https://www.ieee.org/">IEEE</a> and the <a href="https://acm.org/">ACM</a> (Association for Computing Machinery).
</p>

### 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 λ