CEDIS

Research, Software, AI

About CEDIS

What we do, who we are, where we're going

History

Our journey and achievements

Partners & recognitions

Institutions, awards, and institutional milestones

Infrastructure

Spaces and resources

Research lines

The center's scientific programs

Areas of expertise

Competencies and fronts of the center

Competency map

How lines, areas, people and projects connect

Scientific infrastructure

Servers, storage and equipment

Projects

Ongoing and completed research

Digital products

Platforms, applications and systems

Projects by partner

Initiatives with IBICT, FAP-DF and others

Researchers

Principal investigators with continuous output

Collaborators

Research and development team

Alumni

Where our alumni are

Which area fits me?

5-question quiz

Scientific publications

Articles, books, theses, dissertations and undergrad theses

Defenses and qualifications

Scheduled committees, held defenses, and deposited works

Courses and teaching materials

Training programs and open materials

Software registrations

Computer programs registered with INPI

Materials on Zenodo

Datasets, code, and registered materials

Opportunities

Open calls and archive of notices

Join CEDIS

Undergrad, thesis, master's, PhD, outreach, volunteer

Institutional partnerships

Public agencies, companies and universities

Propose a project

Write to CEDIS

PTEN

Master's

News 30 Jun 2026

Launch Center: when static analysis stops being a gate and turns into a journey

Lucas Pereira Gomes Linard qualified at PPCA/UnB the professional master proposing the Launch Center, a gamified engagement layer — anchored in the Octalysis framework — to …

News Qualifying exam Master's Gamification

CEDIS

2 min read

→