Efficient Symbolic Computing
Description
The objective of the project is to set up a research network with
eight nodes in four member states of the Former Soviet Union and
eleven nodes in seven member states of the European Union. The research
undertaken focusses on efficient symbolic computing with efficiency
understood at the levels of implementations, algorithms and
development of code. The research encompasses both theory
and practice. It is organised in seven tasks including
theoretical foundations, program construction and transformation
methodologies, program analysis techniques, implementation,
programming environments, language design, and applications.
Keywords
Symbolic programming, Semantics, Programming methodologies,
Programming environments, Implementation, Theoretical computer science.
Project leader
Jacquet Jean-Marie
Duration
01/12/94 -> 01/12/96
Funding body
Europe Commission (INTAS project)
Collaboration
- University of Leuven - Department of Computer Science,
Leuven, Belgium
(Prof. Maurice Bruynooghe)
- University of Paris VI and VII - LITP,
Paris, France
(Prof. Maurice Nivat)
- University of Bristol,
Bristol, United Kingdom
(Prof. John Gallagher)
- City University,
London, United Kingdom
(Prof. David Gilbert)
- INRIA,
Paris, France
(Prof. Philippe Codognet)
- University of Lisbon - Department of Computer Science,
Lisbon, Portugal
(Prof. Luis Monteiro)
- University of Passau - Department of Computer Science,
Passau, Germany
(Prof. Sergei Gorlatch)
- University of Pisa - Department of Computer Science,
Pisa, Italy
(Prof. Antonio Brogi)
- University of Rome - Department of Computer Science,
Rome, Italy
(Prof. Alberto Pettorosi)
- University of Vienna - Department of Computer Science,
Vienna, Austria
(Prof. Ulrich Neumerkel)
- Armenian Academy of Science,
Yerevan, Armenia
(Prof. Yuri Shoukourian)
- Belarusian Academy of Science,
Minsk, Belarus
(Prof. Arkadij Zakrevskij)
- Irkutsk University,
Irkutsk, Russia
(Prof. Andrei Mantsivoda)
- Moscow Engineering Physics Institute,
Moscow, Russia
(Prof. Nikolai Ilinski)
- Russian Academy of Science,
Moscow, Russia
(Prof. Edouard Lioubinski)
- Russian Academy of Science,
St. Petersburg, Russia
(Prof. Evgeny Dantsin)
- Ukrainian Academy of Science,
Kiev, Ukraine
(Prof. Alexander Letichevsky)
- International Software Technology Center,
Kiev, Ukraine
(Dr. Michael Reviakin)
Work programme
- Click
here
to return to my main page.
- Click
here
to go to the general description of the research groups of the department.
- Click
here
to go to the department home page.
Jean-Marie Jacquet - September 1, 1995