I'm interested in algorithms and computational complexity. Most of my own research has focused on constraint satisfaction problems. More details about this research can be found on the Constraints Group page.
I'm also interested in computational biology. My recent DPhil student, Dan Nichol, was jointly supervised by Alexander Anderson, in the Integrated Mathematical Oncology Lab at the H. Lee Moffitt Cancer Center in Florida. My current DPhil student, Artem Kaznatcheev, is sponsored by Jacob Scott, at the Taussig Cancer Institute in Cleveland, Ohio.
Minimal Weighted Clones with Boolean Support
Peter G. Jeavons‚ Andrius Vaicenavičius and Stanislav Živný
In Takahiro Hanyu, editor, Proceedings of the 46th IEEE International Symposium on Multiple−Valued Logic‚ ISMVL 2016‚ Sapporo‚ Japan‚ May 18−20‚ 2016. Pages 90–95. IEEE Computer Society. May, 2016.
Steering Evolution with Sequential Therapy to Prevent the Emergence of Bacterial Antibiotic Resistance
Daniel Nichol‚ Peter Jeavons‚ Alexander G. Fletcher‚ Robert A. Bonomo‚ Philip K. Maini‚ Jerome L. Paul‚ Robert A. Gatenby‚ Alexander R.A. Anderson and Jacob G. Scott
In PLoS Computational Biology. 2015.
Simple Algorithms for Distributed Leader Election in Anonymous Synchronous Rings and Complete Networks Inspired by Neural Development in Fruit Flies
Lei Xu and Peter Jeavons
In International Journal of Neural Systems. 2015.
- Groebner Basis Techniques for Constraint Satisfaction Problems
- Complexity of Valued Constraints
- Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity
- Constraint Network Tractability