Dr Alexei Vernitski

Email
asvern@essex.ac.uk 
Telephone
+44 (0) 1206 873024

Location
STEM 5.15, Colchester Campus
Profile
Biography
My current research is mostly in applying artificial intelligence to mathematical problems. The types of artificial intelligence that I use include reinforcement learning and deep learning. The types of mathematical problems that I research are in knot theory and in algebra (for example, braid theory). I am also interested in mathematics education, especially increasing motivation of learners of mathematics. Currently I supervise two PhD students in mathematics education. Previously, most of my research was in universal algebra. My PhD is in semigroup theory. I supervised one PhD student (Dr Zsofia Juhasz) in universal algebra (semigroup theory). Also I conducted research in applications of mathematics to computer science. I supervised two PhD students in this area (Dr Gokce Caylak Kayaturan and Dr Laura Carrea). Before starting work at Essex, I worked as a programmer in the financial sector and as a lecturer in computer science.
Research and professional activities
Research interests
Applying algebra (especially semigroups) to study knots, graphs etc.
My plans include 1) applying semigroups to study bounded rationality and, in particular, the negotiations scenario known as the repeated prisoner's dilemma; 2) using algebra to study certain classes of knots related to socalled rational tangles.
Mathematical education; in particular, increasing motivation of learners of mathematics
Inspired by Carol Dweck's growth mindsets and Jo Boaler's mathematical mindsets, I research how this creative and nurturing approach can help learners of mathematics.
Machine learning in mathematics; reinforcement learning applied to knot theory
One of my current interests is combining mathematics and new machine learning technology to enable the computer to manipulate mathematical objects.
Deep learning and reinforcement learning, applied to mathematical problems
Current research
Machine learning for recognising tangled 3D objects
Teaching and supervision
Current teaching responsibilities

Matrices and Complex Numbers (MA114)

