Aurelio Antonio Navas González Research Programmer Computer Science Department Carnegie Mellon University