Janis Voigtländer - researchr profile

researchr

You are not signed in
Sign in
Sign up

Janis Voigtländer is a Junior Professor for Programming Languages at the University of Bonn. His research centers around the semantics of functional programming languages. He is also investigating applications of the obtained theoretical results in diverse problem domains.

2009	-		:	University of Bonn
2001	-	2009	:	Technische Universität Dresden

structural operational semantics

Meta-Environment

algebraic specification

aspect oriented programming

attribute grammars

bidirectional model transformation

bidirectional model transformations

bidirectional transformation

control systems

data-flow language

data-flow programming

design research

domain-specific language

equational proofs

feature-oriented programming

formal semantics

functional programming

generic programming

higher-order transformations

language design

language engineering

logic programming

meta programming

model transformation

model-to-model transformation

object-oriented programming

operational semantics

partial evaluation

pattern language

pattern matching

process modeling

program analysis

program optimization

program transformation

program verification

programming languages

programming paradigms

relational algebra

relational database

relational parametricity

reusable components

software component

software components

software engineering

software language engineering

source-to-source

static analysis

subject-oriented programming

systematic-approach

transformation engineering

transformation language

transformation system

runs on WebDSL