Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

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.

Interest
Topics
Details

Details

  • Name

    Jorge Miguel Ramos
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    16th November 2016