CURRICULUM VITAE

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.

HONOURS AND AWARDS

• 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)

1. Dan Butcher, SHARCnet Round III Graduate Fellowship
2. Jason Cousineau, Research Assistant
3. Alexei Karpenko, Research Assistant
4. Edmond Lau, Research Assistant
5. Chris Odorjan, Research Assistant
6. Gil Pinheiro, Directed Research Course, Research Assistant
7. Dimitra Rentas, co-op Student
8. Michael Sukman, Research Assistant
9. Paul Walrath, Directed Research Course, Research Assistant

TEACHING (taught 7 different courses at Wilfrid Laurier University)

1. CP102 Information Processing with Microcomputer Systems, Fall 2004, Winter 2006, Winter 2007.
2. CP114 Data Structures I, Winter 2005.
3. CP315 Introduction to Scientific Computation, Fall 2004, Fall 2005.
4. CP363 Databases I, Winter 2002, Winter 2003, Winter 2004, Winter 2005, Winter 2006, Winter 2007.
5. CP411 Computer Graphics, Fall 2002, Fall 2005.
6. CP463 Discrete Event Simulation, Winter 2002, Winter 2003, Winter 2004, Winter 2007.
7. 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/ )

1. Waterloo Workshop on Computer Algebra 2006, World Scientific, in progress, Editors: Ilias S. Kotsireas, Eugene Zima.

2. Maple Conference 2005, Waterloo, Canada, Proceedings, Editor: Ilias S. Kotsireas (with the assistance of I. J. Sinclair, J. Duketow, R. M. Kalbfleisch), 515 pages.

3. High Performance Computing Systems and Applications, HPCS 2005, Guelph, Canada, Conference Proceedings, IEEE, Editors: Ilias S. Kotsireas and Deborah Stacey, 362 pages.

4. International Symposium on Symbolic and Algebraic Computation, ISSAC 2004, University of Cantabria, Santander Spain. Collection of Poster Abstracts, Editor: Ilias S. Kotsireas, 55 pages.

5. East Coast Computer Algebra Day, ECCAD 2004, Waterloo, Canada, Book of Abstracts, Editors: Ilias S. Kotsireas, 22 pages.

6. Applications of Computer Algebra, ACA 2002, Volos, Greece, Book of Abstracts, Editors: Alkis G. Akritas, Ilias S. Kotsireas 148 pages.

CHAPTERS IN BOOKS (2)

1. 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.

2. 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)

1. 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

2. Ilias S. Kotsireas. Central configurations in the Newtonian N-body problem of Celestial Mechanics. Contemporary Mathematics, AMS, vol. 286, 2000, pp. 71-98

3. K. Karamanos, I. Kotsireas, Thorough numerical entropy analysis by lumping of some substitutive sequences. Kybernetes 2002, Volume 31, no. 9/10, pp. 1409-1417

4. K. Karamanos, I. Kotsireas, Statistical analysis of the first digits of the binary expansion of Feigenbaum constants $\alpha$ and $\delta$, Journal of the Franklin Institute, Volume 342 (2005) pp. 329-340.

5. 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

6. 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.

7. 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.

8. 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.

9. I. S. Kotsireas, C. Koukouvinos, Inequivalent Hadamard matrices with buckets, J. Discrete Math. Sci. Cryptogr. 7, 2004, no. 3, pp. 307-317.

10. 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.

11. I.S. Kotsireas, C. Koukouvinos, A computational algebraic approach for saturated D-optimal designs with $n \equiv 2 (mod 4)$ observations Utilitas Mathematica 71, 2006, pp. 197-207.

12. 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.

13. J. Cousineau, I. Kotsireas, C. Koukouvinos, Genetic Algorithms for Orthogonal Designs Australasian Journal of Combinatorics 35, 2006, pp. 263-272.

14. 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.

15. I. S. Kotsireas, C. Koukouvinos, G. Pinheiro, Metasoftware for Hadamard matrices. Int. J. Appl. Math. 18, 2005, no. 2, pp. 263-278.

