This page is out of date
Please go to https://www.cs.ubc.ca/~fbanados for my current website.
Old info (Archive)
|Felipe Bañados Schwerter|
|Software Practices Lab||ICICS/CS Building Of. 308|
|Department of Computer Science||201-2366 Main Mall|
|The University of British Columbia||Vancouver, BC. Canada|
|Previous contact information|
|PLEIAD Lab||Blanco Encalada 2120, of 325|
|Computer Science Department (DCC)||Santiago, Chile|
|University of Chile||phone: +56 2 29784788|
I graduated from the MSc in Computer Science program at the University of Chile in 2014, with a thesis advised by Dr. Éric Tanter and co-advised by Dr. Ron Garcia. I also received a BESc. in Computer Science and a Professional Title (Civil Engineer in Computing) from this same University.
My thesis, Gradual Typing for Generic Type-and-Effect Systems, is currently being processed for cataloging at the University of Chile's Library. After this process is due, an official link to the final version will be placed here.
Language Note : The University of Chile requires a title page and an abstract in Spanish. Don't worry, The full thesis is in English, except for the front page and pages i and iii.