Temas de Tesis para Ingeniería Civil, Ejecución, y Magister

Courses

Current Students

Student Thesis Work Kind
2018–now Matias Salinas Soto Desarrollo y Evaluación de un Entorno Integrado de Programación Enfocado a Estudiantes de Primer Año de Ingeniería Informática Masters
2018–now Erick Jamet Diseño de una Estrategia de Gamificación para Cursos de Programación de Primer año Masters
2016–now Bruno García A Case Study on Practical Gradual Software Verification Masters
2018/2 Esteban Yima y Nicolas Torres TBD INF
2018/2 Pablo Villarroel TBD INF
2018/2 Marcelo Chávez TBD INF
2018/2 Bastián Tobar TBD INF
2018/2 Daniel Ojeda y Oscar Sepúlveda TBD INF
2018/2 Ítalo Carrasco y Andrés Cortes TBD INF
2018/2 Christopher Patirro TBD INF

Former Students

Student Thesis Work Carreer/Degree Report
2015–2017 Cristhy Jiménez PROMETHEUS: A Procedural Methodology for Developing Heuristics of Usability PhD-PUCV
2017/2 Luis González y Sebastián Díaz TaberMus: Plataforma de Difusión de la Música Chilena INF-PUCV
2017/2 Danilo Tapia Herramienta para la Construcción de Syllabus en la PUCV INF-PUCV
2017/2 Roberto Hormazabal Herramienta de Apoyo para la Evaluación de Escalas en Piano Funcional INF-PUCV
2017/2 Gonzalo Zeballos Action Replay! Visualizando Sesiones de Programación INF-PUCV
2017/2 Angelo Cerpa Verific: Testing Automático y Aleatorio basado en Propiedades de Correctitud INF-PUCV
2016/2 Omar Vera Backend Administrativo para gestor de conferencias Connfa INF-PUCV
2016/2 Gino Cuevas, Sebastián Reyes SLR Tool: una herramienta para revisiones sistemáticas de literatura INF-PUCV
2015–2016 Daniel Palma Retroalimentación con una base empírica para la enseñanza de Fundamentos de Programación usando PSeInt Universidad de Valparaíso, Co-advisor with Eliana Providel

Postgraduate Thesis Committee Member

Student Thesis Work Kind My Role University
2017 Nicolas Lehmann Gradual Refinement Types Master External Reviewer Universidad de Chile
2015 Gustavo Soto Modular Composition of Session Types Master External Reviewer Universidad de Chile
2015 Matías Toro Customizable Gradual Effects for Scala Master External Reviewer Universidad de Chile
2014 Felipe Bañados Gradual Typing for Type-and-Effect Systems Master External Reviewer Universidad de Chile