1

University of Namur, BelgiumComputer Science Faculty

Namur in GasicsNamur in Gasics

Pierre-Yves SchobbensUniversity of Namur

Pierre-Yves SchobbensUniversity of Namur

2

University of Namur, BelgiumComputer Science Faculty

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

University of Namur, BelgiumComputer Science Faculty

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

University of Namur, BelgiumComputer Science Faculty

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

University of Namur, BelgiumComputer Science Faculty

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

University of Namur, BelgiumComputer Science Faculty

Contact :

pys@acm.org

http://www.info.fundp.ac.be/~pys

Thank you !Thank you !

Question time!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/

University of Namur

http://www.fundp.ac.be

Computer Science Faculty

http://www.info.fundp.ac.be

PRECISE group

http://www.software-engineering.be/