👋 Hi, I’m @Dav1com, a 6th year student of Computer Engineering at Facultad de Ciencias Físicas y Matemáticas of Universidad de Chile Currently interested in formal methods, abstract interpretation, formal semantics and proof assistants