[Home]
Research Interests

• Publications
• Conferences
• Presentations

---

PUBLICATIONS

		Three-dimensional classical groups acting on polytopes   (with Deb Vicinsky)   Journal of Discrete & Computational Geometry (to appear)
		Testing isormorphism of modules   (with Gene Luks)   Journal of Algebra 320, no. 11, 4020-4029 (2008)
		Fast constructive recognition of black box symplectic groups   Journal of Algebra 320, no. 2, 885-909 (2008)
		Constructing the group preserving a system of forms   (with Eamonn O'Brien)   International Journal of Algebra and Computation 18, no. 2, 227-241 (2008)
		On intersections of classical groups   (with Eamonn O'Brien)   Journal of Group Theory 11, no. 4, 465-478 (2008)
		Fast constructive recognition of black box orthogonal groups   (with Bill Kantor)   Journal of Algebra 300, no. 1, 256-288 (2006)
		A reduction algorithm for matrix groups with an extraspecial normal subgroup   (with Alice Niemeyer and Akos Seress)   pp. 1-16 in: Finite Geometries, Groups and Computation, Walter de Gruyter GmbH & Co. KG, Berlin (2006)
		On Dowling geometries of infinite groups   (with Hongxun Qin, and Edmund Roberston and Akos Seress)   Journal of Combinatorial Theory, Series A, 108/1, 155-158 (2004)
		Fast constructive recognition of black box unitary groups   LMS Journal of Computation and Mathematics, vol 6, 162-197 (2003)
		Constructive recognition of classical groups in their natural representation   Journal of Symbolic Computation, vol 35/2, 195-239 (2003)
		Constructive recognition of the finite simple classical groups.   Ph.D. Dissertation, University of Oregon (2001) (Advisor: Bill Kantor)
		A constructive recognition algorithm for the matrix group Omega(d,q)   pp. 79-93 in: Groups and Computation III, Ohio State Univ. Math. Res. Inst. Publ. 8 (2001)
		On constructive recognition of a black box PSL(d,q)   (with Bill Kantor)   pp. 95-111 in: Groups and Computation III, Ohio State Univ. Math. Res. Inst. Publ. 8 (2001)
		Transversal greedoids   Europ. J. Combinatorics , 18 , 137-141 (1997)
		Greedy algorithm compatibility and heavy-set structures (with Victor Bryant)   Europ. J. Combinatorics , 13 , 81-86 (1992)

---

WORKSHOPS & CONFERENCES

• Computational Algebra and its Applications November 30 - December 10, 2009, National University of Ireland, Galway.
• Matrix Group Recognition July 27-31, 2009, International Center for Mathematical Sciences, Edinburgh.
• Computational Algebra (PRIMA Special Session) July 6-10, 2009, University of New South Wales, Sydney.
• Group Theory, Combinatorics, and Computation January 5-16, 2009, University of Western Australia, Perth.
• Computational Group Theory (AMS Special Session) October 17-19, 2008, Kalamazoo, Michigan.
• Groups and Computation V. March 17-21, 2008, The Ohio State University.
• Finite Groups and Representations. January 14-18, 2008, Kaikoura, New Zealand.
• Computational Group Theory. July 2-8, 2006, Mathematisches Forschungsinstitut Oberwolfach.
• Magma Workshop on Group Theory and Algebraic Geometry. August 22-26, 2005, University of Warwick.
• Finite Geometries, Groups and Computation. September 4-9, 2004, Pingree Park, Colorado State University.
• The XXVIIth Ohio State-Denison Mathematics Conference. June 11-13, 2004, Ohio State University.
• NETCA Instructional Workshop on Computational Algebra. September 1-5, 2003, St Andrews University, Scotland.
• Abstract Algebra with GAP. MAA PREP Workshop, July 14-18, 2003 (online).
• Groups and Computation IV. March 24-28, 2003, Ohio State University.
• The XXVIth Ohio State-Denison Mathematics Conference. May 17-19, 2002, Denison University.
• Computational Group Theory. July 29-August 4, 2001, Mathematisches Forschungsinstitut Oberwolfach.
• Groups and Computation III. June 15-19, 1999, Ohio State University.
• Algebraic Aspects of Cryptography. MSRI Summer Graduate Program, June 16-27, 1997, MSRI, Berkeley, CA.

---

INVITED TALKS

• "Matrix Group Algorithms Via Matrix Algebras", Edinburgh, July, 2009.
• "Intersections of Classical Groups", Sydney, July, 2009.
• "Algorithms for Algebras with Involution", Perth, January, 2009. (slides)
• "Constructing the Group Preserving a System of Forms", Kalamazoo, October, 2008. (slides)
• "Algorithms for Modules and Matrix Algebras", Kaikoura, January, 2008. (slides)
• "Intersections of Classical Groups", University of Western Australia, December 2006; University of Auckland, February, 2007.
• "Algorithms for Finite Dimensional Modules", Oberwolfach, July 2006.
• "Some Algorithms for Matrix Algebras Over Arbitrary Fields", University of Warwick, June 2006; University of Auckland, November 2006; University of Sydney, June 2007.
• "A Taste of Complexity", Bloomsburg University, November 2005; Bucknell University, February 2006. (slides)
• "Implementing Constructive Recognition Algorithms For Finite Classical Groups", Magma Workshop, August 2005. (slides)
• "Recognising Aschbacher's Category C_6", Finite Geometries, Groups and Computation, September 2004. (slides)
• "Embeddability In Dowling Geometries", The XXVIIth Ohio State-Denison Mathematics Conference, June 2004. (slides)
• "Groups and Computation: A Brief History" , Department Colloquium, Wright State University, May 2004. (slides)
• "Efficient Computation With Matrix Groups", Algebraic Algorithms Seminar, Colorado State University, September 2003. (slides)
• "Constructive Recognition", NETCA Instructional Workshop on Computational Algebra, September 2003.
• "Efficient Computation In Black Box Classical Groups", Groups and Computation IV, March 2003. (slides)
• "Recognising Finite Simple Groups", The XXVIth Ohio State-Denison Mathematics Conference, May 2002. (slides)
• "Cryptology: A Guide To A Successful Marriage In An Age Of Piracy", Radical Pi: Undergraduate Math Club, Ohio State, November 2002.
• "From Sims' Algorithm To Rubik's Cube", Graduate Student Seminar, Ohio State, October 2002. (slides)
• "Constructive Recognition Of The Simple Classical Groups In Their Natural Representation", Groups and Computation III, June 1999.