Rafael Ramirez

About

Research Interests * Declarative Concurrent Programming * Software Engineering * Program Verification * Machine Learning * Data Mining * Computer Music