NAME: Ilias S. Kotsireas, Associate Professor CITIZENSHIP: Canadian

ADDRESS: Wilfrid Laurier University, Department of
Physics and Computer Science, 75 University Avenue West
Waterloo Ontario N2L 3C5, CANADA

CONTACT INFORMATION: Office Phone & Voice Mail:
++1-(519) 884-0710 ext. 2218, Fax: ++1-(519) 746-0677, e-mail:
`ikotsire@wlu.ca` CARGO lab web page: `http://www.cargo.wlu.ca/`

DEGREES

- 1995-1998, Ph.D. Department of Computer Science, Université Paris 6,
French National Bureau of Standards, (Bureau des Longitudes) Paris, France.
*Dissertation Title*: ``Algorithms for solving polynomial systems: application to central configurations in the N-body problem of celestial mechanics.''.*Advisor*: Professor Daniel Lazard - 1994-1995, M.Sc. Department of Computer Science, Université Paris 6,
French National Bureau of Standards, Paris, France.
*Dissertation Title*: ``Central configurations in the N-body problem''.*Advisors*: Professor Daniel Lazard, Professor Alain Albouy. - 1992-1994 B.Sc. Department of Computer Science, Université Paris 6, Paris, France.
- 1986-1990 B.Sc. Department of Mathematics, University of Athens, Athens, Greece.

EMPLOYMENT HISTORY

- December 2005 - present, Associate Professor, Wilfrid Laurier University,
Department of Physics and Computer Science, Waterloo, Ontario, Canada.
- July 2001 - December 2005, Assistant Professor, Wilfrid Laurier University,
Department of Physics and Computer Science, Waterloo, Ontario, Canada.
- October 1999 - June 2001, Post-Doctoral Fellow, Ontario Research Centre for Computer Algebra, (ORCCA)
University of Western Ontario, London, Ontario, Canada.
- 1998-99 Lecturer (Attaché Temporaire Enseignement Recherche, ATER), Department of Computer Science, Université Paris 6, Paris, France.
- 1997-98 Laboratory Assistant (Travaux Dirigés, TD), Lycée Saint-Louis, Paris, France.
- 1994-98 Teaching Assistant (Formation Permanente) Department of Computer Science, Université Paris 6, Paris, France.
- 1995-96 Laboratory Assistant Travaux Dirigés, TD),
Université de Versailles Saint-Quentin-en-Yvelines , Versailles, France.

- Merit Award, December 2005, Wilfrid Laurier University
- FTICA, Fellow of the Institute of Combinatorics and its
Applications, January 28, 2004
- Best Poster Award, with D. Butcher,
SHARCnet Power Partnership Performance event,
January 2004, UWO, London ON, Canada
- ACM Web Assistant Award, ISSAC'2001 London, Ontario, Canada
- Best Poster Award, with A. Galligo, R. Corless, S. Watt, ISSAC'2001 London, Ontario, Canada
- Ontario Research Centre for Computer Algebra Post-Doctoral Fellowship, 1999-2001
- French Ministry of National Education Research and Technology Doctoral Scholarship, 1995-1998

SCHOLARLY AND PROFESSIONAL ACTIVITIES

*i. Editorial Board*

- Editor, (term of appointment: 2004-2007),
**Communications in Computer Algebra**, published by the Association for Computing Machinery (ACM) Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM) **Mathematics and Computers in Simulation**, Elsevier, Special Issue on*Applications of Computer Algebra in Science, Engineering, Simulation and Special Software*, 67, 2004, no. 1-2. Guest Editors: Michael Wester, Elizabeth A. Arnold, Patrizia Gianni, Ilias S. Kotsireas, Eugenio Roanes-Lozano, Stanly Steinberg**Journal of Symbolic Computation**, Elsevier, Special Issue on*Applications of Computer Algebra*, 40, 2005, no. 4-5. Guest Editors: Ilias S. Kotsireas, Alkis G. Akritas, Stanly Steinberg, Michael Wester**Journal of Statistical Planning and Inference**, Elsevier, Special Issue on*Metaheuristics, Combinatorial Optimization and Design of Experiments*, in progress. Guest Editors: Ilias S. Kotsireas, Christos Koukouvinos