16. I. S. Kotsireas, C. Koukouvinos Orthogonal designs via computational algebra. Journal of Combinatorial Designs 14, 2006, Issue 5, pp. 351-362.

17. 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.

18. 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)

1. 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

2. 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

3. 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

4. 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

5. 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

6. K. Karamanos, Ilias S. Kotsireas, Towards Large-Scale Entropy Computations CASYS 2003 Proceedings, AIP, pp. 385-391

7. Ilias S. Kotsireas, Edmond Lau. Implicitization of Polynomial Curves, IPCurves. ASCM 2003 Proceedings, Beijing, China, Z. Li, W. Sit (Eds) pp. 217-226

8. 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

9. 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

10. 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

11. 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

12. I. S. Kotsireas, C. Koukouvinos, D. E. Simos Inequivalent Hadamard Matrices via Orthogonal Designs MACIS 2006 Proceedings, Beijing, China

TECHNICAL REPORTS (7)

1. 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

2. Ilias Kotsireas and Gregory Reid. Alternative Ways of Solving Polynomial Systems. 2001, Technical Report TR-01-03 ORCCA

3. Ilias S. Kotsireas. Homotopy and polynomial system solving. 2000, Technical Report TR-00-23 ORCCA

4. Robert M. Corless, Mark Giesbrecht, Ilias Kotsireas and Stephen Watt Symbolic-Numeric Algorithms for Polynomials 2000, Technical Report TR-00-21 ORCCA

5. 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

6. 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.

7. 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)

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)

1. Astronomy and Dynamical Systems seminar, French National Bureau of Standards, (Bureau des Longitudes), June 1998, Paris, France.
2. French National Days on Symbolic Computation, CIRM, October 1998, Marseille, France.
3. Computer Algebra and Complexity seminar, Rennes I University, February 1999, IRMAR, Rennes, France. (invited)

4. Summer School of young scientists in Algorithms and Symbolic Computation. March 1999, LaBRI, Université Bordeaux 1, Bordeaux, France.

5. FRISCO (an Esprit-LTR European Commission Project) Closing Workshop April, 1999, NAG Corporation, Oxford, England. (invited)

6. CASC'99, May 1999, TUM, Munich, Germany.

7. ACA'99, June 1999, Universidad Complutense de Madrid, Madrid, Spain.

8. 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)

9. 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

10. Applications of Computer Algebra, ACA 2000, June 2000, Steklov Institute of Mathematics, St. Petersburg, Russia. (partial support)

11. Applications of Computer Algebra, ACA 2004, July 2004, Lamar University, Beaumont, Texas, USA

12. International Conference on Polynomial System Solving, ICPSS 2004, November 2004, Paris, France

13. American Institute of Mathematics, AIM, workshop on Computational Algebraic Statistics, December 14-18, 2003, Palo Alto, California, USA

14. International Conference On Design Of Experiments: theory and applications, ICODOE, May 13-15, 2005, Memphis TN, USA

15. Applications of Computer Algebra, ACA 2005, July 31 - August 3, 2005, Nara Women's University, Nara, Japan

16. Asian Symposium on Computer Mathematics ASCM 2005, December 2005, Korea Institute for Advanced Study, Seul, Korea (partial support)

17. Mathematical Aspects of Computer and Information Sciences, MACIS 2006, July 2006, Beihang University, Beijing, China

ADMINISTRATIVE AND COMMUNITY SERVICE

Department:

1. Web page Committee, 2005
2. DAP Committee, 2002

Faculty:

1. Ontario Universities Fair, Toronto, Faculty of Science kiosk
2. Teachers Science Day 2005, Presentation Title: "Working with 200 computers simultaneously, high-performance computing demonstration", February 2005
3. 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/
4. Environment/occupational Health and Safety Committee, Emergency Warden, 2004-2005

University:

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

External:

1. Promoting Women in Science, PROWIS 2003,
   Workshop Title: "The Fractal Geometry of Nature" May 2003
2. Promoting Women in Science, PROWIS 2002,
   Workshop Title: "Have fun with the computer while learning useful Mathematics" May 2002