1 / 6

Namur in Gasics

Namur in Gasics. Pierre-Yves Schobbens University of Namur. The Computer Science Faculty of Namur. Univ. Namur is merging with Louvain The Computer Science Faculty 16 Profs. 80 researchers Various fields : Databases Decision support systems HCI Software process maturity models

ronni
Download Presentation

Namur in Gasics

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Namur in Gasics Pierre-Yves SchobbensUniversity of Namur

  2. The Computer Science Faculty of Namur • Univ. Namur is merging with Louvain • The Computer Science Faculty • 16 Profs. • 80 researchers • Various fields : • Databases • Decision support systems • HCI • Software process maturity models • Multimedia • Organizational theory • …

  3. The PRECISE research center • Precise is REsearch Center in Information Systems Engineering • Research Interests • methods and models • database engineering • requirements engineering • CASE tools • Interoperability and re-engineering • quality and metrics • Team • 6 Full time Prof. • Vincent ENGLEBERT • Naji HABRA • Jean-Luc HAINAUT • Patrick HEYMANS • Michael PETIT • Pierre-Yves SCHOBBENS • 25 Researchers

  4. SLC: Semantics, Logics, Computation • Research fields • Semantics of computer languages • denotational, operational • Logics for computer science • modal, temporal, • Computational models • games, timed games, etc. • Team • 5 Profs. • Naji HABRA • Patrick HEYMANS • Jean-Marie JACQUET • Pierre-Yves SCHOBBENS • Wim VANHOOF • 7 Researchers • Yves BONTEMPS • Axel LEGAY

  5. Interests in GASICS • ATL • ATL with strategies, knowledge, time • Timed games • Games from sequence diagrams (LSC) • Games for modelling interfaces • Compositional verification • Compositional verification of probabilistic algos • Compositional features verification • Games algebra (composing games)

  6. Thank you ! Question time! University of Namur http://www.fundp.ac.be Computer Science Faculty http://www.info.fundp.ac.be PRECISE group http://www.software-engineering.be/ Contact : pys@acm.org http://www.info.fundp.ac.be/~pys

More Related