| title: | Dependable software and human language technologies |
|---|---|
| reg no: | SF0322709s06 |
| project type: | targeted financing |
| subject: |
1.2. Applied Mathematics 2.9. System Engineering and Computer Technology 6.3. Linguistics |
| status: | accepted |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Tarmo Uustalu |
| duration: | 01.01.2006 - 31.12.2011 |
| description: | The theme focusses on two important areas of information technology: dependability of software in the context of global computing and user-friendly man-machine interfaces applying human language. The goals are to develop dependable software technologies by improving programming languages and programming language processors and to perfect the Estonian language technology. Accordingly, the project team will develop the composition theory of abstract automata and the semantic theory of effectful and context-dependent notions of computation. It will also develop program logics, program analyses and equivalent type systems for Java virtual machine bytecode, design a corresponding code certificate format and build a certifying Java compiler. It will produce a framework for inducing ontologies. It will further develop the COCOVILA visual programming environment and specialize it for composition of distributed software and reconfiguration. The team will study the variability of the Estonian sound and prosodic system depending on different styles of natural speech (spontaneous speech, dialogue etc). It will investigate models of audiovisual and emotional speech synthesis and create a prototype of an audiovisual speech synthesizer. It will develop statistical models for speech recongnition systems and develop prototypes of man-machine dialogue systems employing speech recognition and synthesis. |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Hele-Mai Haav | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 2. | Mait Harf | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 3. | Ahto Kalja | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 4. | Vahur Kotkas | Institute of Cybernetics at Tallinn Technical University | researcher | |
| 5. | Einar Meister | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 6. | Jaan Penjam | Institute of Cybernetics at Tallinn Technical University | Director | |
| 7. | Jelena Sanko | Institute of Cybernetics at Tallinn Technical University | researcher | |
| 8. | Olha Shkaravska | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 9. | Hellis Tamm | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 10. | Enn Tõugu | Institute of Cybernetics at Tallinn Technical University | principal researcher | |
| 11. | Tarmo Uustalu | Institute of Cybernetics at Tallinn Technical University | senior researcher | |
| 12. | Varmo Vene | Institute of Cybernetics at Tallinn Technical University | associate professor | |