معرفی
Rafael Martinez-Torres is a Senior Lecturer at the University of Greenwich, affiliated with the School of Computing and Mathematical Sciences within the Faculty of Engineering and Science. He holds a PhD and specializes in formal methods, discrete mathematics, and logic. His research interests include program verification, formal semantics of languages, and concurrent language abstractions. He has also worked on networking projects involving IPv6 and formal protocol modeling.
His academic background includes expertise in imperative and functional programming paradigms, term rewriting systems, and the application of formal reasoning to concurrent systems. Beyond academia, he plays the tuba in the Symphonic Wind Band 'La Artistica' in Bunol, Spain, and maintains a keen interest in the History of Science and classical languages like Latin.
