|I am a Phd. Student at LaFHIS: The Tools and Foundations for Software Engineering Lab since 2012. My advisor is Sebastián Uchitel.|
My research topic is focused towards the application of planning and control synthesis techniques to software engineering problems. I am currently reviewing techniques for formally specifying soft goals from which synthesize reactive controllers.
I have also worked on static software verification using incremental SAT-Solving. As part of my master thesis I built a tool for automatic test generation called FAJITA, on top of the TACO framework.
- Functional Programming
- Concurrent Programming
Peer Reviewed Publications in National / International Journals
1. M. Chicote, D. Ciolek and J. Galeotti (2013). Practical JFSL verification using TACO. Software Practice and Experience (SPE). Pending publication.
Peer Reviewed Participation in National / International Conferences
1. M. Frias, D. Ciolek, J. Galeotti, et. al. (2013). Tight Bounds + Incremental SAT = Better Test Generation under Rich Contracts. IEEE - International Conference on Software Testing (ICST). Pending publication.