Speaker
Alejandro Flores-Lamas
I am currently a Postdoctoral Research Assistant in the Department of Computer Science, at Royal Holloway, University of London, hosted by Prof. Matthew Hague. I obtained my bachelor’s degree in Computer Engineering from the Autonomous University of Zacatecas in 2012. Then, I completed my M.Sc. and PhD in Computer Science at CICESE (the Center for Scientific Research and Higher Education of Ensenada) in 2014 and 2018, respectively. My research interests include decision procedures for string constraints and the analysis and design of algorithms for graphs.