If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Gabriela is an algebraist with logician tendencies. She is interested in group theory and combinatorics, often as related to formal languages, but also other structures, such as knots. 

She is also interested in mathematics education and the construction of mathematical knowledge - how do we, as humans, communicate in the context of mathematics, how does this reflect in the materials produced, and how does it translate to prospective members of the mathematical community such as students?

Scholarly biography

Gabriela completed a BSc in Mathematics in 2007 at Bilgi University in Turkey. After a short stint in industry, she did the MSc in Logic at the ILLC at the University in Amsterdam, then a PhD in the University of Leicester under the supervision of Rick Thomas, department of Computer science. 

Gabriela joined the project Social Machines of Mathematics as a postdoc in 2015, a project led by Ursula Martin at the University of Oxford. She then began to work as a lecturer at the University of Brighton in 2016. 

She has strong ties to the Mathematics Village in Turkey, where she volunteers whenever she is able. 

Fingerprint

Dive into the research topics where Gabriela Rino Nesin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Argumentation theory for mathematical argument

    Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A., 4 Jan 2019, In: Argumentation. 33, 2, p. 173-214 42 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Modelling the way mathematics is actually done

    University of Edinburgh, University of Oxford, University of Edinburgh, University of Dundee & Rino Nesin, G., 9 Sep 2017, Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. ACM, p. 10-19 10 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

  • Groups whose word problem is a Petri net language

    Rino Nesin, G. & Thomas, R. M., 16 Jun 2015, International Workshop on Descriptional Complexity of Formal Systems. Cham: Springer, Vol. 9118. p. 243-255 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Groups with a recursively enumerable irreducible word problem

    Rino Nesin, G. & Thomas, R. M., 1 Jan 2013, International Symposium on Fundamentals of Computation Theory. Berlin, Heidelberg: Springer, Vol. 8070. p. 283-292 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File