Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
shared:extendedbio [2012/07/06 12:07] wainer |
shared:extendedbio [2012/07/06 12:23] wainer |
||
---|---|---|---|
Line 5: | Line 5: | ||
====== Research ====== | ====== Research ====== | ||
- | His research | + | Prof. Wainer started |
- | The results of his research are reflected in numerous publications: | + | Since 1996, he contributed to the field of Modeling and Simulation (M&S), introducing Cell-DEVS, a new formalism that reduces the complexity of the development of models of physical systems while increasing the speed of the simulations. His team also defined new high-level languages and their mapping into DEVS and Cell-DEVS formal models (ranging from the traffic language ATLAS; Petri Nets, Timed Automata, Bond Graphs; up to a generic environment based on Modelica). This allows defining and interconnecting formal models that are discrete-event, |
+ | |||
+ | His group built CD++, an open-source tool implementing DEVS and Cell-DEVS. CD++ has been used to develop numerous models in different areas: ecology (watersheds, | ||
+ | |||
+ | The team also introduced varied algorithms to run these models in multiprocessor and distributed architectures (using varied middleware and OS). The simulation engines now provide the means to run distributed simulations using Web-Services, | ||
+ | |||
+ | Different RT simulation algorithms were defined for DEVS models since the year 2000. We used these techniques to build RT model prototypes embedded in different platforms, and a runtime executive integrating models within hardware surrogates. We have recently started experiments with multicore hardware, including a prototype version on Intel IXP 2400 boards, and Cell-DEVS models on IBM’s Cell BE architecture. | ||
+ | |||
+ | His research at Carleton has focused on techniques for transforming simulation models into real-time systems. The long-term goal is to reduce to a minimum the manual development of real-time software (a time consuming, error prone and expensive task), and the interfacing of these models with simulation software. These efforts have received support in approximately 1.5M$ from different funding agencies (NSERC, Precarn, CFI, OIT, CANARIE) and companies (IBM, HP, CMC, MDA, Intel). As a Co-PI Prof. Wainer participated in numerous research projects (with funding totaling over 30M$, from which approximately $1.1M have been directly spent for his research). His students have always been successful in applying to numerous scholarships and awards, and they have obtained funding for their research in excess of 500K$. | ||
+ | |||
+ | The results of his research are reflected in numerous publications: | ||
- 35 Journal papers \\ | - 35 Journal papers \\ | ||
- 4 other Journal and Magazine articles \\ | - 4 other Journal and Magazine articles \\ | ||
Line 43: | Line 53: | ||
He has always encouraged his students to go beyond standard expectations, | He has always encouraged his students to go beyond standard expectations, | ||
- | ===== Service ====== | + | ====== Service ====== |
Over his years spent at Carleton University, he has been called on to participate in many activities and have been assigned various administrative duties. He has participated in numerous committees, including Tenure and Promotion, Scientific Advisory (V-Sim), University Supervisory Approvals Committee, Carleton University IEEE Computer Society Student Branch counselor, and the SCS Student Chapter coordinator. He was also the Department representative on the board of the School of Computer Science, and a member of the Departmental reviewing committee for Endowment, NSERC and OGS Scholarships. | Over his years spent at Carleton University, he has been called on to participate in many activities and have been assigned various administrative duties. He has participated in numerous committees, including Tenure and Promotion, Scientific Advisory (V-Sim), University Supervisory Approvals Committee, Carleton University IEEE Computer Society Student Branch counselor, and the SCS Student Chapter coordinator. He was also the Department representative on the board of the School of Computer Science, and a member of the Departmental reviewing committee for Endowment, NSERC and OGS Scholarships. | ||
Line 52: | Line 62: | ||
He has also been invited to be the External Examiner of 13 Ph.D. theses, and he has evaluated numerous projects in Europe, Canada and Latin America. | He has also been invited to be the External Examiner of 13 Ph.D. theses, and he has evaluated numerous projects in Europe, Canada and Latin America. | ||
- |