Me

Renato Neves

PhD student at Minho University - INESC TEC HASLab


Contact

nev(first name) @ gmail . com (Personal)
nev(first name) @ di . uminho . pt (University)

(Selected) Publications

Limits in Categories of Vietoris Coalgebras [details] [bibtex] [preprint]
Hybrid Automata as Coalgebras [details] [bibtex] [preprint]
Continuity as a Computational Effect [details] [bibtex] [preprint]
Proof Theory for Hybrid(ised) Logics [details] [bibtex] [preprint]

Google Scholar , DBLP , ResearchGate

Teaching

Invited Teaching Assistant @ Minho University Dep. Informatics.

Projects