Software Technology Group


We focus on code intelligence and programming models, applied in artificial intelligence and software engineering, and in programming language design and implementation. We develop models, tools, and platforms for more efficient, reliable, and secure software systems.




Research Topics

AI/Software Engineering

We explore how advances in AI and software engineering can mutually reinforce and enhance the software development process.

Current projects: SSM Native • SecureCoder

Programming Languages

We design novel methods, tools, and platforms for programming languages to improve ease of use, reliability, correctness, and efficiency.

Current projects: REScala


Team

Head of Group

Administrative, Project and Technical Staff

Guest Researchers

Postdoctoral Researchers

Dr. Amir Molzam Sharifloo

Dr. Amir Molzam Sharifloo

Artificial Intelligence for Software Engineering

amir.molzam@tu-...

Doctoral Researchers


Courses

Our courses put a strong emphasis on integrating with our research activities.

Lecture WiSe

Tucan: 20-00-1117

COPL: Concepts of Programming Languages

Language concepts like functions, scopes, and heap storage, made concrete by implementing a family of increasingly advanced toy languages.

Lecture SoSe

Tucan: 20-00-1246-iv

TYPES: Type Systems

Type systems that statically rule out entire classes of errors: from the typed lambda calculus to polymorphism, type inference, and dependent types, mechanized in Lean4.

Seminar SoSe

Tucan: 20-00-0182-se

DAIMPL: Design and Implementation of Programming Languages

Try out novel programming languages, libraries, and abstractions from research; write a tutorial paper and present what you learned.

Seminar WiSe SoSe

Tucan: 20-00-1139-se

AI4CA: Artificial Intelligence for Coding Assistance

AI-powered coding assistance: code completion, bug detection, and the research behind tools like Copilot, explored in small groups.

Project SoSe

Tucan: 20-00-0306-pr

IMPL: Implementation of Programming Languages

Hands-on project implementing a program from current language research: e.g. DSLs, distributed abstractions, or dependent types.

Project WiSe SoSe

Tucan: 20-00-0673-pr

SDT: Software Development Tools

Small-group project implementing software development tools: including AI-based approaches: connected to our current research.

Project WiSe

Tucan: 20-00-0989-pp

SEP: Software Engineering Project

Plan, manage, and implement a real-world software project in a team of 5–8, with topics from industry partners.

Thesis

Bachelor & Master Theses

Theses are supervised individually and don't have to align to a specific semester.