Mauricio Ayala-Rincon

• Applied Logic for Computer Scientists