Norbert E. Fuchs

Member of REWERSE participant

Zurich

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

http://www.ifi.unizh.ch/rerg/people/fuchs/