Welcome to Rodrigo Raya's personal webpage.

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 symbolic methods to specify/verify/query/explain sequential/parallel/distributed processes.

You can find my research works on dblp.

You may contact me at r.rayacastellano at gmail dot com.