Jorge A. Pérez

Associate professor (adjunct hoogleraar, tenured), University of Groningen, The Netherlands.

Leader, Fundamental Computing group. (See our group's portrait "The Power of Logic in Computation", at the I/O Magazine.)

Member of the board / Head of department Computer Science, Bernoulli Institute.

Project coordinator (lead PI), Cyclic Structures in Programs and Proofs (NWO ENW XL). [PhD positions available!!]

My CV // DBLP // Google Scholar // ORCID // ACM DL. 

Email: j.a.perez/at/rug.nl