Skip to main navigation Skip to search Skip to main content

the Research Portal - University of Namur Home

- English
- Français

Search content at the Research Portal - University of Namur

Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media

The European research network on types for programming and verification

Schobbens, Pierre Yves (PI)

Faculty of Computer Science
Research Center on Information Systems Engineering
Research Center on the Foundations of Computer Science

Project: Research

Overview
Fingerprint

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Sort by

Weight
Alphabetically

Computer Science

Keyphrases

INIS

Powered by Pure Link opens in a new tab, Scopus Link opens in a new tab & Elsevier Fingerprint Engine™ Link opens in a new tab

All content on this site: Copyright © 2026 the Research Portal - University of Namur, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure Link opens in a new tab

the Research Portal - University of Namur data protection policy Link opens in a new tab

About web accessibility Link opens in a new tab

Report vulnerability Link opens in a new tab