REWERSE - reasoning on the web

Norbert E. Fuchs

Member of REWERSE participant


Involvement in REWERSE packages

I1, I2, ET

Former and current employments

former: IBM, Siemens, Mettler

current: Senior Research Associate at the Department of Informatics of the University of Zurich

Current professional interests

controlled natural language, theorem proving, requirements engineering, executable specifications

Former professional interests

logic programming, program synthesis and transformations

Professional web page

go to top of page