François Bry
(also known as François Bry-Haußer)
Professor
Teaching and Research Unit "Programming and Modelling
Languages"
Institute for Informatics
University of Munich
-
Contact
-
Blog
-
Research
-
Recent talks
-
Participations and co-operations
-
Courses taught
-
Curriculum vitæ
Address
-
Ludwig-Maximilians-Universität
München
-
Institut für Informatik
-
Lehr-
und Forschungseinheit für Programmier- und
Modellierungssprachen
-
Oettingenstr. 67
-
80538
München
-
Germany
-
Office:
-
D 1.04 (Oettingenstr. 67)
-
Phone:
-
+49-89-2180 9310 (office)
-
+49-89-6938 1349 (home)
-
+43-1-913 57 69 (home)
-
Fax:
-
+49-89-2180 9311
-
Email:
-
bry "at" lmu.de
-
Secretary:
-
Ingeborg von Troschke
ingeborg . von . troschke "at" ifi.lmu.de
Place: Oettingenstraße 67, Room D 1.04
Consultation hours:
-
During the teaching time of the Summer term 2008:
-
Thursday 9.00-10.00
(Please do not come at 10.00!)
Warning: There will be no
consultation hour on
-
By arrangement (ask for an appointment e.g. via email)
-
Out of teaching terms: By arrangement.
Exam appointments:
Please register at least one month in advance.
-
During teaching terms: Usually 2nd Thursday of each month.Further appointments not excluded:
-
During the Summer term 2008:
- 10 April
- 8 May
- 12 June
- 10 July
- 17 July
- 28 August
-
During the Winter term 2008/09 (further appointments to come, once the teaching schedules are known):
- 4 September (no more free slots)
- 9 October
- 23 October
Subjects for diploma theses:
cf. Research projects.
Letters of reference, visits to foreign universites, etc.:
Please
do not ask at the last minute.
Back to "Contents of this page"
Blog "Erlebt" on the every day life of a university scientist (in German):
http://pms.ifi.lmu.de/erlebt
Research interests
Current research focus:
- Rule languages
-
Methods and languages for reasoning on the Web
-
Web and Semantic Web Query languages (including streamed
evaluation, type systems)
-
High-level languages for reactivity on the Web
-
Social software
-
Web-based Applications (business rules and processes, workflow,
Web services, adaptive Web, etc.)
-
Indexing methods for XML and semistructured data,
search engines
More generally, both theoretical and practical aspects of:
-
Knowledge Representation
(XML, Semistructured Data, RDF, OWL, Topic Maps,
Common Sense Reasoning)
-
Automated Theorem Proving and Logic Programming (Rule-based
Systems, Tableau Methods, Reasoners for RDF, OWL, and
Topic Maps)
-
Database Systems (Query Languages, Integrity Constraints,
Data Modelling)
Research networking according to
FLINK (The Who is Who of the Semantic Web) to the
Mathematics Genealogy Project,
and to the
AI Genealogy Project.
Publications:
up till 1993,
since 1994,
at CiteSeer,
at DBLP,
at FACETED DBLP,
at Google scholar,
at io-port.net,
and at DBLife.
Erdös numbers
My Erdös number is 3 with a path
P. Erdös - L. Lovasz - M. Las Vergnas - F. Bry.
My Erdös number of the second kind, i.e. considering only articles
with two authors, is 4 with a path P. Erdös - V. Chvatal - C. Berge - M. Las Vergnas - F. Bry.
Back to "Contents of this page"
-
Soziale Medien in der Wissenschaft,
Symposium des Humanwissenschaftlichen Zentrums,
Ludwig-Maximilians-Universität München, Germany,
19 January 2008
-
Reasoning on the Web: Why it is changing the making of computer and other sciences,
University of Linköping, Sweden, 19 February 2008
Back to "Contents of this page"
Back to "Contents of this page"
Introductory courses
- Introduction to computer science
- Introduction to algorithms and data structures
- Introduction to theoretical computer science
Advanced courses
- Logic for computer science
- Knowledge representation and management
- Markup languages and semistructured data
- XML and Databases
- Foundations of logic programming
- Programming in Prolog
- Deductive database systems
- Compilers and abstract machines
- Automated theorem proving
Back to "Contents of this page"
Profiles on
and
Born 1956,
married,
three daugthers,
French and German citizen.
-
Since 1994:
-
Research and teaching on data and knowledge modeling,
databases,
markup languages, logic-based programming and modelling, and
automated deduction with the
Institute
for Informatics, University of
Munich, as a full professor and head of the Unit
"Programming and Modelling
Languages".
-
1985-1993:
-
Work on deductive databases, logic programming, and automated deduction at
ECRC
(European Computer-Industry Research Centre), Munich, first as a
researcher latter as a project leader.
-
1983-1984:
-
Work on statistic databases at the research center IRT
(now INRETS ), Paris,
as a researcher.
-
1982-1983:
-
Military service with the
French Air Forces
at SIRPA Air as a PR officer.
-
1981-1982:
-
Work on a text processing system at Transac-Alcatel (now
Alcatel), Paris, as a
software engineer.
-
1979-1981:
-
PhD student in Mathematics (Graph Theory) at
University Paris 6
(supervisors: Claude Berge and Michel Las Vergnas) and lecturer
at ESIEA,
a school of engineering, Paris.
-
1974-1978:
-
First, student in applied mathematics and
economics, University Paris 9,
then, student in mathematics,
University Paris 6.
-
1974 and before:
-
French Baccalauréat while at
École
Alsacienne in Paris 6.
Formerly, at Lycée Romain Rolland in Ivry-sur-Seine, École Jean
Poulmarch in Paris 10, École in Vandœuvre lès Nancy,
École Saint-Exupéry in Rabat, Marocco.
Back to "Contents of this page"
Last modified: Thu Jul 3 09:50:27 CEST 2008
