TUP
ContactApply
Programming Languages
Home / Schools / Computer Science / Programming Languages
◇// DEPARTMENT · SCHOOL OF COMPUTER SCIENCE

Programming Languages

Type systems, verification and language design.

Apply now →View the school
5Departments in school
3Faculty shown
6Related courses
01 / OVERVIEW

About the department

Type systems, verification and language design.

As a department within the School of Computer Science, Programming Languages combines rigorous coursework with hands-on research and lab time. Students work alongside faculty on real problems and graduate ready to build at the frontier.

Back to School of Computer Science →
// AT A GLANCE
5Departments
52Faculty
2,400Students
2Labs
02 / CURRICULUM

Related courses

CS 101Programming & Data StructuresUndergraduate
CS 210Computer SystemsUndergraduate
CS 330Distributed SystemsUndergraduate
CS 420CompilersGraduate
CS 460Advanced AlgorithmsGraduate
03 / FACULTY

Faculty in the school

PZ

Dr. Piotr Zieliński

Professor & Head of School
Distributed systems
SL

Dr. Sara Lindqvist

Associate Professor
Programming languages
OH

Dr. Omar Haddad

Assistant Professor
Algorithms & complexity
04 / SIBLING DEPARTMENTS

Explore the rest of the school

◇

Systems & Architecture

Operating systems, compilers and computer architecture.

View →
◇

Distributed Systems

Consensus, databases and planet-scale infrastructure.

View →
◇

Theory & Algorithms

Complexity, cryptography and algorithm design.

View →
◇

Human-Computer Interaction

Interfaces, systems usability and accessibility.

View →
05 / CAREERS

Where graduates go

Software EngineerSystems EngineerBackend ArchitectSite Reliability EngineerCompiler EngineerResearch Scientist
// PROGRAMMING LANGUAGES

Study Programming Languages at TUP.

Part of the School of Computer Science. Applications for 2026 are open.

Apply for 2026 →View the school