*ii. Memberships*

- ACM/SIGSAM (Association for Computing Machinery, Special Interest Group on Symbolic and Algebraic Manipulation)
- AMS (American Mathematical Society)
- HMS (Hellenic Mathematical Society)
- ICA (Institute of Combinatorics and its Applications)

*iii. Journal Referee*

- Journal of Symbolic Computation
- Mathematics and Computers in Simulation
- International Journal of Computers and Mathematics With Applications
- Applied Mathematics Letters

*iv. External Grant Referee*

National Science Foundation (NSF) ITR Panel,
Numeric, Symbolic and Geometric program, May 2001, Arlington, VA, USA.

*v. Selected research visits & stays*

- Research Institute for Symbolic Computation,
RISC-Linz, November 1999, Linz, Austria. (contact: Prof. Josef
Schicho)
- Center for Nonlinear Phenomena and Complex Systems,
Université Libre de Bruxelles, CENOLI, ULB, February 2001,
Brussels, Belgium. (contacts: Professor G. Nicolis, Dr. K.
Karamanos)
- Intensive Summer School in Computer Algebra, July 2001,
Queen's University, Kingston, Ontario, Canada.
- ZIB-Berlin, Germany.
- MMRC,
Beijing, P.R. China. (contact: Professor Xiao-shan Gao, Director)
- EAGER - EMS Summer School on Computational Algebraic Geometry
and Applications Eilat, Israel, February 2002.

*vi. Conference Organization*

- Waterloo Workshop on Computer Algebra, WWCA, April 2006,
co-organizer, Waterloo, Ontario, Canada
- Program Committee Chair, Maple Conference 2006, Waterloo Ontario, Canada
- Publicity Chair,
International Symposium on Symbolic and Algebraic Computation 2006,
ISSAC 2006, Genoa, Italy
- General Chair,
Computer Algebra in Scientific Computing
CASC 2005, Kalamata, Greece
- Program Committee Chair, Maple Conference 2005, Waterloo ON, Canada
- Publicity Chair,
International Symposium on Symbolic and Algebraic Computation 2005,
ISSAC 2005, Beijing, China
- Scientific Committee Chair and Steering Committee Member,
High Performance Computing Systems and Applications 2005,
HPCS 2005, hosted by SHARCnet, Guelph, Ontario, Canada
- Poster Committee,
International Symposium on Symbolic and Algebraic Computation 2005,
ISSAC 2004, University of Cantabria, Santander, Spain
- General Chair,
East Coast Computer Algebra Day 2004,
ECCAD 2004, Waterloo, Ontario, Canada
- General Chair,
Applications of Computer Algebra 2002,
ACA 2002 Volos, Thessaly, Greece
- Local Arrangements, ECCAD 2000/SONAD 2000, & ISSAC 2001, London, Ontario, Canada
- Permanent member of the Program Committee-Scientific Committee
in the ACA (Applications of Computer Algebra) and CASC (Computer Algebra
in Scientific Computing) conference series, since 2000.

STUDENT SUPERVISION (9 undergraduate students)

- Dan Butcher, SHARCnet Round III Graduate Fellowship
- Jason Cousineau, Research Assistant
- Alexei Karpenko, Research Assistant
- Edmond Lau, Research Assistant
- Chris Odorjan, Research Assistant
- Gil Pinheiro, Directed Research Course, Research Assistant
- Dimitra Rentas, co-op Student
- Michael Sukman, Research Assistant
- Paul Walrath, Directed Research Course, Research Assistant

TEACHING (taught 7 different courses at Wilfrid Laurier University)