Linear Algebra (MA201)
Current supervision
Previous supervision
Degree subject: Mathematics
Degree type: Doctor of Philosophy
Awarded date: 29/6/2018
Degree subject: Mathematics
Degree type: Master of Science (by Dissertation)
Awarded date: 22/9/2014
Degree subject: Computing and Electronic Systems
Degree type: Doctor of Philosophy
Awarded date: 26/7/2013
Publications
Publications (3)
Lisitsa, A., Salles, M. and Vernitski, A., (2023). Machine learning discovers invariants of braids and flat braids
Lisitsa, A., Nie, Z. and Vernitski, A., (2023). Automated reasoning for proving nonorderability of groups
Lisitsa, A., Lopatkin, V. and Vernitski, A., (2022). Describing realizable Gauss diagrams using the concepts of parity or bipartate graphs
Journal articles (29)
Lisitsa, A., Lopatkin, V. and Vernitski, A., (2023). Describing realizable gauss diagrams using the concepts of parity or bipartite graphs. Journal of Knot Theory and Its Ramifications. 32 (10)
Higgins, P. and Vernitski, A., (2022). Orientationpreserving and orientationreversing mappings: a new description. Semigroup Forum. 104 (2), 509514
Vernitski, A., (2022). A blind spot in undergraduate mathematics: The circular definition of the length of the circle, and how it can be turned into an enlightening example. MSOR Connections. 20 (3), 8590
Daly, I., Bourgaize, J. and Vernitski, A., (2019). Mathematical mindsets increase student motivation: Evidence from the EEG. Trends in Neuroscience and Education. 15, 1828
East, J. and Vernitski, A., (2018). Ranks of ideals in inverse semigroups of difunctional binary relations. Semigroup Forum. 96 (1), 2130
Vernitski, A., Tunsi, L., Ponchel, C. and Lisitsa, A., (2018). Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links. Semigroup Forum. 97 (1), 7586
Vernitski, A., (2017). Describing semigroups with defining relations of the form xy=yz xy and yx=zy and connections with knot theory. Semigroup Forum. 95 (1), 6682
Juhász, Z. and Vernitski, A., (2016). Semigroups with operationcompatible Green’s quasiorders. Semigroup Forum. 93 (2), 387402
Carrea, L., Vernitski, A. and Reed, MJ., (2016). Yesno Bloom filter: A way of representing sets with fewer false positives
Yang, X., Vernitski, A. and Carrea, L., (2016). An approximate dynamic programming approach for improving accuracy of lossy data compression by Bloom filters. European Journal of Operational Research. 252 (3), 985994
Pride, SJ., Vernitski, A., Wong, KB. and Wong, PC., (2016). Conjugacy and Other Properties of OneRelator Groups. Communications in Algebra. 44 (4), 15881598
Carrea, L., Vernitski, A. and Reed, M., (2014). Optimized hash for network path encoding with minimized false positives. Computer Networks. 58 (1), 180191
Vernitski, A. and Pyatkin, A., (2012). Astral graphs (threshold graphs), scalefree graphs and related algorithmic questions. Journal of Discrete Algorithms. 12, 2428
Juhász, Z. and Vernitski, A., (2011). Using filters to describe congruences and band congruences of semigroups. Semigroup Forum. 83 (2), 320334
Juhasz, Z. and Vernitski, A., (2011). Filters in (Quasiordered) Semigroups and Lattices of Filters. Communications in Algebra. 39 (11), 43194335
Vernitski, A., (2009). Inverse subsemigroups and classes of finite aperiodic semigroups. Semigroup Forum. 78 (3), 486497
Vernitski, A., (2009). Oneside Nielsen transformations in free groups. International Journal of Algebra and Computation. 19 (07), 855871
Vernitski, A., (2008). On Using the Join Operation to Define Classes of Algebras. Communications in Algebra. 36 (3), 10881096
Vernitski, A., (2008). Ordered and Jtrivial semigroups as divisors of semigroups of languages. International Journal of Algebra and Computation. 18 (07), 12231229
Vernitski, A., (2007). A Generalization of Symmetric Inverse Semigroups. Semigroup Forum. 75 (2), 417426
Vernitski, A., (2006). Can Unbreakable Mean Incomputable?. The Computer Journal. 49 (1), 108112
Vernitski, A., (2005). Russian revolutionaries and English sympathizers in 1890s London. Journal of European Studies. 35 (3), 299314
Vernitski, A., (2004). Finite quasivarieties and selfreferential conditions. Studia Logica. 78 (12), 337348
Vernitski, A., (2002). Women work, men muse: Gender roles in Platonov's articles and short stories. Essays in Poetics. 27, 162173
McAlister, DB., Stephen, JB. and Vernitski, A., (2002). Embedding ℑn in a 2generator inverse subsemigroup of ℑn+2. Proceedings of the Edinburgh Mathematical Society. 45 (1), 14
Vernitski, AS., (2001). Studying semigroups of mappings using quasiidentities. Semigroup Forum. 63 (3), 387395
Repnitskiǐ, VB. and Vernitskiǐ, AS., (2000). Semigroups of orderpreserving mappings. Communications in Algebra. 28 (8), 36353641
Vernitskii, A., (1999). Semigroups of orderdecreasing graph endomorhpisms. Semigroup Forum. 58 (2), 222240
Vernitskii, AS., (1999). The finite basis problem for the semigroups of orderpreserving mappings. Proceedings of the Royal Society of Edinburgh: Section A Mathematics. 129 (3), 641647
Book chapters (1)
Lisitsa, A. and Vernitski, A., (2017). Automated Reasoning for Knot Semigroups and $$\pi $$ π orbifold Groups of Knots. In: Mathematical Aspects of Computer and Information Sciences. Springer International Publishing. 3 18. 9783319724522
Conferences (16)
Lisitsa, A. and Vernitski, A., (2024). On strong antilearning of parity
Lisitsa, A., Salles, M. and Vernitski, A., (2023). Supervised Learning for Untangling Braids
Armani, F., Daly, I., Vernitski, A., Gillmeister, H. and Scherer, R., (2023). Maths Anxiety and cognitive state monitoring for neuroadaptive learning systems using electroencephalography
Khan, A., Lisitsa, A. and Vernitski, A., (2022). Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians
Khan, A., Vernitski, A. and Lisitsa, A., (2022). Untangling Braids with MultiAgent QLearning
Khan, A., Vernitski, A. and Lisitsa, A., (2022). Reinforcement learning algorithms for the Untangling of Braids
Khan, A., Lisitsa, A. and Vernitski, A., (2021). GaussLintel, an Algorithm Suite for Exploring Chord Diagrams
Fish, A., Lisitsa, A. and Vernitski, A., (2018). Visual Algebraic Proofs for Unknot Detection
Fish, A., Lisitsa, A. and Vernitski, A., (2018). Towards human readability of automated unknottedness proofs
Kayaturan, GC. and Vernitski, A., (2017). Encoding Shortest Paths in Triangular Grids for Delivery Without Errors
Karapetyan, D. and Vernitski, A., (2017). Efficient adaptive implementation of the serial schedule generation scheme using preprocessing and bloom filters
Kayaturan, GC. and Vernitski, A., (2016). Routing in hexagonal computer networks: How to present paths by Bloom filters without false positives
Kayaturan, GÇ. and Vernitski, A., (2016). A Way of Eliminating Errors When Using Bloom Filters for Routing in Computer Networks
Krol, K., Papanicolaou, C., Vernitski, A. and Sasse, MA., (2015). “Too Taxing on the Mind!” Authentication Grids are not for Everyone
Vernitski, A., (2013). Authentication grid
Peng, S., Nejabati, R., Escalona, E., Simeonidou, D., Anastasopoulos, M., Georgakilas, K., Tzanakaki, A. and Vernitski, A., (2012). Performance modelling and analysis of dynamic virtual optical network composition
Reports and Papers (8)
Lisitsa, A., Salles, M. and Vernitski, A., (2022). An application of neural networks to a problem in knot theory and group theory (untangling braids)
Khan, A., Lisitsa, A. and Vernitski, A., (2021). Experimental Mathematics Approach to Gauss Diagrams Realizability
Khan, A., Lisitsa, A., Lopatkin, V. and Vernitski, A., (2021). Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration
Vernitski, A., (2021). A blind spot in undergraduate mathematics: The circular definition of the length of the circle, and how it can be turned into an enlightening example
Higgins, PM. and Vernitski, A., (2020). A new formulation of the semigroup of orientationpreserving and orientationreversing mappings
Kayaturan, GC. and Vernitski, A., (2018). Encoding shortest paths in graphs assuming the code is queried using bitwise comparison
Vernitski, A., (2015). An invariant of scalefree graphs
Vernitski, A., (2015). A simple technique for choosing and managing secure passwords: passwords with a random onpaper part
Grants and funding
2019
Machine learning for recognising tangled 3D objects
Leverhulme Trust
2018
Reducing socioeconomic inequalities in HE participation: the role of information, peers and mindset
Office for Students
2016
Support of collaborative research
London Mathematical Society