Professor in Computer Science at the University of Namur
Namur Area, Belgium
- Current
-
- Professor at FUNDP - University of Namur
- Prof at FUNDP
- Prof at University of Namur
3 more...
- Past
-
- Professeur Invité at Laboratoire Informatique Grenoble
- Invited Professor at Université Paul Sabatier de Toulouse
- Invited Professor at Université libre de Bruxelles
3 more...
- Education
-
- Université catholique de Louvain
- Facultés universitaires 'Notre-Dame de la Paix'
- Université catholique de Louvain
5 more...
- Connections
-
500+
connections
- Industry
- Computer Software
- Websites
Pierre-Yves Schobbens’s Summary
I'm interested, and gained a very wide experience, in:
1. scientific research:
1.1 scientifically grounded software development methods and techniques;
1.2 artificial intelligence, automated reasoning
2. teaching:
2.1. light methods for computer-supported teaching;
2.2. adapting complex and abstract contents for a passive audience;
3. managing research
3.1 preparing contract, 3.2 following and supervising progress of projects 3.3 reporting and accountancy
4. consulting for companies:
4.1 introducing new software development techniques
4.2 applying international standards in companies
Pierre-Yves Schobbens’s Specialties:
Modal logics, temporal logics, real-time, game logics, software specification, software verification, formal semantics, agent-oriented software engineering (AOSE),
Additional Information
Pierre-Yves Schobbens’s Websites:
Pierre-Yves Schobbens’s Groups:
IEEE, AAAI, ACM, SIF, VFI, BAFCS, BFIA, Ada-Belgium, BNVKI, IFIP, EATCS, EAPLS
-
"ADA - Empowering youth and women towards ICT" -
Viadeo.com -
XING.com -
GRASCOMP -
Information Systems Security Association (ISSA) -
IT Specialist (27,000+ Information Technology Professionals) -
Gmail Users -
The UNIX and Linux Forums Users -
PReCISE -
FUNDP Alumni -
The IT Developer Network -
ASE - IEEE/ACM International Conference on Automated Software Engineering
Pierre-Yves Schobbens’s Contact Settings
Interested In:
- career opportunities
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch
