REWERSE - reasoning on the web
Photo

François Bry

Member of REWERSE participant

Munich

Involvement in REWERSE packages

I3, I4 (working group co-ordinator), I5, A1, ET, PRA (network co-ordinator)

Former and current employments

since 1994: full professor Unit Programming and Modeling Languages, Institute for Informatics, University of Munich.
1985-1993: first researcher, later project leader at ECRC (European Computer-Industry Research Centre), Munich .
1983-1984: research at IRT (now INRETS), Paris.
1981-1982: software engineer at Transac-Alcatel (now Alcatel), Paris.

Professional interests

Current focus: Methods and languages for reasoning on the Web, Query languages for XML and semistructured data (rule-based approaches, streamed evaluation, type systems), Applications of XML (especially Molecular Biology databases, eBooks, adaptive Web), Indexing methods for XML and semistructured data.

More generally, both theoretical and practical aspects of: Knowledge Representation (XML, Semistructured Data, Common Sense Reasoning), Automated Theorem Proving and Logic Programming (Rule-based Systems, Tableau Methods), Database Systems (Query Languages, Integrity Constraints, Data Modelling).

Professional web page

http://www.pms.ifi.lmu.de/~bry/

go to top of page

Imprint      Privacy Disclaimer