photo here   Takunari Miyazaki
  Assistant Professor of Computer Science
  Ph.D. University of Oregon

133 MCEC
Department of Computer Science
Trinity College
300 Summit Street
Hartford, CT 06106-3100

Office: (860) 297-4041
Fax: (860) 297-3531
Email: takunari.miyazaki@trincoll.edu
Homepage:  http://www.cs.trincoll.edu/~miyazaki/

Primary Courses

CPSC 115 Introduction to Computing
CPSC 203 Mathematical Foundations of Computing
CPSC 215 Data Structures and Algorithms
CPSC 219 Theory of Computation
CPSC 316 Foundations of Programming Languages

Research Interests

Algebraic algorithms
Computational complexity
Symbolic computation

Selected Publications

  1. The complexity of McKay's canonical labeling algorithm, Groups and Computation. II (L. Finklelstein and W. M. Kantor, eds.), DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 28, Amer. Math. Soc., Providence, R.I., 1997, pp. 239-256. MR 98c:05119.

  2. Deterministic algorithms for management of matrix groups, Groups and Computation. III (W. M. Kantor and Á. Seress, eds.), Ohio State Univ. Math. Res. Inst. Publ., vol. 8, de Gruyter, Berlin, 2001, pp. 265-280. MR 2002i:20022.

  3. (with E. M. Luks) Polynomial-time normalizers for permutation groups with restricted composition factors, Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2002, pp. 176-183.