DOCSLIB.ORG

Compute Canada — Calcul Canada a Proposal to the Canada Foundation for Innovation – National Platforms Fund

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Compute Canada — Calcul Canada a Proposal to the Canada Foundation for Innovation – National Platforms Fund Compute Canada — Calcul Canada A proposal to the Canada Foundation for Innovation – National Platforms Fund Hugh Couchman (McMaster University, SHARCNET) Robert Deupree (Saint Mary’s University, ACEnet) Ken Edgecombe (Queen’s University, HPCVL) Wagdi Habashi (McGill University, CLUMEQ) Richard Peltier (University of Toronto, SciNet) Jonathan Schaeffer (University of Alberta, WestGrid) David S´en´echal (Universit´ede Sherbrooke, RQCHP) Executive Summary The Compute/Calcul Canada (CC) initiative unites the academic high-performance comput- ing (HPC) organizations in Canada. The seven regional HPC consortia in Canada —ACEnet, CLUMEQ, RQCHP, HPCVL, SciNet, SHARCNET and WestGrid— represent over 50 institutions and over one thousand university faculty members doing computationally-based research. The Compute Canada initiative is a coherent and comprehensive proposal to build a shared distributed HPC infrastructure across Canada to best meet the needs of the research community and en- able leading-edge world-competitive research. This proposal is requesting an investment of 60 M$ from CFI (150 M$ with matching money) to put the necessary infrastructure in place for four of the consortia for the 2007-2010 period. It is also requesting operating funds from Canada’s research councils, for all seven consortia. Compute Canada has developed a consensus on national governance, resource planning, and resource sharing models, allowing for effective usage and man- agement of the proposed facilities. Compute Canada represents a major step forward in moving from a regional to a national HPC collaboration. Our vision is the result of extensive consultations with the Canadian research community. 1 Introduction High Performance Computing (HPC) is transforming research in Canadian universities and industry. Computer simulations and models now supplement or even supplant traditional field or laboratory experiments in many disciplines. Massive data-sets from large-scale field experiments are being manipulated, stored and shared. Numerical laboratories open up otherwise inaccessible realms and enable insights that were inconceivable a few years ago. Research worldwide has seen a dramatic increase in the demand for HPC in the traditional areas of science and engineering, as well as in medicine and the social sciences and humanities. In 1999, Canada occupied an inconsequential position in HPC-based research, but that year saw the first funding of HPC by the Canada Foundation for Innovation. The subsequent combination of federal, provincial and industrial funding is enabling Canada to develop a strong foundation in HPC research, train highly qualified personnel and attract international experts. 1.1 Background In 1995, thirty Canadian researchers met in Ottawa to discuss the inadequate computing fa- cilities available in Canada for academic researchers. The action plan arising from this meeting eventually led to the creation of C3.ca (www.c3.ca) in 1997, a national organization for advocating research in high-performance computing. C3.ca represents the imagination, good will and shared vision of more than 50 institutions and thousands of researchers, post-doctoral fellows, graduate students, and support personnel. C3.ca’s vision is to create “a Canadian fabric of interwoven technologies, applications and skills based on advanced computation and communication systems applied to national needs and opportunities for research innovation in the sciences, engineering and the arts.” This vision is still relevant today. The creation of C3.ca fortuitously aligned with a new government of Canada initiative: the Canada Foundation for Innovation (CFI). Since the first CFI competition in 1998 (with results announced in 1999) and subsequent announcements in 2000, 2002 and 2004, Canadian researchers have actively pursued building competitive HPC infrastructure across the country. This has been facilitated by the creation of seven regional consortia of research universities with the mandate to apply for, acquire and operate HPC facilities that would be shared among researchers in their respective consortia. The consortia details are given in Table 1.1, while Table 1.2 lists the major research organizations that have partnered with the consortia. The number of faculty members using HPC has increased from a few hundred in 2000 to over one thousand in 2006 (and that number is growing). Maintaining the HPC infrastructure required multiple CFI applications to be approved each funding cycle. This led to the desire for a more stable and coordinated source of funding. In response, a two-year-long effort culminated in the October 2005 publication of the C3.ca Long- Range Plan (LRP) for high performance computing in Canada (Engines of Discovery: The 21st Century Revolution1), jointly funded by C3.ca, the National Research Council, CFI, NSERC, CIHR, SSHRC and CANARIE. CFI created the National Platforms Fund (NPF) program, in part as a response to the Long Range Plan. It recognized the large funds invested by CFI in shared consortia-based HPC infrastructure, as well as the significant investments made in research-group- specific, non-shared facilities. 1.2 Vision Our vision is for a national collaboration to acquire and support world-class fully-shared HPC in- frastructure across the country, creating an environment that fosters and enables new research insights and advances. 1 The plan is available at www.c3.ca/LRP – 1 – Consortium Provinces Members ACEnet Newfoundland, Dalhousie U., Memorial U., Mount Allison U., www.ace-net.ca Nova Scotia, New St. Francis Xavier U., St. Mary’s U., U. of New Brunswick, Prince Brunswick, U. of Prince Edward Island. Edward Island Soon to join: Acadia U., Cape Breton U. CLUMEQ Qu´ebec McGill U., U. Laval, UQAM, and all others branches www.clumeq.mcgill.ca and institutes of l’Universit´edu Qu´ebec: UQAC, UQTR, UQAR, UQO, UQAT, ETS, ENAP and INRS RQCHP Qu´ebec Bishop’s U., Concordia U., Ecole´ Polytechnique, U. www.rqchp.qc.ca de Montr´eal,U. de Sherbrooke HPCVL Ontario Carleton U., Loyalist College, Queen’s U., Royal www.hpcvl.org Military College, Ryerson U., Seneca College, U. of Ottawa SciNet Ontario U. of Toronto www.scinet.utoronto.ca SHARCNET Ontario Brock U., Fanshawe College, U. of Guelph, Lakehead www.sharcnet.ca U., Laurentian U., Sir. Wilfrid Laurier U., McMaster U., Ontario College of Art and Design, U. Ontario Institute of Technology, Sheridan College, Trent U., U. of Waterloo, U. of Western Ontario, U. of Windsor, York U. WestGrid Alberta, Athabasca U., Brandon U., Simon Fraser U., U. of www.westgrid.ca British Columbia, Alberta, U. of British Columbia, U. of Calgary, U. of Manitoba, Lethbridge, U of Manitoba, U. of Northern British Saskatchewan Columbia, U. of Regina, U. of Saskatchewan, U. of Victoria, U. of Winnipeg Table 1.1. Academic consortia membership (research hospitals affiliated with many institutions above are full partners in their respective consortia.) National Institute for Nanotechnology Sudbury Neutrino Observatory Canada Light Source Perimeter Institute for Theoretical Physics TRIUMF Fields Institute for Mathematical Sciences NRC Herzberg Institute for Astrophysics Robarts Research Institute Ouranos Centre de recherches math´ematiques Natural Resources Canada Banff Centre Institut de recherche d’Hydro-Qu´ebec Table 1.2. Major research partners. This proposal responds fully to CFI’s integrated strategy for HPC investments. Our proposal calls for a strengthening of the Canadian HPC collaboration and a metamorphosis of C3.ca into Compute Canada (Calcul Canada in French), reflecting the priority investment recommended in the LRP. Compute Canada will serve the HPC needs of Canadian University researchers, regardless of their affiliation. It represents a major (and evolutionary) leap forward in two significant ways. First, instead of thinking regionally we are thinking nationally; all seven consortia are full partners – 2 – in this proposal to create a national initiative. Second, CFI funds have historically been targeted towards meeting the computational needs of individual consortia (with a CFI requirement for 20% sharing with the rest of Canada). All the consortia are working together to build a world-class fully shared national infrastructure for computational-based research in Canada. We anticipate that the HPC community and this proposal will continue to evolve to meet the needs of Canadian research in the future. Thus, the partners will continue working with the research community to refine and improve the vision. 1.3 Application Process This proposal is based on an extensive consultation with the Canadian academic research community. The formal process began in October 2005 with a CFI-sponsored workshop. However, the consultations began much earlier in preparation for the next CFI application cycle. The proposal has been co-authored by the National Initiatives Committee (NIC), consisting of one representative from each consortium. High-level decisions were approved by the National Steering Committee (NSC), consisting of a Vice President (Research) from each consortium. Consultation with the research community included surveys, submissions, and interviews. Every attempt was made to engage as much of the research community as possible. Although this is a national proposal, the requested infrastructure is targeted to giving four of the consortia a much-needed technology refresh. CLUMEQ was last funded by CFI in 2000, while RQCHP, SciNet and WestGrid were last funded in 2002. These four consortia represent 61% of the faculty members
Load more

