Senior Lecturer
East Building East Building 3.2-4-6 Desk 21
Dept of Computer Science
Email: r.j.bradford@bath.ac.uk
Tel: +44 (0) 1225 38 6977
Dr Russell Bradford
Profile
Research interests
Research interests include computer algebra; cryptography; design and implementation of object-oriented languages; simulation and emulation of networks; the mechanisation of various abstract nonsenses. Outside interests include karate, going to festivals and being generally distracted.
Publications
Jones, J., Davenport, J. and Bradford, R., 2013. Forthcoming. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04, Kingston-on-Thames.
Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.
Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: ACM, pp. 125-132.
Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 19-34.
England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 136-151.
Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.
Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, pp. 83-88.
Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent computer mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J. , pp. 280-294.
Bradford, R., ffitch, J. and Dobson, R., 2011. Real-time Sliding Phase Vocoder using a Commodity GPU. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 587-590.
Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.
Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.
Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Berlin: Springer, pp. 75-89.
ffitch, J. P., Dobson, R. and Bradford, R., 2009. The Imperative for High-Performance Audio Computing. In: Proceedings of LAC2009, Parma, Italy, 16-19 April 2009. Parma: Istituzione Casa della Musica, pp. 73-79.
Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: 11th International Conference on Digital Audio Effects (DAFx-08) Proceedings September 1-4th, 2008 Espoo, Finland. Espoo, Finland: DAFx, pp. 363-369.
Dobson, R., ffitch, J. and Bradford, R., 2008. High performance audio computing: a position paper. In: Proceedings of the International Computer Music Conference 2008: 24-29 August 2008, Belfast, Northern Ireland. Belfast, Northern Ireland: ICMA and Sonic Arts Research Centre, Queen's University, Belfast, pp. 213-216.
ffitch, J., Dobson, R. and Bradford, R., 2008. Sliding DFT for fun and musical profit. In: Barknecht, F. and Rumori, M., eds. Proceedings: Linux Audio Conference 2008. Brno, CZ: Tribun EU, pp. 118-124.
