REWERSE - reasoning on the web

François Bry

Member of REWERSE participant


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

go to top of page