-
Publications – Giselle Reis
I try to keep this list updated, but in case I fail, there is always DBLP and GoogleScholar. [38] Mohammad Shaheer, Giselle Reis, Bruno Woltzenlogel Paleo, and Joachim Zahnentferner. Formaliza…
-
Food, shelter, and companionship – Giselle Reis
I remember December 2018. I was at my parents house and we had a small gathering with my uncle’s family and grandmother to celebrate the end of the year. My uncle came to me and mentioned abo…
-
Courses – Giselle Reis
Fall 2021 15-150 Principles of Functional Programming15-312 Foundations of Programming Languages Spring 2021 15-316 Software Foundations of Security and Privacy Fall 2020 15-150 Principles of Funct…
-
Research – Giselle Reis
Research-wise, I am a computer scientist with a tendency to mathematics who ended up in logic. My research can be placed in proof theory, more specifically, I am interested in structural proof theo…
-
What happened? – Giselle Reis
Six months since I last wrote here, and the world is now upside down. It is not like it was not already messed up before, but this is a whole new level of mess… There are so many things going…
-
December 2020 – Giselle Reis
I remember December 2018. I was at my parents house and we had a small gathering with my uncle’s family and grandmother to celebrate the end of the year. My uncle came to me and mentioned about 2018 b...