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, Rehab Aljaloud, Abdullah Alghamdi
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)
|