Welcome to Rodrigo Raya's personal webpage.
circa 2019
I am a researcher in computer science with special interest in formal reasoning as found in interactive and automated theorem provers.
My current research interests lie in logics for sequences and their applications to computer science.
You can find my research works on dblp.
You may contact me at r.rayacastellano at gmail dot com.