- CP102 Information Processing with Microcomputer Systems, Fall 2004, Winter 2006, Winter 2007.
- CP114 Data Structures I, Winter 2005.
- CP315 Introduction to Scientific Computation, Fall 2004, Fall 2005.
- CP363 Databases I, Winter 2002, Winter 2003, Winter 2004, Winter 2005, Winter 2006, Winter 2007.
- CP411 Computer Graphics, Fall 2002, Fall 2005.
- CP463 Discrete Event Simulation, Winter 2002, Winter 2003, Winter 2004, Winter 2007.
- CP465 Databases II, Fall 2002, Winter 2007.

EXTERNAL RESEARCH FUNDING

Year | Source | Type | Amount | Purpose |

2002-2006 | NSERC | Individual Research Grant | $ 64000 | Research |

2002 | SHARCnet | Round III Graduate Fellowship | $ 22000 | Grad. Fell. |

2006-2011 | NSERC | Individual Research Grant | $ 75000 | Research |

2007-2008 | EU | ENTER | € 96000 | Research |

INTERNAL RESEARCH FUNDING

Year | Source | Type | Amount | Purpose |

2002 | WLU | Conference/Workshop Grant | $ 3000 | ACA 2002 |

Fall 2003 | WLU | Course Remission Grant | $ 10000 | Research |

2004 | WLU | Conference/Workshop Grant | $ 3000 | ECCAD 2004 |

2004 | WLU | Laurier Lecture co-sponsorship Fund | $ 1100 | CSASM |

2004 | WLU | STEP | $ 5000 | CSASM |

2004 | WLU | Academic Development Fund | $ 1100 | ICPSS 2004 |

2005 | WLU | Academic Development Fund | $ 1500 | CASC 2005 |

2005 | WLU | Merit Award | $ 3000 | Research |

2006 | WLU | Academic Development Fund | $ 3000 | WWCA 2006 |

PUBLICATIONS

BOOKS EDITED (6)

(available from the TriUniversity Group of Libraries (TUG) TRELLIS service
`http://www.tug-libraries.on.ca/` )

- Waterloo Workshop on Computer Algebra 2006, World Scientific, in progress,
Editors: Ilias S. Kotsireas, Eugene Zima.
- Maple Conference 2005, Waterloo, Canada,
Proceedings, Editor: Ilias S. Kotsireas
(with the assistance of I. J. Sinclair, J. Duketow, R. M. Kalbfleisch), 515 pages.
- High Performance Computing Systems and Applications, HPCS 2005, Guelph, Canada,
Conference Proceedings, IEEE, Editors: Ilias S. Kotsireas and Deborah Stacey, 362 pages.
- International Symposium on Symbolic and Algebraic Computation, ISSAC 2004,
University of Cantabria, Santander Spain. Collection of Poster Abstracts,
Editor: Ilias S. Kotsireas, 55 pages.
- East Coast Computer Algebra Day, ECCAD 2004, Waterloo, Canada,
Book of Abstracts, Editors: Ilias S. Kotsireas, 22 pages.
- Applications of Computer Algebra, ACA 2002, Volos, Greece,
Book of Abstracts, Editors: Alkis G. Akritas, Ilias S. Kotsireas 148 pages.

CHAPTERS IN BOOKS (2)

- Ilias Kotsireas.
Central Configurations in the Newtonian N-body problem of Celestial Mechanics.
Computer Algebra Handbook, Springer Verlag, 2002,
J. Grabmeier, E. Kaltofen, V. Weispfenning eds pp 176-180.
- Ilias Kotsireas.
Panorama of methods for exact implicitization of algebraic curves and surfaces.
Geometric Computation, World Scientific, 2003,
D. Wang, F. Chen eds pp 126-155.

PAPERS IN REFEREED JOURNALS (18)

