Gabriel A. Wainer - Professor

You are here: gabriel_wainer » shared » extendedbio

Contact

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 at Carleton focuses on techniques for transforming simulation models into real-time systemsThe  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 Co-PI ProfWainer 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$+Prof. Wainer started research in 1993, working in Real-Time (RT) Operating Systems (OS) and RT schedulingWith very limited resources and self-supervised, he was able to define new RT scheduling algorithms, and included these (and other RT techniques) in the first existing RT version of an open-source OS (RT-Minix). These results were published in various papers and a bookThese ideas were used shortly after by other researchers in the fieldleading to the development of the first versions of RT-LinuxFifteen years after, my original approach continues to be used and cited, and new Real-Time Minix projects based on the concepts I defined almost 20 years ago have started in the last few years.
  
-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, spatial, continuous or hybrid. 
 + 
 +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, fire spread), biomedical (heart tissue, nerve terminal), physics (flow injection, heat transfer), engineering (wireless networks, robot path planning), construction, traffic, etc. These results have been made available in multiple articles, an open source repository and website for the community (which has over 300 users).  
 + 
 +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, and high-performance parallel algorithms for Cell-DEVS. Users can develop and test models in local workstations, submit them to a remote parallel simulator, receive, visualize and analyze the results locally (using the advanced visualization tools we built).  
 + 
 +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, and he tries to persuade them to showcase their work. For instance, twelve of his undergraduate projects (4th year, coop) resulted in papers accepted for publication. Many of them participated in conferences presenting the results of their course work. A team participated in the IEEE Computer Society International Design Competition, and new teams will participate in Microsoft's ImagineCup 2012. He is  pleased in spending the extra time these activities require, as he believes in trying to leave a positive mark on his students, while providing them with all of the possible support for their future careers. He has always encouraged his students to go beyond standard expectations, and he tries to persuade them to showcase their work. For instance, twelve of his undergraduate projects (4th year, coop) resulted in papers accepted for publication. Many of them participated in conferences presenting the results of their course work. A team participated in the IEEE Computer Society International Design Competition, and new teams will participate in Microsoft's ImagineCup 2012. He is  pleased in spending the extra time these activities require, as he believes in trying to leave a positive mark on his students, while providing them with all of the possible support for their future careers.
  
-===== 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.
-