Selene Linares Arevalo
Research Fellow in Computer Science
Faculty of Engineering and Information Technology
Logic
Automated Theorem Proving
Theoretical Computer Science
Software Verification
Formal Methods
Formalization of Mathematics
Interactive Theorem Proving Logic
Programming Languages
Declarative Programming