- Ilias S. Kotsireas and Daniel Lazard.
Central Configurations of the 5-body problem with equal masses in three-dimensional space.
**J.Math. Sci. (New York)**, vol. 108, 2002, no. 6, pp. 1119-1138 - Ilias S. Kotsireas.
Central configurations in the Newtonian N-body problem of Celestial Mechanics.
**Contemporary Mathematics**, AMS, vol. 286, 2000, pp. 71-98 - K. Karamanos, I. Kotsireas,
Thorough numerical entropy analysis by lumping of some substitutive sequences.
**Kybernetes**2002, Volume 31, no. 9/10, pp. 1409-1417 - K. Karamanos, I. Kotsireas,
Statistical analysis of the first digits of the binary expansion
of Feigenbaum constants and ,
**Journal of the Franklin Institute**, Volume 342 (2005) pp. 329-340. - I. Kotsireas, K. Karamanos.
Exact computation of the Bifurcation point B4 of the logistic map and the Bailey-Broadhurst conjectures.
**International Journal of Bifurcation and Chaos**Volume 14, no. 7, 2004, pp. 2417-2423 - H. Evangelaras, I. Kotsireas, C. Koukouvinos. Applications of
Groebner bases to the analysis of certain two or three level
factorial designs.
**Advances and Applications in Statistics**3, no. 1, 2003 pp. 1-13. - I. S. Kotsireas, C. Koukouvinos. J. Seberry. Hadamard ideals and
Hadamard matrices with circulant core
**J. Combin. Math. Combin. Comput.**57, 2006, pp. 47-63. - I. S. Kotsireas, C. Koukouvinos, J. Seberry. Hadamard ideals and
Hadamard matrices with two circulant cores.
**European Journal of Combinatorics**27, 2006, no. 5, pp. 658-668. - I. S. Kotsireas, C. Koukouvinos, Inequivalent Hadamard matrices with
buckets,
**J. Discrete Math. Sci. Cryptogr.**7, 2004, no. 3, pp. 307-317. - I. S. Kotsireas, C. Koukouvinos, Genetic Algorithms for the
construction of Hadamard matrices with two circulant cores
**J. Discrete Math. Sci. Cryptogr.**8, 2005, no. 2, pp. 241-250. - I.S. Kotsireas, C. Koukouvinos,
A computational algebraic approach for saturated D-optimal designs with
observations
**Utilitas Mathematica**71, 2006, pp. 197-207. - I. Kotsireas, C. Koukouvinos and M.P. Rogantin, Inequivalent
Hadamard matrices via indicator functions.
**Int. J. Applied Math.**16, 2004, no. 3, pp. 355-363. - J. Cousineau, I. Kotsireas, C. Koukouvinos, Genetic Algorithms for
Orthogonal Designs
**Australasian Journal of Combinatorics**35, 2006, pp. 263-272. - S. Georgiou, I. Kotsireas, C. Koukouvinos,
Inequivalent Hadamard matrices of order 2n from Hadamard matrices of
order n.
**J. Combin. Math. Combin. Comput.**to appear. - I. S. Kotsireas, C. Koukouvinos, G. Pinheiro,
Metasoftware for Hadamard matrices.
**Int. J. Appl. Math.**18, 2005, no. 2, pp. 263-278. - I. S. Kotsireas, C. Koukouvinos
Orthogonal designs via computational algebra.
**Journal of Combinatorial Designs**14, 2006, Issue 5, pp. 351-362. - I. Z. Emiris, I. S. Kotsireas, Implicitization
exploiting sparseness. Geometric and algorithmic aspects of
computer-aided design and manufacturing, pp. 281-297,
**DIMACS Ser. Discrete Math. Theoret. Comput. Sci.**, 67, AMS Providence, RI, 2005. - I. S. Kotsireas, C. Koukouvinos
Constructions for Hadamard matrices of Williamson type.
**J. Combin. Math. Combin. Comput.**59, 2006, pp. 17-32.

