University of Leicester


photo of Gabriela Asli Rino Nesin,

RESEARCH STUDENT — Gabriela Asli Rino Nesin, MSc

GTA, PhD student
G1Computer Science Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 3904
E: garn1 (at)

Previous and current studies

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.

My intersts are: Combinatorial Group Theory, Formal Languages, Automata and Petri nets, Logic, Model Theory, Universal Algebra, Topology.

Research and Publications

Published paper: G.A. Rino Nesin and R.M.Thomas: Groups with a recursively enumerable irreducible word problem, in FCT 2013 .
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.

Teaching Assistance

My helpdesk hours are on Thursdays 13:00-14:00, in CW301 (the CS lab).


I am a member of the 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.


Here is my Curriculum Vitae

Author: Gabriela Asli Rino Nesin, (garn1 (at), T: +44 (0)116 252 3904.
University of Leicester DATE. Last modified: 27th March 2015, 11:31:26.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.