I am a PhD student in Computer Science at DCC-FCUP, under the CMU Portugal Affiliated PhD Program, supervised by Mário Florido, Sandra Alves and Jan Hoffmann. I am also a researcher at LIACC.
My research focuses on providing a foundation for safer computations where resources are carefully managed, through the use of intersection types.
anaj.almeida [at] fc.up.pt
PhD student, Universidade do Porto