Quratul-ain Mahesar - Homepage
I am a doctoral researcher currently working towards a Ph.D. in the School of Computer Science at the University of Birmingham under the supervision of Dr. Volker Sorge.
My research involves generating large size algebraic structures with preserving properties.
More details can be seen on my research page
Research Interests
- Logic and Automated Reasoning techniques
- Quasigroups, Latin Squares, Loops
- Functional programming