About

I’m a computer science/software engineering student from Portugal. My main interests are in programming language theory, theorem proving/logical systems and concurrent systems, so I’ll probably be writing mostly about those.

Projects