- 👋 Hi, I’m @Dav1com, a 4th 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
dav1com Goto Github PK
Name: David Ibáñez
Type: User
Bio: 22yo. Self-taught developer and engineering student.
Location: Santiago, Chile