PAPERS IN REFEREED CONFERENCE PROCEEDINGS (12)

- Jean-Charles Faugère and Ilias Kotsireas.
Symmetry theorems for the Newtonian 4- and 5-body problems with equal masses.
CASC 1999 Proceedings, Springer Verlag, LNCSE, V. Ganzha, et al. (Eds). pp. 81-92
- Ilias Kotsireas.
The Erdos-Straus conjecture on Egyptian Fractions.
Paul Erdos and his mathematics (Budapest 1999) Janos Bolyai Math. Soc.
A. Sali, M. Simonovits, V. Sos, eds. pp. 140-144
- Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt.
Numerical implicitization of parametric hypersurfaces with linear algebra.
AISC 2000 Proceedings, Springer Verlag, LNAI 1930, E. Roanes-Lozano, ed. pp. 174-183
- Robert M. Corless, Mark W. Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt.
Towards Factoring Bivariate Approximate Polynomials.
ISSAC 2001 Proceedings, ACM Press, B. Mourrain ed. pp. 85-92
- Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M.
Watt. A Geometric-Numeric Algorithm for Absolute Factorization of
Multivariate Polynomials. ISSAC'2002 Proceedings, ACM Press, T.
Mora ed. pp. 37-45
- K. Karamanos, Ilias S. Kotsireas,
Towards Large-Scale Entropy Computations
CASYS 2003 Proceedings, AIP, pp. 385-391
- Ilias S. Kotsireas, Edmond Lau.
Implicitization of Polynomial Curves, IPCurves.
ASCM 2003 Proceedings, Beijing, China, Z. Li, W. Sit (Eds) pp. 217-226
- Ioannis Z. Emiris, Ilias S. Kotsireas.
Implicit Polynomial Support Optimized for Sparseness ICCSA'2003,
Proceedings, LNCS 2669 Montreal, Canada, V. Kumar et al. (Eds) pp. 397-406
- Ilias S. Kotsireas, Edmond Lau, Richard Voino.
Implicitization of Polynomial Surfaces, IPSurfaces.
CASC 2003 Proceedings, Passau, Germany, E. W. Mayr et al. (Eds) pp. 241-247
- Ilias S. Kotsireas, Gil Pinheiro,
A Meta-Software System for the Discovery of Hadamard Matrices,
HPCS 2005 Proceedings, IEEE Guelph ON, Canada, I. Kotsireas, D. Stacey (Eds) pp. 17-23
- I. S. Kotsireas, C. Koukouvinos, K. E. Parsopoulos, M. N. Vrahatis
Unified Particle Swarm Optimization for Hadamard Matrices of Williamson Type
MACIS 2006 Proceedings, Beijing, China
- I. S. Kotsireas, C. Koukouvinos, D. E. Simos
Inequivalent Hadamard Matrices via Orthogonal Designs
MACIS 2006 Proceedings, Beijing, China

TECHNICAL REPORTS (7)

- Ioannis Z. Emiris, Ilias S. Kotsireas.
On the Support of the Implicit Equation of Rational Parametric Hypersurfaces.
August 2002, Technical Report TR-02-01 ORCCA
- Ilias Kotsireas and Gregory Reid.
Alternative Ways of Solving Polynomial Systems.
2001, Technical Report TR-01-03 ORCCA
- Ilias S. Kotsireas.
Homotopy and polynomial system solving.
2000, Technical Report TR-00-23 ORCCA
- Robert M. Corless, Mark Giesbrecht, Ilias Kotsireas and Stephen Watt
Symbolic-Numeric Algorithms for Polynomials
2000, Technical Report TR-00-21 ORCCA
- Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas and Stephen M. Watt.
Numerical implicitization of parametric hypersurfaces with linear algebra.
2000, Technical Report TR-00-03 ORCCA
- Ilias Kotsireas and Josef Schicho.
*A Computer Algebra solution to a planar newtonian 4-body problem with unequal masses.*Technical Report 00-16/2000 RISC-Linz. - Ilias Kotsireas.
*Configurations centrales dans le problème des N Corps*. M.Sc. Thesis, 1995, LIP6, Université Paris 6, (in french)

