Research Interests
Formal Methods, Verification,
Applied Automated Reasoning, Applied Machine Learning,
Experimental Mathematics
Security
Talks
Summer School, Computer Science Summer in Russia, 2019
|
Research
-
Knowledge Transfer Partnership project (academic supervisor)
-
Future AI and Robotics Hub for Space (FAIR-SPACE)
-
Satisfiability Checking and Symbolic Computation
-
Verification via Finite Countermodel Finding
-
Supercompilation for Verification
- Logical, Computational and Algorithmic Approach to Knots
- Automated Reasoning, Symbolic Computations and Machine Learning in Experimental Mathematics
- New:Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction, Journal of Computtational Algebra, Vol. 16, in progress (Dec 2025)
- Automated Theorem Proving Reveals a Lengthy Andrews-Curtis Trivialization for a Miller-Schupp Trivial Group Presentation
, Examples and Counterexamples, Vol. 8 Dec 2025, preprint at SSRN
- Automated reasoning for proving non-orderability of groups with Zipei Nie and Alexei Vernitski,
Journal of Automated Reasoning, Vol 69, 2025 arXiv
-
New Andrews-Curtis Trivializations for Miller-Schupp Group PresentationsExamples and Counterexamples, Vol. 6 Dec 2024
-
Machine Learning Discovers Invariants of Braids and Flat Braids with Mateo Salles and Alexei Vernitski, Advances in Applied Clifford Algebras, Vol 34, 2024
-
Counting graphs induced by Gauss diagrams and families of mutant alternating knots with Alexei Vernitski,Examples and Counterexamples, Vol. 6 Dec 2024
- Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning with Alexei Vernitski,
Semigorup Forum, Vol. 109, 2024
- Automated Reasoning for Knot Semigroups
with Alexei Vernitski, Proceedings of MACIS 2017, LNCS, Vol 10693
- Quandle coloring with SAT and #SAT for knot discrimination with A. Fish, D. Stanovsky and S. Swartwood, Proceedings of ICMS 2016, LNCS 9725 see also web page
- Detecting Unknots via Equational Reasoning, I: Explorationwith Andrew Fish Proceedings of CICM 2015, LNAI 8543, see also arXiv extended version and web page
- Computer-aided proof of Erdős discrepancy properties with Boris Konev
Artficial Intelligence, Vol 224, 2015 , see also A SAT Attack on Erdos Discrepancy Conjecture;
A237695, Practically P=NP? and Discrepancies, puppet show
- Automated reasoning in the exploration of Andrews-Curtis Conjecture
- Temporal Logic and Stream Data Processing for Intrusion detection
- Engineering Autonomous Space
Software
|
PhD students
Safa Fallatah, Andrew Hulme, Salem Alotaibi
PhD students successfully completed their studies
Rafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018),
Farah Al-Shareefi (2019), Nahla Aburawi (2019), Ge Chu (2021), Said Alriyami (2021), Mahmood Alsaadi (2021), Faisal Alotaibi (2022), Maryam Almarwani (2023), Yinzheng Zhong (2023), Emmanouil Pitsikalis (2024), Najwa Muslih S Alharbi (2024), Haneen Alharbi (2024), Hadeel Alghamdi (2024), Nouf Aljuaid (2025)
|