Swansea University
Computer Science

Contact:
Email: hoda.abbasizanjani@swansea.ac.uk

Hoda Abbasizanjani
Department of Computer Science
College of Science
Swansea University
Swansea, UK
SA1 8EN

Hoda Abbasizanjani

PhD Student in Computer Science (Swansea University)

I am currently a PhD student in Theoretical Computer Science at the Department of Computer Science, Swansea University under the supervision of Dr Oliver Kullmann.

My current research is about the connections of SAT (the propositional satisfiability problem) and combinatorics. The main goal is to study the structure of minimally unsatisfiable clause-sets (conjunctive normal forms as set-systems) in order to understand the reasons of unsatisfiability (inconsistency).

Experience

Postgraduate engineer - Vehicle Predictive Optimisation, Jaguar Land Rover, Gaydon, UK, 2018 to 2019

Teaching/Demonstrating

Awards

Publications

Talks

Research Interests

Projects

Professional trainings

Attended Events

E-mail page maintainer