Mauricio Soto

 

Ph.D. student
Institute for Software Research,
School of Computer Science,
Carnegie Mellon University.

 

Email: mauriciosoto at cmu dot edu

 

Advisor: Claire Le Goues

 

Contact

Office: WH 4103,

Office Phone: (412)-268-4748

 

Mail:

Mauricio Soto

Institute for Software Research, Wean Hall 5216

School of Computer Science, Carnegie Mellon University

5000 Forbes Avenue

Pittsburgh, PA 15213

 

Resume

Available on Request

 

 

Hi, my name is Mauricio Soto, though I usually go by "Mau". I am a Software Engineering PhD Student at the Institute for Software Research (SCS) at Carnegie Mellon University. I am advised by Dr. Claire Le Goues.

 

I come from Costa Rica, the land of hapiness, coffee and sloths. Before I came to CMU, I made my undergrad in Computer Science in the University of Costa Rica. I also worked in several different companies and universities in different positions, all of them related to software engineering. I am a very happy person, I play the saxophone, and I love salsa dancing. Now I'm learning to play the bagpipes for the glory of CMU :)

Research

I am primarily interested in problems relating automatic error repair, software evolution, maintainability, program analysis, program repair, and software assurance. I am currently working with my advisor Claire Le Goues in extending a project for automatic bug repair in Java using genetic algorithms called GenProg, which combines stochastic search methods like genetic programming with lightweight program analyses to find patches for real bugs in existing software.

Currently I'm working in an empirical study in which we gather data of what humans do to patch their bugs and mimic this behavior in order to obtain variants that are more likely to succeed in patching the bug, and also are easier to maintain and understand.

 

List of publications:

 

Soto et al. A deeper look into bug fixes: Patterns, replacements, deletions, and additions; MSR Challenge 2016. International Conference on Mining Software Repositories

Experience

Description: Description: https://encrypted-tbn3.gstatic.com/images?q=tbn:ANd9GcRaAB3Yz0ECkhWaq9nD6kJlzjF-7uSCMhDS-rPGhmAwCUhmyVoU

Software Engineer II

Experian

august 2013 – august 2014 Heredia, CR

 Software development of financial applications on Java EE
 Development of software against identity theft
 Development of Map/Reduce software in Big Data project on a Hadoop cluster

Description: Description: http://www.cibcm.ucr.ac.cr/Imagenes/EscudoUCR.gif

Web Master

University of Costa Rica

january 2010 – august 2014 San Pedro, CR

 Administration of a LAMP virtual server
 Website creation on Joomla and Drupal CMS
 Support of an OJS Platform
 Leader in charge of the Mathematics Research Center's development team

Description: Description: https://pbs.twimg.com/profile_images/458704019897061377/GPLhINBv.png

Web Developer

Rutgers University

february 2013 – september de 2013 Piscataway, NJ

 Maintenance of different web applications in PHP and Html 
 Development of online test-taking application and facility evaluation application

 

 

Description: Description: https://pbs.twimg.com/profile_images/458704019897061377/GPLhINBv.png

Application Developer

Intel

february 2012 – january de 2013 Heredia, CR

 Software development of applications on C# 
 Redesign of a calendaring application, development and deployment to production
 Website management with Sharepoint and Silverlight technologies

 

 

Education


Description: Carnegie Mellon University

Carnegie Mellon University

Doctor of Philosophy (PhD), Software Engineering

2014 – 2019

Description: University of Costa Rica

University of Costa Rica

Bachelor in Computer Science

2007 – 2013

Description: Rutgers University

Rutgers University

International Student, Computer Science

2013 – 2013

Description: University of Costa Rica

University of Costa Rica

Minor, Music with emphasis in Saxophone 

2007 – 2013

Description: University of Costa Rica

University of Costa Rica

Minor, Music with emphasis in Guitar 

2007 – 2013

 

Personal

A salsa I composed for my recital: Entre química y generales

A merengue I composed for my recital: Con güiro y tambora

My classical years: Glazunov Concerto

A little more recent: Bloomdido