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 Quasigroup-structures with preserving properties.

More details can be seen on my research page

Research Interests

  • Quasigroups, Latin Squares, Loops
  • Logic and Automated Reasoning techniques
    • Model Generation employing Theorem Proving,
      Constraints Solving, SAT Solving techniques.
  • Functional programming