Key details
Rafael Martinez-Torres
Senior Lecturer
Skilled on formal methods, some of my academic interests are, but not limited to, discrete mathematics, logic, formal semantics of languages, program verification and derivation, as well as different programming paradigms, like imperative or functional programming, and term rewriting.
Specially interested on concurrent language abstractions and formal reasoning about them.
Occasionally I have been working with networking projects, like IPv6 as well as formal modelling of protocols.
History of Science is among my hobbies, as well as classic languages like Latin.
I do play tuba in Symphonic Wind Band “La Artistica” of Bunol (Valencia-Spain)
Responsibilities within the university
Currently I am engaged as a Senior Lecturer at University of Greenwich. Following some of the modules I am currently teaching:
- Paradigms of Programming Languages
- Languages for the JAVA Virtual Machine
- Software techniques and tools.