1 / 6

Exploring Computer Science Research at the University of Namur

The University of Namur's Computer Science Faculty encompasses a diverse range of research fields, including databases, decision support systems, human-computer interaction, and software process maturity. The PRECISE research center focuses on information systems engineering, exploring methods, models, and quality metrics in database and requirements engineering. With a team of 16 professors and 80 researchers, the faculty is known for its work in semantics, logics, and computational models. Collaboration and innovation are central to their mission, fostering advancements in technology.

ronni
Télécharger la présentation

Exploring Computer Science Research at the University of Namur

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