2005-04-13 Administrative Staffmember Administrativer Angestellter Projekt Project Technical Staffmember Techniker Working Group Arbeitsgruppe Associate Professor Professor Institut Institute Department Department Full Professor Professor Student Student Assistant Professor Professor Student Student Doktorrant PhD Student Fakultätsmitglied Faculty Member Researcher Ontology Employee Angestellter Universität University Organization Organisation Manager Manager Forschungsprojekt Research Project Graduierter Student Graduated Student Company Firma TODO: Beim Hinzufügen von Induviduals kann man nicht zwischen professionellen und personal-Webseiten unterscheiden Person Person Acadamic Staffmember Akademischer Angestellter Entwicklungsprojekt Development Project Lehrender Lecturer Korespondierende Correspondents involved in involviert in Mitarbeiter von Cooperator of Cooperator Mitarbeiter Assistent Assistant Coordinator of Koordinator von Angestellte Staffmember Deputy Coordinator of Vizekoordinator von Correspondent of korespondiert mit Members Mitglieder Coordinator Koordinator Deputy Coordinator Vizekoordinator Assistent von Assistant of Repräsentativer Ansprechpartner Representative employed at angestellt bei Representative of repräsentiert Employment Berufstätigkeit E-Mail E-Mail Langname long Name Professional Interests Berufliche Interessen Short Name Kurzname zusätzliche Informationen additional Information Berufliche Webseite Professional Website Picture Bild Telefonnummer Phone Number Former Professional Interests Frühere Berufliche Interessen aktuelle Berufstätigkeiten Current Employments Subject Fachgebiet Webseite Website Fax Number Faxnummer Private Webseite Personal Website Aktuelle Berufliche Interessen Current Professional Interests Former Employments Vergangene Berufstätigkeiten Name Name Country Land University of Malta Malta http://www.cs.um.edu.mt http://staff.um.edu.mt/mmon1/ Matthew Montebello CBL Agent Technology Agent Technology IT in Education no phone number given mmont@cs.um.edu.mt IT in Education AI and ML AI and ML Research assistant at the Institute for Informatics, Ludwig-Maximilians-Universität Munich Semi-structured data and XML Update languages for XML/Web Reactive behaviour on the Web http://www.pms.ifi.lmu.de/mitarbeiter/patranjan/ 1998-1999: Associate Professor in Computing & Information Technology, Griffith University +30 2810 391624 Foundations of rule-based systems My research interests have always centered around the aforementioned areas. In the time 1996-2001 I received a number of Australian research grants totalling over $1M. +30 2810 391638 1998-1999: Associate Professor in Computing & Information Technology, Griffith University 1999-2001: Professor in Computing & Information Technology, Griffith University +30 2810 391637 Associate Professor, University Of Crete, Institute of Computer Science Foundation for Research and Technology Logic Programming information retrieval http://www.dbai.tuwien.ac.at/staff/herzog/images/herzog.jpg XML processing semi-structured data Semantic Web This is a REWERSE Activity no website available tg@webxcerpt.com +49/89/548088-51 Tim Geisler no picture available +49/89/548088-48 webXcerpt Public Relations Semantic Web no phone number given Institute of Transfer of Research and Technology, Ludwig-Maximilians-Universität, Munich Interface of Research and Industry http://rewerse.net/members/kulas_andrea/akulas.jpg Institute of Transfer of Research and Technology, Ludwig-Maximilians-Universität, Munich Event Management Interface of Research and Industry Semantic Web E-learning webXcerpt Software GmbH, Munich E-learning Learning Sciences and Computer-Supported Collaborative Learning, Linguistics Learning Sciences and Computer-Supported Collaborative Learning, Linguistics Event Management Public Relations Massachusetts Institute of Technology (Program Comparative Media Studies), Boston webXcerpt Software GmbH, Munich ak@webxcerpt.com no website available Andrea Kulas Massachusetts Institute of Technology (Program Comparative Media Studies), Boston webXcerpt Software GmbH, München webXcerpt Software GmbH, München webXcerpt http://www.webxcerpt.de Germany TTA - Technology Transfer and Awareness no picture available Sara Carro-Martinez scm@tid.es no website available no phone number given Telefónica Investigación y Desarrollo, Madrid Telefonica Telefonica Telefónica Investigación y Desarrollo, Madrid Spain TTA Robert Baumgartner Integration and Mediation Systems non-monotonic reasoning Web Data Extraction (43) ([0]1) 58801 58436 1995-2002: Universität Freiburg (Germany) +49 (551) 39-1 46 96 Logic Programming http://user.informatik.uni-goettingen.de/~may/ http://www.dbis.informatik.uni-goettingen.de/ Universität Göttingen - Institut für Informatik - Arbeitsgruppe Datenbanken und Informationssysteme behrends@informatik.uni-goettingen.de XML & friends XML & friends Universität Göttingen (Germany) 2001-2003: Inxmail GmbH, Freiburg (Germany) Logic Programming http://user.informatik.uni-goettingen.de/~behrends/ Logic Programming Universität Göttingen (Germany) object-oriented software development http://rewerse.net/members/behrends_erik/behrends.jpg +49 (551) 39-1 44 15 information extraction from the Web extreme programming object-oriented software development information extraction from the Web +49 (551) 39-1 46 80 web services Nonmonotonic Reasoning web services Nonmonotonic Reasoning 2001-2003: Inxmail GmbH, Freiburg (Germany) XML & Logic XML & Logic Erik Behrends extreme programming Germany Göttingen Göttingen Universität Göttingen - Institut für Informatik - Arbeitsgruppe Datenbanken und Informationssysteme XML & Logic Nonmonotonic Reasoning integrity in relational databases 1995-2002: Universität Freiburg (Germany) XML & Logic +49 (551) 39-1 44 15 XML & friends deductive and active databases deductive and active databases information extraction from the Web deductive and active databases XML & friends integrity in relational databases http://www.ifi.informatik.uni-goettingen.de/midcom-serveattachmentguid-4156830b553d18a2b39a6b9b4278d942/wolfgang_may.jpeg information extraction from the Web theorem proving 1995-2002: Universität Freiburg (Germany) XML & Logic information extraction from the Web Nonmonotonic Reasoning may@informatik.uni-goettingen.de Logic Programming Logic Programming Head of the Databases and Information Systems Group at Göttingen University XML & friends temporal and modal logics temporal and modal logics Head of the Databases and Information Systems Group at Göttingen University Wolfgang May theorem proving Head of the Databases and Information Systems Group at Göttingen University http://www.ifi.informatik.uni-goettingen.de/staff/wolfgang_may.html#professional theorem proving Nonmonotonic Reasoning temporal and modal logics +49 (551) 39-1 44 12 integrity in relational databases e-learning reasoning on the semantic web http://www.ifi.lmu.de/~bry/ 1983-1984: research at IRT (now INRETS), Paris Applications of XML (especially Molecular Biology databases, eBooks, adaptive Web) 1985-1993: first researcher, later project leader at ECRC (European Computer-Industry Research Centre), Munich François Bry Automated reasoning for non-classical logics Automated reasoning for non-classical logics temporal reasoning Ludwig-Maximilians-Universität München Institut für Informatik +49 89 2180 9300 +49 89 2180 9311 translation techniques for non-classical logics http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach/ spacial reasoning 1991-1996 Senior Researcher at the Max-Planck-Institut für Informatik, Saarbrücken. Ludwig-Maximilians-Universität München Institut für Informatik 1996-1998 Research fellow (RA3) at the Dept. of Computing, Imperial College, London. Nuclear physics 1981-1990: Member of Prof. Dr. Jörg H. Siekmanns research group, first in Karlsruhe, then in Kaiserslautern. ohlbach@informatik.uni-muenchen.de building theorem provers for predicate logic 1996-1998 Research fellow (RA3) at the Dept. of Computing, Imperial College, London. calendrical calculations 1998-2000 Senior Lecturer at the Dept. of Computer Science, King's College, London. Nuclear physics http://www.pms.ifi.lmu.de/mitarbeiter/ohlbach/homepage/ohlbach.gif Hans Jürgen Ohlbach translation techniques for non-classical logics temporal reasoning inferences for Web applications combinations of inference techniques 1998-2000 Senior Lecturer at the Dept. of Computer Science, King's College, London. 1981-1990: Member of Prof. Dr. Jörg H. Siekmanns research group, first in Karlsruhe, then in Kaiserslautern. spacial reasoning combinations of inference techniques inferences for Web applications 1991-1996 Senior Researcher at the Max-Planck-Institut für Informatik, Saarbrücken. building theorem provers for predicate logic calendrical calculations Ludwig-Maximilians-Universität München no website available German University in Cairo Egypt http://www.guc.edu.eg/ German University in Cairo Cairo Cairo no picture available slim.abdennadher@guc.edu.eg no phone number given Slim Abdennadher +49-89-2180-9017 Stefanie Heidmann http://www.pms.ifi.lmu.de/mitarbeiter/heidmann/ +49-89-2180-9016 administrative assistant for REWERSE at the Institute for Informatics in Munich +49-89-2180-9017 http://www.pms.ifi.lmu.de/mitarbeiter/schwerte/uta_schwertel.gif +49-89-2180-9018 Providing a co-operative, efficient and productive management support for REWERSE computational semantics From 1997 to 2003 she was working as a research associate and Ph.D. student at the Department of Computer Science at the University of Zurich (Switzerland) within the project Attempto Controlled English. Applying controlled natural language within REWERSE plural semantics Computational linguistics computational semantics Providing a co-operative, efficient and productive management support for REWERSE From 1997 to 2003 she was working as a research associate and Ph.D. student at the Department of Computer Science at the University of Zurich (Switzerland) within the project Attempto Controlled English. plural semantics From 1995 to 1996 Uta Schwertel was employed as a research scientist at IBM research Heidelberg (Germany) within the machine translation project Verbmobil. I2 WG I2 - Policy Specification, Composition, and Conformance logic programming program synthesis and transformations Senior Research Associate at the Department of Informatics of the University of Zurich http://www.ifi.unizh.ch/~fuchs/ controlled natural language fuchs@ifi.unizh.ch http://www.ifi.unizh.ch/req/staff/fuchs/norbert_fuchs.gif logic programming theorem proving +41 1 635 68 09 requirements engineering IBM Norbert E. Fuchs program synthesis and transformations executable specifications Zurich http://www.ifi.unizh.ch Switzerland Zurich controlled natural language Syntax analysis evolutionary computational linguistics computational semantics shoefler@ifi.unizh.ch computational semantics grammar engineering +41 (0)1 635 68 09 Computational linguistics evolutionary computational linguistics Stefan Höfler +41 (0)1 635 67 57 natural language ambiguity Computational linguistics logic programming Research associate with the Attempto project in the Requirements Engineering Research Group at the Department of Informatics of the University of Zurich Research associate with the Attempto project in the Requirements Engineering Research Group at the Department of Informatics of the University of Zurich http://www.ifi.unizh.ch/~shoefler grammar engineering controlled natural language Syntax analysis http://www.ifi.unizh.ch/~shoefler/shoefler150.jpeg natural language ambiguity logic programming University of Zurich Department of Informatics University of Zurich Department of Informatics +41 76 366 53 15 controlled natural language Siemens theorem proving IBM Siemens executable specifications Senior Research Associate at the Department of Informatics of the University of Zurich Norbert E. Fuchs Mettler requirements engineering Mettler Architectures and protocols for DRM +46 (13) 28 58 76 Digital Rights Management (DRM) for protection of intangible goods Digital Rights Management (DRM) for protection of intangible goods Architectures and protocols for DRM Security in Peer-to-peer networks http://www.ida.liu.se/~edutu/ PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet Knowledge engineering National Institute for Research and Development in Informatics Knowledge Representation and Reasoning Bioinformatics Bioinformatics Knowledge Representation and Reasoning Genetic Algorithms Constraint Logic Programming Reasoning about Action and Planning in AI Bioinformatics Intelligent Information Integration Semantic Web Semantic Web +40-21-2233060 Reasoning about Action and Planning in AI Probabilistic network inference Intelligent Information Integration Probabilistic network inference Knowledge Representation and Reasoning http://www.ai.ici.ro/badea.html +40-21-2240759 Machine Learning Machine Learning badea@ici.ro Constraint Logic Programming Genetic Algorithms Genetic Algorithms Intelligent Information Integration http://www.ai.ici.ro/badea.gif Semantic Web +40-21-2241259/161 Liviu Badea +40-21-2240736/161 Constraint Logic Programming Machine Learning Knowledge Based Systems +40-21-2240539 Probabilistic network inference Reasoning about Action and Planning in AI Knowledge Based Systems Knowledge Based Systems Romania Bucharest Bucharest Constraint Logic Programming +40-1-2233060 AI group, Research Department, National Institute for Research and Development in Informatics (Romania) Doina Tilivea Knowledge Acquisition http://www.ai.ici.ro/tilivea.html Object oriented programming graphical interactive interfaces design real-time languages Intelligent Information Integration +40-1-2240759 +40-1-2240736/161 real-time languages Semantic Web Bioinformatics graphical interactive interfaces design Knowledge Acquisition Semantic Web +40-1-2241259/161 Knowledge-based Systems Bioinformatics no picture available Knowledge-based Systems doina@ici.ro Intelligent Information Integration Object oriented programming Constraint Logic Programming +40-1-2240539 AI group, Research Department, National Institute for Research and Development in Informatics (Romania) National Institute for Research and Development in Informatics http://www.ai.ici.ro Development of tools and integrated environments for rapid adaptation of legacy software on new hard/soft platforms, using reverse engineering techniques Development of methods and techniques for sequential programs parallelization, using knowledge-based concepts http://www.ai.ici.ro/ancah.jpg Senior Researcher at AI group, Research Department, National Institute for Research and Development in Informatics (Romania) Bioinformatics Development of tools and integrated environments for rapid adaptation of legacy software on new hard/soft platforms, using reverse engineering techniques Development of methods and techniques for sequential programs parallelization, using knowledge-based concepts Intelligent Information Integration Development of methods and techniques specific to distributed artificial intelligence and multi-agent systems Development of methods and techniques specific to distributed artificial intelligence and multi-agent systems Senior Researcher at AI group, Research Department, National Institute for Research and Development in Informatics (Romania) Anca Hotaran Intelligent Information Integration Development of artificial intelligence tools supporting specific high-level techniques for the design and implementation of expert systems no website available Development of artificial intelligence tools supporting specific high-level techniques for the design and implementation of expert systems no mail no phone number given knowledge based systems Semantic Web distributed artificial intelligence Knowledge engineering distributed artificial intelligence Semantic Web knowledge based systems Bioinformatics A2 WG A2 - Towards a Bioinformatics Semantic Web PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet Information Extraction +46 (13) 28 89 86 cecab@ida.liu.se Object oriented languages Ontologies and their usage in the Semantic Web (Participant in the Semantic Web project "SwebButler") Database Management and Query Languages Information Retrieval Object oriented languages Ontologies and their usage in the Semantic Web (Participant in the Semantic Web project "SwebButler") PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet http://www.ida.liu.se/~cecab/Pictures/2001/cecab.jpg http://www.ida.liu.se/~cecab#professional Information Extraction +46 (13) 28 26 66 Consultant for Cap Gemini France Information Retrieval Database Management and Query Languages Consultant for Cap Gemini France Cecile Aberg Knowledge-based information retrieval Knowledge-based information retrieval http://www.ida.liu.se/labs/iislab/people/patla/gif/lambrix.gif Ontologies Patrick Lambrix patla@ida.liu.se Associate Professor, Department of Computer and Information Science, Linköpings universitet Semantic Web Databases Databases Ontologies Bioinformatics Knowledge representation Semantic Web +46 (13) 14 22 31 http://www.ida.liu.se/labs/iislab/people/patla/ Associate Professor, Department of Computer and Information Science, Linköpings universitet Knowledge representation Description logics Bioinformatics +46 (13) 28 26 05 Description logics Bioinformatics ontologies for text mining Prof. at Biotechnological Centre (BioZ) of the Technological University Dresden University of Hannover protein interactions ontologies for text mining University of Hannover systems integration for bioinformatics gd@biotec.tu-dresden.de +49-351-463-40065 Gihan Dawelbait Ontologies in Bioinformatics no website available no picture available Ontologies in Bioinformatics Structural Bioinformatics Andreas Henschel Structural Bioinformatics no picture available no website available +49-351-463-40063 henschel@mpi-cbg.de http://www.biotec.tu-dresden.de Dresden Technische Universität Dresden ad11@inf.tu-dresden.de no picture available no website available Ontologies in Bioinformatics Andreas Doms Ontologies in Bioinformatics +49-351-463-40066 Structural Bioinformatics bhuang@mpi-cbg.de no website available Bingding Huang +49-351-463-40064 Structural Bioinformatics no picture available Technische Universität Dresden Dresden Germany no picture available University of Lisbon Michael Schröder University of Hannover protein interactions +49-351-46340060 Bioinformatics http://www.biotec.tu-dresden.de/ systems integration for bioinformatics University of Lisbon protein interactions ms@biotec.tu-dresden.de University of Lisbon Bioinformatics City University, London +49-351-46340061 systems integration for bioinformatics Prof. at Biotechnological Centre (BioZ) of the Technological University Dresden City University, London City University, London ontologies for text mining Prof. at Biotechnological Centre (BioZ) of the Technological University Dresden WG A2 - Towards a Bioinformatics Semantic Web evolutionary computation evolutionary computation Lecturer at the Department of Computer Science, University of Skövde, Sweden http://www.ida.his.se/~bjorne/ bjorn.olsson@ida.his.se Bioinformatics, with focus on algorithms for bioinformatics applications Bioinformatics Lecturer at the Department of Computer Science, University of Skövde, Sweden +46 (0)500-44 83 99 Björn Olsson +46 (0)500-44 83 16 Bioinformatics, with focus on algorithms for bioinformatics applications Bioinformatics Head of the Bioinformatics Group at University of Skövde, Sweden Head of the Bioinformatics Group at University of Skövde, Sweden http://www.ida.his.se/ida/bilder/personal/bjorn_olsson.gif http://comas.soi.city.ac.uk/rewerse-a2/ Constraint Programming http://contraintes.inria.fr/~soliman INRIA Rocquencourt, "CONTRAINTES" group Linear Logic D.G.A. (more or less French DARPA) INRIA Rocquencourt, "CONTRAINTES" group +33 1 39 63 57 61 Linear Logic Model Checking no picture available +33 1 39 63 54 69 Constraint Programming Natural Language Processing Bioinformatics Bioinformatics Natural Language Processing Sylvain Soliman Paris (+33) 1 39 63 51 91 http://contraintes.inria.fr/~coquery/research.en.html Semantic Web rule-based languages Typing constraint logic programs no picture available PhD Student University Paris 6 Emmanuel.Coquery@inria.fr rule-based languages Emmanuel Coquery coordinator: Prof. Uwe Aßmann Michael Kifer Department of Computer Science -- University at Stony Brook (Professor) University of New York New York New York http://www.cs.sunysb.edu/ USA University of New York Department of Computer Science -- University at Stony Brook (Professor) kifer@cs.stonybrook.edu http://www.cs.sunysb.edu/~kifer/images/kifer.gif Declarative languages for data and knowledge manipulation Integration of object-oriented and deductive paradigms Logic programming Object-oriented databases Logic programming Artificial intelligence Query optimization no phone number given Object-oriented databases Artificial intelligence Department of Computer Science -- University of Toronto, Canada http://www.cs.sunysb.edu/~kifer/ Department of Computer Science -- University of Toronto, Canada Integration of object-oriented and deductive paradigms Declarative languages for data and knowledge manipulation Query optimization INRIA - Unité de Recherche Lorraine (LORIA) France Nancy http://www.loria.fr Nancy INRIA - Unité de Recherche Lorraine (LORIA) (+33) (0)3 8358 1705 Claude Kirchner (+33) (0)3 8358 1701 http://www.loria.fr/~ckirchne/ kirchner.claude@loria.fr http://www.loria.fr/~ckirchne/img/CKoct2002.jpg http://www.ida.liu.se/~uweas/Rewerse/I3 nathalie.chabrier@inria.fr Nathalie Chabrier (+33)01-43-49-15-89 http://contraintes.inria.fr/~chabrier/nathalie.jpg http://contraintes.inria.fr/@chabrier/ Semantic Web Adrian Pop Software Composition Simulation Languages Ph.D student in Programming Environments Laboratory (PELAB), Department of Computer and Information Science, Linköping University Object-oriented Modeling Ph.D student in Programming Environments Laboratory (PELAB), Department of Computer and Information Science, Linköping University Execution and debugging of Natural Semantics specifications Software Composition [1999-2000] Software engineer at DAPREDI Soft Systems, subcontractor for multitrade systems used in Statoil's gas stations. [2000-2002] Working in Documentation and Information Group (DIG), Department of Computer and Information Science (IDA) and developing various projects envolving web and databases adrpo@ida.liu.se Execution and debugging of Natural Semantics specifications Simulation Languages +46 (0)13 285781 Semantic Web +46 (0)13 142231 http://www.ida.liu.se/~adrpo/ [1999-2000] Software engineer at DAPREDI Soft Systems, subcontractor for multitrade systems used in Statoil's gas stations. http://rewerse.net/members/pop_adrian/Adrian_Pop2.jpg [2000-2002] Working in Documentation and Information Group (DIG), Department of Computer and Information Science (IDA) and developing various projects envolving web and databases Object-oriented Modeling http://www.ida.liu.se/~artwi/ja.jpg PhD Student at TCSLAB, Department of Computer and Information Science, Linköpings universitet (+46)13-28 2694 query languages for Semantic Web query languages for Semantic Web http://www.ida.liu.se/~artwi/ Reasoning on the Web artwi@ida.liu.se Reasoning on the Web Ontologies PhD Student at TCSLAB, Department of Computer and Information Science, Linköpings universitet Artur Wilk Ontologies (+33) 01 39 63 57 08 Ludovic Langevine Ludovic.Langevine@inria.fr no picture available http://contraintes.inria.fr/~langevin/ (+33) 01 39 63 54 69 no phone number given no picture available http://staff.um.edu.mt/cabe2#professional http://www.semantech.org#personal Semantic Web PhD Student and Assistant Lecturer University of Malta, Junior College Semantic Web AI Planning PhD Student and Assistant Lecturer University of Malta, Junior College Charlie Abela charlie.abela@um.edu.mt AI Planning Web Services: Discovery and Composition Web Services: Discovery and Composition Ontologies 011-36 32 70 Data Mining aidvi@itn.liu.se Description Logics Semantic Web 011-36 33 29 Teaching assistent at the Dept. of Computer Science of New University of Lisbon. Logic Programming Rough Sets Aida Vitória Rough Sets Logic Programming Teaching assistent at the Dept. of Computer Science of New University of Lisbon. Semantic Web Ontologies Lecturer in Computer Science (in Swedish is adjunkt position), with 50% time for PhD studies, at LIU/ITN. Data Mining Description Logics http://www.itn.liu.se/~aidvi/ no picture available Lecturer in Computer Science (in Swedish is adjunkt position), with 50% time for PhD studies, at LIU/ITN. Department of Computer Science, University of California, Riverside (1992, visiting assistant professor) proving program correctness Department of Computer Science, University of California, Riverside (1992, visiting assistant professor) Semantics of programming languages Semantics of programming languages Logic programming: semantics, proving program properties, descriptive types, diagnosing program errors, semantic analysis of programs, negation. Programming paradigms related to logic programming. Instytut Informatyki, Uniwersytet Warszawski (Institute of Informatics, Warsaw University, part time assistant professor) Semantics of programming languages proving program correctness Linköpings universitet, Sweden Instytut Informatyki, Uniwersytet Warszawski (Institute of Informatics, Warsaw University, part time assistant professor) no picture available programming metodology programming metodology http://www.ipipan.waw.pl/~drabent Programming paradigms related to logic programming. Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland Instytut Informatyki, Uniwersytet Warszawski (Institute of Informatics, Warsaw University, part time assistant professor) Logic programming: semantics, proving program properties, descriptive types, diagnosing program errors, semantic analysis of programs, negation. Logic programming: semantics, proving program properties, descriptive types, diagnosing program errors, semantic analysis of programs, negation. Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland proving program correctness +48 22 836 28 41 Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland drabent@ipipan.waw.pl Department of Computer Science, University of California, Riverside (1992, visiting assistant professor) Wlodek Drabent Linköpings universitet, Sweden programming metodology Programming paradigms related to logic programming. Wlodzimierz Drabent Linköpings universitet, Sweden +48 22 837 65 64 no picture available decision-making theory evolutionary optimization http://www.ipipan.waw.pl/~stw Theory and applications of artificial immune systems Dempster-Shafer theory of evidence fuzzy sets and systems Theory and applications of artificial immune systems fuzzy sets and systems Evolutionary computation and coevolutionary algorithms Evolutionary computation and coevolutionary algorithms uncertainty management +48 (22) 837-6564 +48 (22) 836-2885 machine learning machine learning uncertainty management Professor at Technical University of Bialystok evolutionary optimization Bayesian networks Bayesian networks Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland Professor at Technical University of Bialystok Slawomir Wierzchon Dempster-Shafer theory of evidence decision-making theory stw@ipipan.waw.pl Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warsaw, Poland Warsaw Institute of Computer Science, Polish Academy of Sciences Institute of Computer Science, Polish Academy of Sciences Instytut Podstaw Informatyki Polskiej Akademii Nauk Warsaw Poland Co-designer of CoSy, the compiler component framework, marketed by ACE b.V. Amsterdam aspect-oriented programming software architecture nterdisciplinary artefact design Software composition Co-designer of CoSy, the compiler component framework, marketed by ACE b.V. Amsterdam Semantic Web graph rewrite systems COMPOST, a library of meta-programming software composition operators. aspect-oriented programming +46-13-286678 nterdisciplinary artefact design optimizer generation second-generation component systems ontology engineering OPTIMIX, the world's first optimizer generator for all phases of analysis and optimization. Semantic Web aspect-oriented programming COMPOST, a library of meta-programming software composition operators. http://www.ida.liu.se/~uweas Uwe Aßmann program analysis Professor for Software Engineering Programming Environments Lab (PELAB) Dept. of Computer Science, Linköpings universitet Software composition ontology engineering OPTIMIX, the world's first optimizer generator for all phases of analysis and optimization. software architecture nterdisciplinary artefact design optimizer generation optimizer generation Professor for Software Engineering Programming Environments Lab (PELAB) Dept. of Computer Science, Linköpings universitet program analysis Semantic Web workflow systems Professor for Software Engineering Programming Environments Lab (PELAB) Dept. of Computer Science, Linköpings universitet second-generation component systems workflow systems Co-designer of CoSy, the compiler component framework, marketed by ACE b.V. Amsterdam workflow systems software architecture Software composition http://www.ida.liu.se/~uweas/icons/uwe1.jpg uweas@ida.liu.se +46-13-284499 COMPOST, a library of meta-programming software composition operators. OPTIMIX, the world's first optimizer generator for all phases of analysis and optimization. ontology engineering programming languages and compilers graph rewrite systems second-generation component systems graph rewrite systems program analysis programming languages and compilers programming languages and compilers http://contraintes.inria.fr/~haemmerl/ Remy.Haemmerle@inria.fr Rémy Haemmerlé no picture available (+33) 1 39 63 51 91 Semantic Web Framework development Semantic Web University Assistant at the Programming Environmnets Laboratory, IDA, LiU University Assistant at the Programming Environmnets Laboratory, IDA, LiU Component-based systems Invasive software composition ilisa@ida.liu.se Invasive software composition Graph rewriting systems Invasive software composition http://www.ida.liu.se/~ilisa/ Semantic Web Component-based systems Framework development Graph rewriting systems University Assistant at the Programming Environmnets Laboratory, IDA, LiU no phone number given Ilie Savga Component-based systems Graph rewriting systems http://rewerse.net/members/savga_ilie/Ilie_Savga2.jpg Framework development I3 Software Process Improvement 1987-1990 Graduate student, same university Medical Informatics Software Metrics 1983-1986 Research and teaching assistant, Linköping University Negotiations http://rewerse.net/members/sandahl_kristian/Kristian_Sandahl2.jpg Professor (software engineering), Linköping University 1993-1995 Assistant professor, same university 1987-1990 Graduate student, same university +46 13 28 19 57 Empirical Research Methods Professor (software engineering), Linköping University +46 13 28 58 99 Requirements Engineering 1999-2001 Consulting professor, 20% (industrial system development), same university Knowledge Management 1990-1992 Research engineer, same university Medical Informatics 1995-2001 Specialist (systems engineering), Ericsson Radio Systems AB 1986-1987 Consultant at Epitec AB 1983-1986 Research and teaching assistant, Linköping University Fall 2000 Acting section manager, Ericsson Radio Systems AB Knowledge Management http://www.ida.liu.se/~krisa/ Kristian Sandahl Semantic Web Empirical Research Methods 1999-2001 Consulting professor, 20% (industrial system development), same university 1995-2001 Specialist (systems engineering), Ericsson Radio Systems AB System Visualisation krisa@ida.liu.se 1990-1992 Research engineer, same university Software Metrics Knowledge Engineering Expert Systems Software Process Improvement Requirements Engineering 1993-1995 Assistant professor, same university Knowledge Engineering Fall 2000 Acting section manager, Ericsson Radio Systems AB 1986-1987 Consultant at Epitec AB System Visualisation Negotiations Expert Systems Semantic Web francois.fages@inria.fr Constraint Programming languages http://contraintes.inria.fr/~fages design of high-level programming languages http://contraintes.inria.fr/~fages/index_files/Francois.jpg François Fages (+33) 1 39 63 54 69 design of high-level programming languages (+33) 1 39 63 57 09 Logic and Computation Constraint Programming languages Logic and Computation Head of the Projet Contraintes, INRIA Rocquencourt, France Head of the Projet Contraintes, INRIA Rocquencourt, France deputy: Prof. Wlodek Drabent assistant: Ilie Savga http://contraintes.inria.fr/~deransar/ Research Director at INRIA-Rocquencourt in the "Contraintes" group Research Director at INRIA-Rocquencourt in the "Contraintes" group Pierre Deransart +33 (0)1 39 63 54 69 http://contraintes.inria.fr/~deransar/Pierre.gif +33 (0)139 63 55 36 Pierre.Deransart@inria.fr WG I3 - Composition and Typing I3 WG I3 - Composition and Typing PhD student, Linkoping University yuxzh@ida.liu.se http://rewerse.net/members/zhao_yuxiao/Yuxiao_Zhao.jpg Component-Based Software Development (CBD) Semantic Web services for Internet Commerce Component-Based Software Development (CBD) Enterprise Application Integration (EAI) +46-13-285899 http://www.ida.liu.se/~yuxzh/ XML-based Frameworks for Internet Commerce Yuxiao Zhao XML-based Frameworks for Internet Commerce +46-13-284496 Enterprise Application Integration (EAI) PhD student, Linkoping University Semantic Web services for Internet Commerce formal methods in computer science formal methods in computer science rough sets rough sets http://www.ida.liu.se/~janma/ janma@ida.liu.se http://www.ida.liu.se/~janma/jan.gif +46 13 281483 +46 13 284499 Logic programming formal methods in computer science rough sets Jan Maluszynski Logic programming Logic programming Semantic Web PhD Student University Paris 6 Typing constraint logic programs INRIA Rocquencourt - Projet CONTRAINTES INRIA Rocquencourt - Projet CONTRAINTES Paris http://contraintes.inria.fr/ France D.G.A. (more or less French DARPA) Model Checking Sylvain.Soliman@inria.fr A2 Institute for Computer Schience, University of Munich Natural Language Processing Protein Structure Prediction +49 (3641) 9-46452 http://www.bio.inf.uni-jena.de/~backofen/images/rolf_3-extrasmall.jpg Chair for Bioinformatics, Institute for Computer Schience, University of Jena http://www.bio.inf.uni-jena.de/~backofen/ Constraint Programming Protein Structure Prediction +49 (3641) 9-46450 German Research Center for Artficial Intelligence (DFKI), Saarbrücken Rolf Backofen Bioinformatics and Semantic Web Alternative Splicing Natural Language Processing Regulatory Sequences Bioinformatics and Semantic Web Institute for Computer Schience, University of Munich Regulatory Sequences RNA-Sequence-Structure Alignment Constraint Languages Alternative Splicing backofen@inf.uni-jena.de Chair for Bioinformatics, Institute for Computer Schience, University of Jena Constraint Languages Constraint Programming RNA-Sequence-Structure Alignment German Research Center for Artficial Intelligence (DFKI), Saarbrücken Jena Jena Friedrich-Schiller-Universität Jena Friedrich-Schiller-Universität Jena Germany http://www.bio.inf.uni-jena.de/ http://www.ida.liu.se/~vaija/ knowledge representation +46 (13) 28 10 88 Information integration vaija@ida.liu.se integration of biological data sources integration of biological data sources +46 (13) 28 26 66 Vaida Jakoniene PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet Information integration knowledge representation http://rewerse.net/members/jakoniene_vaida/Vaida_Jakoniene.jpg PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet Professor, Department of Computer and Information Science, Linköpings universitet Semantic Web Information retrieval Nahid Shahmehri http://www.ida.liu.se/labs/iislab/people/nahsh/me-2.jpg nahsh@ida.liu.se Information Extraction Information Extraction Professor, Department of Computer and Information Science, Linköpings universitet Technology for Later Life Information security +46 (13) 28 26 66 Semantic Web Information retrieval http://www.ida.liu.se/~nahsh/ Technology for Later Life Information security +46 (13) 28 20 66 http://rewerse.net/members/duma_claudiu/Claudiu_Duma2.jpg cladu@obel13.ida.liu.se Security PhD Student at IISLAB (Lic), Department of Computer and Information Science, Linköpings universitet 013-28 17 90 trust management Security with focus on secure group communication and access control Claudiu Duma trust management Security http://www.ida.liu.se/~cladu/ Security with focus on secure group communication and access control PhD Student at IISLAB (Lic), Department of Computer and Information Science, Linköpings universitet 013-14 22 31 Linköping Linköping Linköpings Universitet Sweden http://www.ida.liu.se Linköpings Universitet Eduard Turcan http://rewerse.net/members/turcan_eduard/Eduard_Turcan2.jpg PhD Student at IISLAB, Department of Computer and Information Science, Linköpings universitet edutu@ida.liu.se Security in Peer-to-peer networks http://cs.na.infn.it/rewerse/ http://cs.na.infn.it/security/ Current Interests in REWERSE: Foundations of Logic Programming, Nonmonotonic reasoning, and Description Logics, and their applications to policy specification, policy composition, and service description. Formal languages Adriano Peron Description logics Università  di Napoli Federico II http://people.na.infn.it/~peron Università di Napoli Federico II Reactive systems +032+81+676813 Description logics http://people.na.infn.it/~peron/mia.jpg Università di Udine Università di Udine Reactive systems Metric and Temporal logics peron@na.infn.it Metric and Temporal logics Formal languages Università di Napoli Federico II +39-081-676822 Answer set programming Università di Napoli Federico II Security Service oriented computing http://people.na.infn.it/~bonatti/ Piero A. Bonatti Knowledge representation and reasoning Università di Napoli Federico II Università degli Studi di Milano Knowledge representation and reasoning Answer set programming no picture available Università degli Studi di Milano Service oriented computing bonatti@na.infn.it Security Università di Napoli Federico II Naples Italy http://cs.na.infn.it/kr/ Naples Researcher Learning Lab Lower Saxony [L3S] University of Hannover Grid Grid trust negotiation Web Services http://www.learninglab.de/~olmedilla/ olmedilla@l3s.de Researcher Learning Lab Lower Saxony [L3S] University of Hannover trust negotiation Semantic Web data mining Semantic Web data mining Security Web Services +49. (0)511.762-9741 Security +49. (0)511.762-9779 Daniel Olmedilla http://www.learninglab.de/~olmedilla/images/danielOlmedilla.jpg adaptation based on reasoning baroglio@di.unito.it hybrid learning systems learning mutually recursive relations Cristina Baroglio +39 011 670 67 03 reinforcement learning learning mutually recursive relations symbolic/non-symbolic relationships http://www.di.unito.it/~baroglio symbolic/non-symbolic relationships adaptation based on reasoning no picture available automatic teaching to artificial agents automatic teaching to artificial agents IFS-based image representation fractals reinforcement learning Logic Programming knowledge management chairman of the PhD program in Computer Science from 1988 to 1995 Hypothetical Reasoning Belief Revision From 1968 to 1981 he was with the Istituto di Elaborazione dell'Informazione of the Italian National Research Council in Pisa. http://www.di.unito.it/~mrt Hypothetical Reasoning Nonmonotonic Reasoning knowledge management Reasoning mrt@di.unito.it Belief Revision +39 011 6706731 Reasoning Nonmonotonic Reasoning +39 011 751603 director of the Dipartimento di Informatica from 1984 to 1989 Since November 1981 full professor of Computer Science at the University of Torino Alberto Martelli director of the Dipartimento di Informatica from 1984 to 1989 Logic Programming chairman of the PhD program in Computer Science from 1988 to 1995 From 1968 to 1981 he was with the Istituto di Elaborazione dell'Informazione of the Italian National Research Council in Pisa. no picture available Since November 1981 full professor of Computer Science at the University of Torino NLP applied to Information Extraction Since 2002 researcher at the Department of Computer Science of the University of Torino. user tailored hypertexts +39-011-751603 NLP applied to Information Extraction dynamic Web pages generation intelligent user interfaces no picture available user tailored hypertexts Web technologies Since 2002 researcher at the Department of Computer Science of the University of Torino. http://www.di.unito.it/~goy goy@di.unito.it +39-011-670.6786 dynamic Web pages generation Web technologies Anna Goy intelligent user interfaces Università degli Studi di Torino Turin Turin Italy http://www.di.unito.it/ Università degli Studi di Torino +39 011 75 16 03 From 1999 researcher at the Department of Computer Science of the University of Torino. IFS-based image representation fractals hybrid learning systems From 1999 researcher at the Department of Computer Science of the University of Torino. WG I2 - Policy Specification, Composition, and Conformance I2 reasoning relational and semistructured databases usability (43) 1 58801 18469 logic-based inference (43) 1 58801 18493 Information modelling content management Design history of mathematics reasoning Doctoral Student at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology http://www.kr.tuwien.ac.at/staff/roman/ Mathematical logic philosophy of mathematics history of mathematics Knowledge-based systems Semantic Web Information modelling Semantic Web Mathematical logic no picture available Roman Schindlauer Knowledge-based systems Doctoral Student at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology philosophy of mathematics roman@kr.tuwien.ac.at http://www.kr.tuwien.ac.at/staff/tompits/icons/tompits.jpg Automated deduction Associate Professor at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology Logic programming (+43) 1 58801 18463 tompits@kr.tuwien.ac.at Knowledge representation Hans Tompits Nonmonotonic reasoning Associate Professor at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology Knowledge representation Logic programming http://www.kr.tuwien.ac.at/staff/tompits/ Automated deduction Nonmonotonic reasoning Vienna Technische Universität Wien Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology http://www.dbai.tuwien.ac.at/staff/gottlob/ gottlob@dbai.tuwien.ac.at query languages constraint satisfaction +43 (1) 58801-18492 Web data extraction University of Giessen 1996-1998 computational logic complexity theory Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology data base theory data base theory Georg Gottlob +43 (1) 58801-18420 University of Giessen 1996-1998 query languages constraint satisfaction http://www.dbai.tuwien.ac.at/staff/gottlob/gottlob.jpg data bases complexity theory data bases Web data extraction computational logic concurrency control http://www.kr.tuwien.ac.at/staff/eiter/ Artificial Intelligence TU Wien 1991-1996 algorithms and complexity in databases knowledge representation Christian Doppler Laboratory for Expert Systems, 1990-1991 Professor at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology http://www.kr.tuwien.ac.at/staff/eiter/eiter.GIF algorithms and complexity in databases logic programming and databases TU Wien 1991-1996 reasoning Artificial Intelligence University of Giessen 1996-1998 University of Giessen 1996-1998 reasoning knowledge-based agents +43-1-58801-18460 knowledge representation knowledge-based agents concurrency control Professor at the Institute of Information Systems, Knowledge Based System Group , Vienna University of Technology eiter@kr.tuwien.ac.at Christian Doppler Laboratory for Expert Systems, 1990-1991 Thomas Eiter +43-1-58801-18493 logic programming and databases Vienna http://www.kr.tuwien.ac.at/ Austria http://www.dbai.tuwien.ac.at/ Technische Universität Wien logic-based inference ontologies content management intelligent information retrieval Design ontologies relational and semistructured databases usability intelligent information retrieval knowledge inference http://www.mcm.unisg.ch/ Switzerland Universität St. Gallen St. Gallen Universität St. Gallen St. Gallen +41 71 2242458 Rolf Grütter epistemology Semantic Web knowledge representation knowledge representation epistemology http://rewerse.net/members/gruetter_rolf/Gruetter.gif scientific project manager and lecturer at the Institute for Media and Communications Management, University of St. Gallen, Switzerland scientific project manager and lecturer at the Institute for Media and Communications Management, University of St. Gallen, Switzerland Rolf.Gruetter@unisg.ch knowledge inference medical informatics Artificial Intelligence Semantic Web medical informatics http://www.mcm.unisg.ch/org/mcm/web.nsf/staff/rgruetter Artificial Intelligence Since March 2004 she is working at the Department of Computer Science at the LMU Munich within the REWERSE project. From 1995 to 1996 Uta Schwertel was employed as a research scientist at IBM research Heidelberg (Germany) within the machine translation project Verbmobil. reasoning in natural language controlled natural language Computational linguistics Since March 2004 she is working at the Department of Computer Science at the LMU Munich within the REWERSE project. Uta Schwertel controlled natural language uta.schwertel@ifi.lmu.de reasoning in natural language http://www.pms.ifi.lmu.de/mitarbeiter/schwerte/ Applying controlled natural language within REWERSE PRA - Presentation, Reviewing and Assessment http://rewerse.net/pra.html PRA PRA PRA - Presentation, Reviewing and Assessment This is an REWERSE Activity administrative assistant for REWERSE at the Institute for Informatics in Munich http://rewerse.net/members/heidmann_stefanie/Stefanie_Heidmann.jpg Stefanie.Heidmann@ifi.lmu.de 2002-2004: Visiting researcher at the Keio University, Japan michael.kraus@informatik.uni-muenchen.de web-based personalization Researcher at the University of Munich Researcher at the University of Munich Adaptive hypermedia Adaptive hypermedia device independence Michael Kraus query languages for the (semantic) web 2001-2002: Research assistant at the Chair for Programming and Modelling Languages, Institute of Computer Science, University of Munich no phone number given device independence query languages for the (semantic) web 2001-2002: Research assistant at the Chair for Programming and Modelling Languages, Institute of Computer Science, University of Munich web-based personalization 2002-2004: Visiting researcher at the Keio University, Japan http://www.pms.informatik.uni-muenchen.de/~krausm/ http://rewerse.net/members/kraus_michael/michael_kraus.jpg Germany http://www.pms.informatik.uni-muenchen.de/mitarbeiter/lorenz/ Qualitative Reasoning Techniques http://rewerse.net/members/lorenz_bernhard/lorenzb.jpg Bernhard Lorenz Routing, Navigation, Wayfinding Qualitative Reasoning Techniques no mail Routing, Navigation, Wayfinding no phone number given +49-89-2180-9311 data integration XPath XPath Semi-structured data and XML data integration http://www.pms.ifi.lmu.de/mitarbeiter/olteanu/dan_c1.gif research and teaching assistant in the group of professor François Bry at the Institute for Informatics, University of Munich, Germany query optimization +49-89-2180-9782 query processing query processing Dan Olteanu query optimization research and teaching assistant in the group of professor François Bry at the Institute for Informatics, University of Munich, Germany dan.olteanu@informatik.uni-muenchen.de http://www.pms.ifi.lmu.de/mitarbeiter/olteanu/ Semi-structured data and XML Ludwig-Maximilians-Universität München Faculty for Informatics, University of Kaiserslautern Norbert Eisinger query languages for XML ECRC (European Computer-Industry Research Centre), Munich Semi-structured data and XML Faculty for Informatics, University of Karlsruhe Faculty for Informatics, University of Kaiserslautern Institute for Informatics, University of Munich Institute for Informatics, University of Munich Faculty for Informatics, University of Karlsruhe query languages for XML rule-based systems rule-based systems logic programming logic programming Norbert.Eisinger@informatik.uni-muenchen.de +49-89-2180-9311 http://www.pms.ifi.lmu.de/mitarbeiter/eisinger http://www.pms.ifi.lmu.de/mitarbeiter/eisinger/photo.gif Semi-structured data and XML automated deduction +49-89-2180-9318 ECRC (European Computer-Industry Research Centre), Munich automated deduction 1998-2000 University of Munich (System Administration) University of Munich (Research Assistant) http://www.wastl.net/images/wastl.png no phone number given 1998-2000 University of Munich (System Administration) 2000 Siemens AG Munich (IT Consulting; OpenSource projects) Logic Programming Query/Programming Languages no mail Functional Programming Semantic Web 2000 Siemens AG Munich (IT Consulting; OpenSource projects) Logic Programming http://www.wastl.net Sebastian Schaffert Query/Programming Languages Semantic Web Functional Programming University of Munich (Research Assistant) Next-generation Web technologies Data streams and message-oriented middleware logical query plan generation XML Next-generation Web technologies http://www.furche.net research assistant at the Institute for Informatics, Ludwig-Maximilians-Universität Munich research assistant at the Institute for Informatics, Ludwig-Maximilians-Universität Munich research assistant at the Institute for Informatics, Ludwig-Maximilians-Universität Munich Semi-structured data logical query plan generation XML Query optimization for relational and semi-structured data bases Query optimization for relational and semi-structured data bases Semantic Web tim@furche.net no picture available Data streams and message-oriented middleware Query optimization for relational and semi-structured data bases Semantic Web Semi-structured data Next-generation Web technologies Data streams and message-oriented middleware Tim Furche logical query plan generation +49-89-62 50 92 36 Semi-structured data http://www.pms.ifi.lmu.de/ Unification Theory Professor at the Center of Information and Language Processing (CIS) University of Munich +49 89 2180 9701 http://www.cis.uni-muenchen.de/pictures/schulz.jpg Approximate Search Approximate Search +49 89 2180 9700 Querying XML Klaus U. Schulz schulz@cis.uni-muenchen.de Querying XML http://www.cis.uni-muenchen.de/people/schulz.html Information Retrieval Deduction Text Correction Information Retrieval Professor at the Center of Information and Language Processing (CIS) University of Munich Deduction Text Correction Unification Theory Munich Munich 1981-1982: software engineer at Transac-Alcatel (now Alcatel), Paris francois.bry@ifi.lmu.de +49-89-2180 9311 1981-1982: software engineer at Transac-Alcatel (now Alcatel), Paris Automated Theorem Proving and Logic Programming (Rule-based Systems, Tableau Methods) Knowledge Representation (XML, Semistructured Data, Common Sense Reasoning) 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) since 1994: full professor Unit Programming and Modeling Languages, Institute for Informatics, University of Munich since 1994: full professor Unit Programming and Modeling Languages, Institute for Informatics, University of Munich +49-89-2180 9310 Methods and languages for reasoning on the Web Database Systems (Query Languages, Integrity Constraints, Data Modelling) Methods and languages for reasoning on the Web Indexing methods for XML and semistructured data http://rewerse.net/members/bry_francois/photo-2001-small.gif Query languages for XML and semistructured data (rule-based approaches, streamed evaluation, type systems) Applications of XML (especially Molecular Biology databases, eBooks, adaptive Web) Query languages for XML and semistructured data (rule-based approaches, streamed evaluation, type systems) 1983-1984: research at IRT (now INRETS), Paris 1985-1993: first researcher, later project leader at ECRC (European Computer-Industry Research Centre), Munich Indexing methods for XML and semistructured data educational semantic web learning sciences educational modelling languages learning sciences Heidrun Allert knowledge management allert@learninglab.de educational semantic web +49 (0)511 762 9756 educational modelling languages http://rewerse.net/members/allert_heidrun/heidrun.jpg +49 (0)511 762 9779 knowledge management http://www.learninglab.de/~allert/ computer-supported collaborative learning Institut für Informationssysteme, Learning Lab Lower Saxony [L3S] University of Hannover Institut für Informationssysteme, Learning Lab Lower Saxony [L3S] University of Hannover computer-supported collaborative learning Carole Goble e-Science carole@cs.man.ac.uk e-Science +44 161 275 6195 Professor in the Department of Computer Science in the University of Manchester +44 161 275 6236 Semantic Web http://www.cs.man.ac.uk/~carole/ Semantic Web Professor in the Department of Computer Science in the University of Manchester http://www.cs.man.ac.uk/~carole/c-a-goble.gif United Kingdom OWL Ontology Languages Description Logics +44 161 275 6133 1999 - 2001 Lecturer in Computer Science at the University of Manchester Semantic Web Semantic Web Ontologies +44 161 275 6211 2001 - 2002 Senior Lecturer in Computer Science at the University of Manchester Text Processing Reasoning OWL Present Professor of Computer Science at the University of Manchester Present Professor of Computer Science at the University of Manchester Parallel Architectures Ontology Languages Ian Horrocks Ontologies Description Logics 2002 - 2003 Reader in Computer Science at the University of Manchester Knowledge Representation Text Processing 2001 - 2002 Senior Lecturer in Computer Science at the University of Manchester http://www.cs.man.ac.uk/~horrocks Parallel Architectures 1999 - 2001 Lecturer in Computer Science at the University of Manchester http://www.cs.man.ac.uk/~horrocks/mugshot-tiny.jpg Knowledge Representation Reasoning horrocks@cs.man.ac.uk 2002 - 2003 Reader in Computer Science at the University of Manchester Semantic Web http://www.cs.man.ac.uk/~lil/ Ph.D. student, University of Manchester lil@cs.man.ac.uk Description Logics http://rewerse.net/members/li_lei/photo.jpg Description Logics no phone number given Semantic Web Reasoning with large numbers of individuals using a combination of DB and DL techniques Lei Li Reasoning with large numbers of individuals using a combination of DB and DL techniques Ph.D. student, University of Manchester Manchester http://img.cs.man.ac.uk/ Manchester Manchester WG ET - University Education and Training WG ET - University Education and Training http://www.ida.liu.se/~artwi/Rewerse/ET/index.html This is a REWERSE Activity ET ET Semantic Web Adaptive Hypermedia Systems Artificial Intelligence Software Engineering and Modelling Peer-to-Peer Systems Semantic Web Adaptive Hypermedia Systems Software Engineering and Modelling http://www.kbs.uni-hannover.de/~nejdl Learning Lab Lower Saxony Peer-to-Peer Systems Innovative Learning Technologies +49-511-762-19710 Institut für Informationssysteme - Wissensbasierte Systeme an der Universität Hannover eLearning and Blended Learning +49-511-762-19712 Semantic Web Wolfgang Nejdl Innovative Learning Technologies Software Engineering and Modelling Innovative Learning Technologies http://rewerse.net/members/nejdl_wolfgang/wnejdl.gif Adaptive Hypermedia Systems eLearning and Blended Learning Institut für Informationssysteme - Wissensbasierte Systeme an der Universität Hannover Artificial Intelligence Learning Lab Lower Saxony Institut für Informationssysteme - Wissensbasierte Systeme an der Universität Hannover Artificial Intelligence Learning Lab Lower Saxony Peer-to-Peer Systems nejdl@kbs.uni-hannover.de eLearning and Blended Learning Hannover Universität Hannover and Learning Lab Lower Saxony gavriloaie@learninglab.de Semantic Web and personalization declarative programming Semantic Web and personalization http://www.learninglab.de/~gavriloaie/ Learning Lab Lower Saxony declarative programming +49 (0)511 762-9729 University of Hannover personalization in open environment +49 (0)511 762-9779 Rita Gavriloaie http://www.learninglab.de/images/mitarbeiter/rita_gavriloaie.jpg Learning Lab Lower Saxony University of Hannover personalization in open environment Universität Hannover and Learning Lab Lower Saxony Universität Hannover and Learning Lab Lower Saxony Hannover Germany http://www.kbs.uni-hannover.de Current Interests in REWERSE: We are doing research in: Adaptive Hypermedia Systems, Peer-to-Peer Systems, Semantic Web, Software Engineering and Modelling, Artificial Intelligence, Innovative Learning Technologies and eLearning and Blended Learning Nicola Henze reasoning on the semantic web personalization in open hypermedia systems personalization in the semantic web user modeling and adaption henze@kbs.uni-hannover.de +49 511 - 762-19712 knowledge management +49 511 - 762-19716 http://www.kbs.uni-hannover.de/~henze/ Institut für Informationssysteme, AG Semantic Web University of Hannover e-learning educational hypermedia Institut für Informationssysteme, AG Semantic Web University of Hannover user modeling and adaption web engineering knowledge management educational hypermedia personalization in the semantic web web engineering http://www.kbs.uni-hannover.de/~henze/hitho2.jpg personalization in open hypermedia systems WG A3 - Personalised Information Systems A3 http://www.kbs.uni-hannover.de/rewerse/ A3 Bayesian Networks Intelligent systems in monitoring, prediction & diagnosis http://rewerse.net/members/arnaiz_aitor/Aitor1.bmp Fundación Tekniker Tekniker Fundación Tekniker http://www.fundaciontekniker.com Spain no picture available no phone number given no mail no website available Loreto Susperregi Tekniker KADS +34 943 202757 Senior researcher at Tekniker-Manufacturing Processes department Bayesian Networks Neural Networks no website available Uncertainty management Machine learning Uncertainty management Senior researcher at Tekniker-Manufacturing Processes department +34 943 206744 Expert systems Aitor Arnaiz Irigaray aarnaiz@tekniker.es Neural Networks Systems modelling Intelligent systems in monitoring, prediction & diagnosis Machine learning Expert systems Systems modelling KADS WG A3 - Personalised Information Systems Semantic Web Integration and Mediation Systems http://www.dbai.tuwien.ac.at/staff/baumgart/ http://www.dbai.tuwien.ac.at/staff/baumgart/rob26.gif baumgart@dbai.tuwien.ac.at Semantic Web XML family and semistructured data computational complexity Assistant Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology Assistant Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology XML family and semistructured data computational complexity non-monotonic reasoning Web Data Extraction http://www.webxcerpt.de/rewerse/ TTA - Technology Transfer and Awareness TTA Distributed Hypermedia semi-structured data http://www.dbai.tuwien.ac.at/staff/herzog/ hypertext information retrieval (+43)-1-58801/18437 Distributed Hypermedia herzog@dbai.tuwien.ac.at web-bases systems multimedia Assistant Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology Semantic Web web-bases systems XML processing multimedia Assistant Professor at the Institute of Information Systems, Database and Artificial Intelligence Group, Vienna University of Technology Marcus Herzog hypertext irtual Museums on the Web Database Conceptual Modeling orsini@dsi.unive.it Database Integration Venice http://www.unive.it information retrieval search engines http://www.w3.org/People/Massimo/ CWI (The Netherlands) University of Padua (Italy) CWI (The Netherlands) mobile technology mobile technology research professor in Computer Science at the University of Venice MIT (USA) +39 041 2348419 privacy XML Massimo Marchiori semantic web query languages knowledge management semantic web +1 617 2532442 query languages MIT (USA) complex systems query languages semantic web +1 617 2585999 information retrieval knowledge management privacy research scientist at MIT (Laboratory for Computer Science in The World Wide Web Consortium) CWI (The Netherlands) knowledge management research professor in Computer Science at the University of Venice complex systems research scientist at MIT (Laboratory for Computer Science in The World Wide Web Consortium) complex systems University of Padua (Italy) University of Padua (Italy) search engines massimo@w3.org research scientist at MIT (Laboratory for Computer Science in The World Wide Web Consortium) +39 041 2348423 http://www.w3.org/People/Massimo/SWIRLMAX.gif search engines MIT (USA) research professor in Computer Science at the University of Venice mobile technology XML information retrieval privacy XML Italy University "Ca' Foscari" of Venice Venice University "Ca' Foscari" of Venice Data Exchange through XML Database Integration Database Conceptual Modeling Object Oriented Database Languages Environmental Databases Environmental Databases +39 41 2348463 +39 41 2348463 irtual Museums on the Web University of Venice (Italy) University of Pisa (Italy) University of Venice (Italy) University of Pisa (Italy) http://www.dsi.unive.it/~orsini Renzo Orsini Data Exchange through XML University of Salerno (Italy) Object Oriented Database Languages http://rewerse.net/members/orsini_renzo/Orsini.jpg University of Salerno (Italy) WG I4 - Reasoning-Aware Querying WG I4 - Reasoning-Aware Querying I4 I4 http://www.pms.ifi.lmu.de/rewerse-wgi4/ Temporal Logics and Calculi Semantic Web +49-89-2180-9780 +49-89-2180-9311 Stephanie Spranger http://www.pms.ifi.lmu.de/mitarbeiter/spranger/spranger.jpg Type Systems Functional Programming Member of the PhD programme "Logics in Computer Science" since January 2003 Member of the PhD programme "Logics in Computer Science" since January 2003 Logic Programming Stephanie.Spranger@pms.informatik.uni-muenchen.de http://www.pms.ifi.lmu.de/mitarbeiter/spranger/ Semantic Web Temporal Logics and Calculi Type Systems Functional Programming http://www.pms.informatik.uni-muenchen.de/rewerse-wga1/ WG A1 - Web-based Decision Support for Event, Temporal, and Geographical Data A1 WG A1 - Web-based Decision Support for Event, Temporal, and Geographical Data no picture available Prof M. Howard Williams no mail Edinburgh Heriot-Watt University Edinburgh United Kingdom Heriot-Watt University Heriot-Watt University http://www.cee.hw.ac.uk/ Edinburgh no phone number given no website available A1 Dimitris Plexousakis Data and Knowledge Base Design Reasoning dp@ics.forth.gr Web-based Information Systems Web-based Information Systems Business Process and Workflow Management Systems +30 2810 391638 http://zeus.ics.forth.gr/forth/ics/isl/people/people_individual.jsp?Person_ID=5 Data and Knowledge Base Design Temporal and Spatial Databases Associate Professor, University Of Crete, Institute of Computer Science Foundation for Research and Technology http://zeus.ics.forth.gr/forth/ics/isl/people/photos/plexousakis.jpg Reasoning Business Process and Workflow Management Systems Knowledge Representation Knowledge Representation Temporal and Spatial Databases Institute of Computer Science, Foundation for Research and Technology - Hellas Heraklion Heraklion Institute of Computer Science, Foundation for Research and Technology - Hellas http://www.ics.forth.gr/isl Greece 1996-1997: Senior Lecturer in Computing & Information Technology, Griffith University 1999-2001: Professor in Computing & Information Technology, Griffith University E-Commerce: declarative business rules, electronic contracts, automated agent negotiations My research interests lie mainly in the theory, implementation and application of logic-based knowledge representation. no picture available Applications of ontology-based systems: E-Learning, Knowledge Management 1994-1995: Lecturer in Information Systems, Department of Management, University of Newcastle (Australia) My research interests have always centered around the aforementioned areas. In the time 1996-2001 I received a number of Australian research grants totalling over $1M. Professor of Computer Science, University of Crete, Greece Professor of Computer Science, University of Crete, Greece Head of Information Systems Laboratory, Institue of Computer Science, FORTH, Greece 1996-1997: Senior Lecturer in Computing & Information Technology, Griffith University Nonmonotonic reasoning Head of Information Systems Laboratory, Institue of Computer Science, FORTH, Greece Web-based systems: Semantic Web, Web services Foundations of ontology languages 1994-1995: Lecturer in Information Systems, Department of Management, University of Newcastle (Australia) 1987-1991: Associate Lecturer in Computer Science, University of Osnabruck Foundations of rule-based systems Grigoris Antoniou Foundations of ontology languages antoniou@ics.forth.gr Applications of ontology-based systems: E-Learning, Knowledge Management My research interests lie mainly in the theory, implementation and application of logic-based knowledge representation. E-Commerce: declarative business rules, electronic contracts, automated agent negotiations Nonmonotonic reasoning 2001-2002: Professor of Computer Science, University of Bremen, Germany 1991-1994: Lecturer in Computer Science, University of Osnabruck (Germany) http://www.ics.forth.gr/isl/people/people_individual.jsp?Person_ID=38 2001-2002: Professor of Computer Science, University of Bremen, Germany 1987-1991: Associate Lecturer in Computer Science, University of Osnabruck Web-based systems: Semantic Web, Web services 1991-1994: Lecturer in Computer Science, University of Osnabruck (Germany) http://is.tm.tue.nl/staff/gwagner/REWERSE-I1/ WG I1 - Rule Markup Languages WG I1 - Rule Markup Languages Lecturer at University of Skövde Lecturer at University of Skövde http://www.ida.his.se/ida/bilder/personal/jonas_mellin.jpg +46 (0)500-44 83 99 Event monitoring Active (real-time) databases Active (real-time) databases Real-time systems http://www.ida.his.se/~jonas/ jonas.mellin@ida.his.se Real-time systems +46 (0)500-44 83 21 Event monitoring Jonas Mikael Mellin Relational Database Theory Knowledge engineer for Bolesian: I developed several knowledge based applications for complex calculations, assessments and advice for financial institutions and government organizations. no phone number given One of the two founders of LibRT. no website available Supporting the delivery of high quality knowledge rules. Development of tools to support a knowledge engineer, e.g. VALENS, a tool to validate and verify a knowledge base. System developer working on one of the early client server information systems written in C++. Rik Gerrits Development of tools to support a knowledge engineer, e.g. VALENS, a tool to validate and verify a knowledge base. Knowledge engineer for Bolesian: I developed several knowledge based applications for complex calculations, assessments and advice for financial institutions and government organizations.