Hi! I'm Miguel Ramos, an undergrad student at the Department of Computer Science (DCC) at the Faculty of Sciences of the University of Porto (FCUP). I'm currently on my second year of the Integrated Master's Degree in Network and Information Systems Engineering. I'm also currently a junior researcher at the Center for Research in Advanced Computing Systems (CRACS) and my advisor is Prof. Sandra Alves. My main research areas are the untyped and simply typed lambda calculus, automata theory and intuitionistic logic.