REWERSE - reasoning on the web

Jan Małuszyński

Member of REWERSE participant


Involvement in REWERSE packages

ET (coordinator), I3, I4

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

Professional web page

go to top of page