Jan Małuszyński
Member of REWERSE participant
Involvement in REWERSE packages
Former and current employments
Linköpings universitet, Departmennt of Computer and
Information Science
(former, until 1983) Institute of Computer Science, Polish Academy
of Sciences
Current professional interests
Reasoning on the web, logic/constraint programming, formal methods in computer science
Former professional interests
formal languages, attribute grammars, W-grammars, integration of logic programming and functional programming
