Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
description:goal [2017/04/13 15:33] nour.assy |
description:goal [2017/04/13 15:33] nour.assy |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| <WRAP justify> | <WRAP justify> | ||
| The goal of the highly innovative 3TU.BSR research program is to **provide a solid scientific basis for in vivo software analytics while exploiting the world-renowned 3TU computer science groups working on process mining, visualization, software engineering, formal methods, security analysis, and distributed/large-scale computing**. Due to his ground-breaking work on the workflow patterns, workflow verification, and process-aware information systems, [[http://wwwis.win.tue.nl/~wvdaalst/|Van der Aalst]] is widely recognized as the leading business process management researcher in the world. He was the first to see the value of process mining and developed various process discovery and conformance checking techniques. [[http://avandeursen.com/|Van Deursen]] pioneered software engineering's first steps into automated testing of modern web applications. He also investigated the interplay between coding activities and developer testing activities. [[https://wwwhome.ewi.utwente.nl/~vdpol/|Van de Pol]] is a well-known expert on high-performance analysis of discrete systems and developed many parallel algorithms for state space generation, reduction, model checking, and cycle analysis. Next to these three representatives, many other NIRICT researchers are involved, e.g., Van Wijk working on visualization, Lagendijk working on statistical and information-theoretical methods for pattern recognition, Zaidman working on the analysis of software repositories, Huisman working on runtime conformance checking, and Katoen working on stochastic processes. | The goal of the highly innovative 3TU.BSR research program is to **provide a solid scientific basis for in vivo software analytics while exploiting the world-renowned 3TU computer science groups working on process mining, visualization, software engineering, formal methods, security analysis, and distributed/large-scale computing**. Due to his ground-breaking work on the workflow patterns, workflow verification, and process-aware information systems, [[http://wwwis.win.tue.nl/~wvdaalst/|Van der Aalst]] is widely recognized as the leading business process management researcher in the world. He was the first to see the value of process mining and developed various process discovery and conformance checking techniques. [[http://avandeursen.com/|Van Deursen]] pioneered software engineering's first steps into automated testing of modern web applications. He also investigated the interplay between coding activities and developer testing activities. [[https://wwwhome.ewi.utwente.nl/~vdpol/|Van de Pol]] is a well-known expert on high-performance analysis of discrete systems and developed many parallel algorithms for state space generation, reduction, model checking, and cycle analysis. Next to these three representatives, many other NIRICT researchers are involved, e.g., Van Wijk working on visualization, Lagendijk working on statistical and information-theoretical methods for pattern recognition, Zaidman working on the analysis of software repositories, Huisman working on runtime conformance checking, and Katoen working on stochastic processes. | ||
| - | + | \\ \\ | |
| - | ==== ==== | + | |
| Within 3TU.BSR we have identified five tracks. These tracks cover the different areas where major breakthroughs are needed. | Within 3TU.BSR we have identified five tracks. These tracks cover the different areas where major breakthroughs are needed. | ||
| \\ | \\ | ||
