Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start [2019/11/13 16:00] – philippereneviergonin | start [2022/02/28 10:15] (current) – jaillet | ||
---|---|---|---|
Line 3: | Line 3: | ||
SPARKS is an acronym for **S**calable and **P**ervasive softw**AR**e and **K**nowledge **S**ystems | SPARKS is an acronym for **S**calable and **P**ervasive softw**AR**e and **K**nowledge **S**ystems | ||
- | **Head** : Andrea G. B. Tettamanzi | + | **Head** : Marco Winckler |
The team investigates the organization, | The team investigates the organization, | ||
Line 11: | Line 11: | ||
* **formalizing and reasoning with users and models** : studying the different types of knowledge-based interactions, | * **formalizing and reasoning with users and models** : studying the different types of knowledge-based interactions, | ||
* **scalable software systems** : focusing on models of distributed computation, | * **scalable software systems** : focusing on models of distributed computation, | ||
- | * **Computer Science and Biology** : Computer science finds in biology an inexhaustible source of new problems and a remarkable field of inspiration. On the one hand, computer science is necessary for pushing forwards the knowledge frontiers in biology using, e.g., ontologies, data mining, knowledge extraction, modelling and simulation of dynamic biological systems, formal proofs about the behaviour of biological systems and more generally model-based reasoning assisted by computers. | + | * **Computer Science and Biology** : computer science is necessary for pushing forwards the knowledge frontiers in biology using, e.g., ontologies, data mining, knowledge extraction, modelling and simulation of dynamic biological systems, formal proofs about the behaviour of biological systems and more generally model-based reasoning assisted by computers. |
The keywords that best describe the areas of interest of the team’s members and their field of activity are the following (sorted by order of importance): | The keywords that best describe the areas of interest of the team’s members and their field of activity are the following (sorted by order of importance): |