Recommended publications
  • Dedicated Programming Support
    Dedicated Programming Support Application Guidelines Round XVII SHARCNET Dedicated Programming Support Page 1 Last updated: 3/2/2020 SHARCNET Dedicated Programming Support 1. Objectives To enable key research projects with the potential for exceptional and lasting impact that require significant programming support to proceed, and To facilitate optimal exploitation of SHARCNET’s or Compute Canada’s high performance and advanced computing infrastructure for internationally leading research. 2. Summary of Programme The programme provides support for computational projects of exceptional potential that will have lasting impact and value, that require high performance and advanced computing resources and significant programming support from SHARCNET to proceed. Applications are encouraged that satisfy the programme objectives and priority will be given to proposals that meet one or more of the following conditions: Propose an innovative project that will leverage the capabilities of the national systems, such as "Graham" and the cloud. Propose a programme of work that deals with the efficient processing of large, heterogeneous datasets ("big data") using a variety of data mining, machine learning or other analytics software. Applications from teams of faculty, especially if these are inter-disciplinary and/or inter-institutional, are especially encouraged. The key elements of the programme are described in the following points: The primary resource provided is programming and development support by one or more SHARCNET personnel. The intent is to enable specific, focused projects, not to provide an envelope of incidental support time or basic software development. Requests that do not clearly indicate a well-defined, specific outcome that represents a substantive advance in the field, will be uncompetitive.
    [Show full text]
  • In This Issue: Seeing the Forest Beyond the Trees
    Ten Year Anniversary Edition 2011 VOL. 9 ISSUE 1 Seeing the Forest Beyond the Trees University OF GUELPH PROFESSOR USES ecological MODELLING to study forest diversity BY Katharine TUERKE, Students Promoting AWARENESS OF RESEARCH KNOWLEDGE (SPARK) years Program at THE University OF GUELPH in this issue: • Message from the Chair of the Board • Scientific Director’s Message Photo of Wolf Lake, Ontario (M. Anand) • What Fires Together, Forests make up 30 per cent of the Earth’s surface, complex ecological system, work and are organized,” Wires Together but they are shrinking at an alarming rate. Climate says Anand. change, land use conversion, and invasion of foreign • HPCS 2012 species are just some stresses forests are facing. Current models are limited. They use small • SHARCNET Research geographic areas, time scales or examine only a few Indeed, the decreasing number of forests and Day 2011 accompanying decline in biodiversity is a global variables at a time, underestimating or ignoring the concern, reflected by the UN’s declaration of 2011 effect of others. • Summer School 2011 as the International Year of Forests. Anand says this approach isn’t ideal for simulating • The History of Ecologists have a general understanding of such a diverse and dynamic system as forests. SHARCNET biodiversity but the factors that create and maintain it are not well understood. Prof. Madhur Anand, To create more realistic and detailed simulations, • A Trip Down School of Environmental Sciences at the University of the models developed in Anand’s lab will use Memory Lane Guelph, is developing computer models to study shifts parallelization of individual-based models of forest in forest dynamics as a result of climate changes and dynamics to study global ecological change.
    [Show full text]
  • SHARCNET Seminar Slides
    UW SHARCNET Seminars Session I: SHARCNET Information Sessions Jemmy Hu, SHARCNET Time: Sept. 19 (Tue.), 2006, 1:00-4:00pm Part I: Introduction to SHARCNET (~1 hr) Part II: Practical Issues for how to use SHARCNET (Demo) Session II: Introduction to Parallel Programming Edward Chrzanowski, CSCF Time: Sept. 20 (Wed.), 2006, 9:00am-12:00am, MC1078, Math Building Part I: Parallel Design Concepts: Basic design of a parallel program and introduction to MPI and OpenMP covering basic functions of both. Part II: Program Analysis: Details discussed from an MPI, OpenMP, and hybrid program of the algorithm from Part I. http://www.sharcnet.ca/events/fw2006/ Part I: Introduction to SHARCNET • SHARCNET • Hardware • Software • File system • Job Scheduling • Account • Support • UW site Part I. Introduction to SHARCNET What’s SHARCNET http://www.sharcnet.ca • The SHARCNET Vision To establish a world-leading, multi-university and college, interdisciplinary institute with an active academic-industry partnership, enabling forefront computational research in critical areas of science, engineering and business. • The SHARCNET Mission SHARCNET exists to enable world-class computational research so as to accelerate the production of research results. General Goals: • provide otherwise unattainable compute resources • build common, seamless computing environment • promote remote collaboration and researches Part 1. Introduction to SHARCNET Academic and Affiliated Partners The SHARCNET community consists of 16 academic institutions in Ontario • Founding members
    [Show full text]
  • In This Issue
    SUMMER 2007 VOL. 5 ISSUE 1 Advanced Nonparametric Smoothing Methods in this issue: By Armand Vladau, Communications Officer He has recently co-authored an advanced textbook on (FIMS Intern, The University of Western Ontario) nonparametric kernel techniques titled “Nonparametric • Message from the Econometrics: Theory and Practice” (Princeton Chair of the Board Statisticians play a pivotal role University Press, 2007) that explores the properties in developing and improving of nonparametric estimators when one is dealing with • Scientific Director’s methods of estimation and a mix of categorical and continuous datatypes, found in Message inference used in many real-world data. disciplines, such as the • SHARCNET helps Team economic and medical sciences. Nonparametric smoothing methods are statistical The field of nonparametric techniques that do not require a researcher to specify Canada Selection Panel statistics continues to grow functional forms for objects being estimated. Instead, Jeffrey Racine • SHARCNET Awards McMaster researcher at an exponential rate. Many the data itself informs the resulting model in a particular nonparametric smoothing manner. In a regression framework this approach is $500k in Fellowships methods that were developed decades ago were known as ‘nonparametric regression’ or ‘nonparametric computationally burdensome, severely limiting their smoothing’. Such methods are becoming increasingly • Labour Economics and application. Other nonparametric methods have only popular for applied data analysis because they are best Economics of Education: very recently been developed, facilitated directly by suited for dealing with large data sets “for which the Human Capital dramatic improvements in technology, specifically number”, Dr. Racine explains, “of variables involved Investment high performance computing resources such as those is manageable”.
    [Show full text]
  • Researchday2012 the Premier Annual Event at Which SHARCNET Professors, Postdoctoral and Graduate Students Meet to Learn About Each Other’S HPC-Related Research
    Shared Hierarchical Academic Research Computing Network www.sharcnet.ca SHARCNET ResearchDay2012 The premier annual event at which SHARCNET professors, postdoctoral and graduate students meet to learn about each other’s HPC-related research. Call for Contributions May 23, 2012 We invite you and your research group to attend SHARCNET Research Day University of Guelph 2012 and present your work. Science Complex Atrium Please register for the event at: www.sharcnet.ca/events/RDay2012 After registration, you can submit an KEYNOTE SPEAKERS abstract for an oral presentation or Jim Chelikowsky, University of Texas, Austin poster by following the link on the “Answering Dirac’s Challenge: Using Quantum Mechanics to registration webpage, or you can come back any time later to submit an Predict the Properties of Materials” abstract by following the instructions Ming Li, University of Waterloo on the webpage. “Information Distance from a Question to an Answer” The event is free and lunch will be provided. We’re looking forward to seeing you at Research Day 2012! SHARCNET RESEARCH DAY WILL FEATURE • two invited keynote presentations by leading HPC researchers Sponsors • several parallel tracks of contributed presentations SHARCNET • a poster session with prizes for best posters in University of Guelph several categories • selected papers will be published in a Special Issue of Event Contacts the Journal of Computational Science Organizing Committee: IMPORTANT DATES Deborah Stacey, University of Guelph Sabine McConnell, Trent University May 6: deadline for oral presentation abstracts Ralf Meyer, Laurentian University May 11: notification of acceptance for contributed Jemmy Hu, SHARCNET Lilia Krivodonova, University of oral presentations Waterloo May 11: release of final program May 16: deadline for online poster abstract submission [email protected] May 16: deadline for registration (registration is free but required) May 23: SHARCNET Research Day 2012 at University of Guelph TBA: Final paper submission deadline www.sharcnet.ca/events/RDay2012.
    [Show full text]
  • In This Issue: Essential Enzyme Research Gets Boost
    FALL 2005 VOL. 3 ISSUE 2 Essential Enzyme Research in this issue: Gets Boost with SHARCNET • Message from the Chair of BY MITCH RITTER, CO-ORDINATOR OF SPARK (STUDENTS PROMOTING AWARENESS OF RESEARCH the Board KNOWLEDGE), UNIVERSITY OF GUELPH • Scientific Director’s Message Imagine being able to chemistry of new and novel biochemical catalysts found produce therapeutic within living cells. • Financial Math Beyond the drugs specific to Stock Markets certain viruses. Or In particular, their research focuses on the unique using science and catalytic mechanism of the class of enzymes known as • Fellowship Student Wins technology to better nitric oxide synthases (NOSs). These enzymes play an Best Paper Award understand brain important role in the synthesis of nitric oxide (NO), a development. Or chemical that serves a vital function in life processes • York Hosts Fall Workshop helping keep patients such as brain development, embryo formation and blood 2005 pressure regulation. with high blood • SHARCNET Visits Shanghai pressure healthy and James Gauld, Windsor researcher and In addition, Gauld and his team of researchers are Supercomputer Center SHARCNET Fellowship holder in check. Now, a interested in explaining the mechanisms of catalytic team of SHARCNET ribonucleic acids (RNA), ribozymes. RNA has long been • Collaborative Research researchers are using computational chemistry to realize known as an essential building block of life; now, it Space: AccessGrid at these goals, and more. turns out it also has a key role in the life-cycles of some SHARCNET Dr. James Gauld, Assistant Professor in the continued on page 6 • SHARCNET Sponsors Department of Chemistry and Biochemistry at Quantitative Finance the University of Windsor, along with a team of researchers, is applying computational chemistry Conference to gain a better understanding of how biocatalysts • Tech Bytes such as protein enzymes, ribonucleic acid catalysts (ribozymes) function.
    [Show full text]
  • (Mengm) and Graduate Diploma in Engineering Management
    Master of Engineering in Engineering Management (MEngM) and Graduate Diploma in Engineering Management September 2010 VOLUME I: The Program OCGS APPRAISAL BRIEF – Engineering Management page 2 TABLE OF CONTENTS VOLUME I: The Program Section Content Page 1. INTRODUCTION 1.1 Brief listing of program 4 1.2 Background 4 1.2.1 Other programs 6 1.2.2 Graduate program demand 8 1.3 Objectives of the program 10 1.4 Method used for preparation of proposal 11 1.5 Fields in the program 11 1.6 Review of concerns from previous appraisal 11 1.7 Special matters and innovative features 11 2. THE FACULTY 2.1 List of faculty 13 2.2 External operating research funding 15 2.3 Graduate supervision 17 2.4 Current and recent teaching assignments 19 2.5 Commitment of faculty members from other graduate 25 programs and/or other institutions 3. PHYSICAL AND FINANCIAL RESOURCES 3.1 Library resources 26 3.2 Laboratory facilities 27 3.3 Computer facilities 33 3.4 Space 34 3.5 Financial support of graduate students 34 4. PROGRAM REGULATIONS AND COURSES 4.1 Intellectual development and educational experience of the 35 student 4.1.1 University Vision, Mission and Values 35 4.1.2 Academic unit 36 4.2 Curriculum and program requirements 36 4.3 Program regulations 39 4.4 Part-time studies 39 4.5 Admission requirements 39 4.6 Language requirements 39 4.7 Distance delivery 40 4.8 Degree requirements 40 OCGS APPRAISAL BRIEF – Engineering Management page 3 4.9 Graduate Diploma requirements 42 4.10 Engineering electives – graduate course listings 42 5.
    [Show full text]
  • POWER - PARTNERSHIP - PERFORMANCE POWER Partner Being Hewlett Packard
    POWER - PARTNERSHIP - PERFORMANCE POWER partner being Hewlett Packard. A partnership SHARCNET is dedicated to building Canada’s SHARCNET, structured as a “cluster of with the Ontario Research and Innovation Optical knowledge-based economy. The SHARCNET clusters” across southwestern, central Network (ORION) has allowed SHARCNET to Chairs Program is designed to enable strategic and northern Ontario, is designed to meet deploy a high performance computing grid, faculty hiring and to attract world-renowned the computational needs of researchers which currently connects systems across the experts in a variety of fields to SHARCNET in diverse research areas and to facilitate consortium with a 10 Gb network, to facilitate institutions. The SHARCNET Fellowships the development of leading-edge tools increased collaboration and computationally- Program provides comprehensive matching for high performance computing grids. intensive research. funds to enable research and training at the The infrastructure is established so that undergraduate, graduate and postdoctoral level. there are four primary resource centres SHARCNET is founded on academic-industrial located at the Universities of Western collaboration and is generously supported by SHARCNET researchers, over 1,000 national Ontario, Guelph, McMaster and Waterloo institutional members, private sector partners, and international groups, have reported success providing specific architectures designed and both federal and provincial governments. in a multitude of research areas, including to accommodate the range of user computational materials, mathematical finance, applications, plus a number of special bio-computing and HPC tools. purpose systems and labs situated across PERFORMANCE the consortium. SHARCNET’s expanded SHARCNET has the requisite infrastructure, infrastructure now has 20,000 processors networks, and resources to provide facilities and more than a Petabyte of storage.
    [Show full text]
  • Excelerating Canadian Research: SHARCNET Launches Campaign to Promote High Performance Computing
    EXCELerating Canadian research: SHARCNET launches campaign to promote High Performance Computing FOR IMMEDIATE RELEASE March 01 2004 Today, the Shared Hierarchical Academic Research Computing Network (SHARCNET) launched its first annual outreach campaign: EXCELerate2004. The campaign, which spans March and April, will include interactive training workshops, research colloquiums, and open houses – all geared towards increasing the understanding of High Performance Computing (HPC) and its importance to research. Activities will be held at SHARCNET partner institutions across South Central Ontario, from the University of Windsor to UOIT in Oshawa. Through the application of high performance computing (HPC) to research, SHARCNET promotes excellence in research and accelerates the production of research results in the natural and social sciences, engineering, mathematics, and business - research results which ultimately benefit the Canadian economy, the environment, our health, knowledge and culture. Professor Hugh Couchman, SHARCNET Scientific Director, kicked off the EXCELerate campaign at McMaster University. Couchman observed that High Performance Computing, and those who provide it, are critical to the Canadian research process. "Through the provision of leading-edge technology, support services, training and researcher outreach programmes, SHARCNET enables innovation that would otherwise not be possible. The EXCELerate campaign aims to highlight the central role that HPC plays in modern research, and to build and broaden the community that is aware of, and that can take advantage of these crucial resources." Couchman’s opening remarks were followed by a special seminar at McMaster on Computational Symbolic Algebra by Brock University Professor Thomas Wolf. EXCELerate events are open to all Ontario researchers, university students, and private sector representatives, SHARCNET-affiliated or otherwise.
    [Show full text]
  • Curriculum Vitae
    CURRICULUM VITAE NAME: Ilias S. Kotsireas Erdos¨ number: 3 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: [email protected] CARGO lab web page: http://www.cargo.wlu.ca/ Personal web page: http://web.wlu.ca/science/physcomp/ikotsireas/ DEGREES • 1995-1998, Ph.D. Department of Computer Science, Universite´ Paris 6, French National Bureau of Stan- dards, (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 : Prof. Daniel Lazard • 1994-1995, M.Sc. Department of Computer Science, Universite´ Paris 6, French National Bureau of Stan- dards, Paris, France. Dissertation Title : “Central configurations in the N-body problem”. Advisors : Prof. Daniel Lazard, Dr. Alain Albouy, Dr. Pierre-Vincent Koseleff • 1992-1994 B.Sc. Department of Computer Science, Universite´ Paris 6, Paris, France. • 1986-1990 B.Sc. Department of Mathematics, University of Athens, Athens, Greece. EMPLOYMENT HISTORY • July 2011 - present, Professor, Wilfrid Laurier University, Department of Physics and Computer Science, Waterloo, Ontario, Canada. • December 2005 - July 2011, 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, (OR- CCA) University of Western Ontario, London, Ontario, Canada. • 1998-99 Lecturer (Attache´ Temporaire Enseignement Recherche, ATER), Department of Computer Sci- ence, Universite´ Paris 6, Paris, France.
    [Show full text]
  • Mechanical Engineering
    UNIVERSITY OF ONTARIO INSTITUTE OF TECHNOLOGY Brief for the Appraisal of the MASc and MEng Programs in Mechanical Engineering Submitted to the Ontario Council on Graduate Studies [date] VOLUME I: The Program 03/30/2005 OCGS APPRAISAL BRIEF – Mechanical Engineering page 2 THE PROGRAM 1 INTRODUCTION........................................................................................................................................ 4 1.1 Brief listing of programs............................................................................................................ 4 1.2 Background .............................................................................................................................. 4 1.2.1 Other programs .............................................................................................................. 4 1.2.2 Graduate program demand............................................................................................ 8 1.3 Mission ................................................................................................................................... 12 1.4 Program objectives................................................................................................................. 12 1.5 Method used for the self-study as well as the preparation of the brief, including faculty and student input and involvement............................................................................................ 13 1.6 Fields in the programs...........................................................................................................
    [Show full text]
  • Course Outlines for New Courses in Program
    Appendix A: Course Outlines for New Courses in Program Course Title: Discrete Structures in Computer Science Pre-Requisites: None Year and Semester: Year 1, Semester 1 • Course Description and Content Outline(by topic): Provides a foundation in finite mathematics which is required for advanced computer science courses. For example an ability to derive and comprehend a formal proof is essential in formal specification and cryptography. Set theory concepts are used in software engineering and image processing. A. Functions, relations and sets a. Introduction to functions (surjections, injections, inverses, composition) b. Growth of functions, ‘big O’ notation, ‘big Theta’ notation c. Introduction to sets (Venn diagrams, complements, Cartesian products, power sets) d. Introduction to relations (reflexivity, symmetry, transitivity, equivalence relations) e. Cardinality and countability B. Basic logic a. Predicate and prepositional logic b. Logical connectives c. Truth tables d. Validity e. Normal forms C. Proof techniques a. Notions of implications, converse, inverse, contrapositive, negation and contradiction b. The structure of formals proofs c. Direct proofs d. Types of proof (counterexample, contraposition, contradiction) e. Mathematical induction f. Recursive mathematical definitions D. Counting a. Counting arguments b. Permutations and combinations, pigeonhole principle c. Elementary recurrence relations E. Graphs and trees a. Trees b. Directed and undirected graphs c. Spanning trees d. Traversal strategies F. Discrete probability a. Finite probability space, probability measure, events b. Conditional probability, Bayes’ rule • Methods of Delivery: 3 hours of lecture per week and a 2-hour weekly workshop incorporating a web-based tutorial. • Student Evaluation (typical): o Assignments solving sample problems (30%). o Mid-term examination (25%). o Final examination (45%) • Resources to be purchased/provided by students: Textbook, reference sources and internet access (see Textbook requirements below).
    [Show full text]