PAPERS NON-REFEREED (1)

- I. S. Kotsireas. Homotopies and polynomial system solving I. Basic Principles. SIGSAM Bulletin, March 2001, vol. 35, no. 1, issue 135, pp. 19-32

SELECTED CONFERENCE PRESENTATIONS (17)

*Astronomy and Dynamical Systems*seminar, French National Bureau of Standards, (Bureau des Longitudes), June 1998, Paris, France.- French National Days on Symbolic Computation, CIRM, October 1998, Marseille, France.
*Computer Algebra and Complexity*seminar, Rennes I University, February 1999, IRMAR, Rennes, France. (invited)- Summer School of young scientists in Algorithms and Symbolic Computation.
March 1999, LaBRI, Université Bordeaux 1, Bordeaux, France.
- FRISCO (an Esprit-LTR European Commission Project) Closing Workshop
April, 1999, NAG Corporation, Oxford, England. (invited)
- CASC'99, May 1999, TUM, Munich, Germany.
- ACA'99, June 1999, Universidad Complutense de Madrid, Madrid, Spain.
- Paul Erdos and his Mathematics, Paul Erdos Memorial Conference,
(satellite conference of the UNESCO World Conference on Science)
July 4-11, 1999, Budapest, Hungary. (poster and research communication) (partial support)
- Effective Methods in Algebraic Geometry, Méthodes Effectives en Géométrie Algébrique , MEGA 2000,
June 20-24, 2000, University of Bath, Bath, England
- Applications of Computer Algebra, ACA 2000, June 2000,
Steklov Institute of Mathematics, St. Petersburg, Russia. (partial support)
- Applications of Computer Algebra, ACA 2004, July 2004, Lamar University, Beaumont, Texas, USA
- International Conference on Polynomial System Solving, ICPSS 2004, November 2004, Paris, France
- American Institute of Mathematics, AIM, workshop on
Computational Algebraic Statistics, December 14-18, 2003, Palo
Alto, California, USA
- International Conference On Design Of Experiments: theory and applications, ICODOE, May 13-15, 2005,
Memphis TN, USA
- Applications of Computer Algebra, ACA 2005, July 31 - August 3, 2005,
Nara Women's University, Nara, Japan
- Asian Symposium on Computer Mathematics ASCM 2005, December 2005,
Korea Institute for Advanced Study, Seul, Korea (partial support)
- Mathematical Aspects of Computer and Information Sciences, MACIS 2006,
July 2006, Beihang University, Beijing, China

ADMINISTRATIVE AND COMMUNITY SERVICE

Department:

- Web page Committee, 2005
- DAP Committee, 2002

Faculty:

- Ontario Universities Fair, Toronto, Faculty of Science kiosk
- Teachers Science Day 2005, Presentation Title: "Working with 200 computers simultaneously, high-performance computing demonstration", February 2005
- co-founder (with CRC Tier I Roderick Melnik) of the
Laurier Seminar Series in Computational Science and Applied and
Statistical Modelling (CSASM) 2004. web page:
`http://www.mmcs.wlu.ca/csasm/` - Environment/occupational Health and Safety Committee, Emergency Warden, 2004-2005

University:

- Senate Committee on Information Technology, 2005-2006
- Shared Hierarchical Academic Research Computing Network (SHARCnet) site leader for Wilfrid Laurier University, December 2005-

External:

- Promoting Women in Science, PROWIS 2003,

Workshop Title: "The Fractal Geometry of Nature" May 2003 - Promoting Women in Science, PROWIS 2002,

Workshop Title: "Have fun with the computer while learning useful Mathematics" May 2002