I obtained my master's degree in Logic from the ILLC (Institue for Logic, Language and Computation) at the University of Amsterdam in October 2011. My thesis was on Completing partial algebra models of term rewriting systems under the supervision of Dr. Piet Rodenburg. I then started my PhD studies here at the University of Leicester under the supervision of Professor Rick Thomas. I study the interaction between groups, formal languages and automata. The working title is "Word problems of groups and formal languages". We work on the word problem and some of its relatives: the membership problem for a subgroup, which asks which words represent an element of a particular subgroup rather than the identity, and also the irreducible word problem, the subset of the word problem consisting all words with no subwords in the word problem.
Paper accepted in DCFS2015, to appear: G.A. Rino Nesin and R.M.Thomas: Groups whose word problem is a Petri net language. We show that these are the virtually abelian groups.
Accepted non-academic paper: Aladi Krishnaswami and G.A. Rino Nesin: The Nesin Mathematics Village in Turkey, to appear in the June-July 2015 edition of the Notices of the American Mathematical Society.
Computer Science Athena SWAN self-assessment team.
I am also the co-organiser (with Alexey Bakhirkin) of the Computer Science PhD Student Seminars.
I am a member of the Leicester University Chorus and occasionally participate in the Staff and Postgraduate 5-a-side intramural league.
Author: Gabriela Asli Rino Nesin, (garn1 (at) le.ac.uk), T: +44 (0)116 252 3904.