Cookie settings

Global Footer - English

About this website

Privacy policy, DPO and cookies

Accessibility statement

Whistleblowing scheme

Research

Study board

Study guidance

Drones in society

Education list

Education

Collaboration

Contact department management

Administration

About

News

Students

Home

Global Settings

aau.dk

https://www.en.aau.dk/

Søg

Search

Contact the Department

Contact

cs.aau.dk

Foundations for Interacting and Computing Systems (FICS)

The FICS research group focuses on the theoretical foundations for interacting and computing systems, using semantics, logic and automata to specify, reason about, and synthesize correct functional behaviors as well as constrained and optimal quantitative performance.

Founda|tions for Interacting and Computing Systems (FICS)

Research Group: Foundations for Interacting and Computing Systems (FICS)

Foundations for Interacting and Computing Systems (FICS)

Foundations for Interacting and Computing Systems (FICS)

About

Updates

Contact the Department

Contact

Follow us

Contact

About AAU

Shortcuts

Service

Founda­tions for Interacting and Computing Systems (FICS)

Founda­tions for Interacting and Computing Systems (FICS)

About

Updates

Contact the Department

Contact

Follow us

Contact

About AAU

Shortcuts

Service

Foundations for Interacting and Computing Systems (FICS)

Foundations for Interacting and Computing Systems (FICS)