[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Jaan |
| 2. | Perekonnanimi | Penjam |
| 3. | Töökoht | TTÜ Küberneetika Instituut |
| 4. | Ametikoht | direktor |
| 5. | Sünniaeg | 17.10.1955 (päev.kuu.aasta) |
| 6. | Haridus | 1974–1979 Tartu Ülikool, matemaatik 1971–1974 Nõo Keskkool |
| 7. | Teenistuskäik | 1979 – 1981 Küberneetika Instituut vaneminsener 1981 – 1984 Küberneetika Instituut aspirant 1984 – 1985 Küberneetika Instituut teadur 1985 –1988 Üleliiduline ATTK „Start“ osakonnajuhataja 1988 – 1991 Küberneetika Instituut sektorijuhataja 1988 – 1991 Tallinna Pedagoogikaülik. lektor, dotsent 1990 – 1994 TTÜ dotsent 1992 – 1997 Küberneetika Instituut osakonnajuhataja 1994 – … TTÜ professor 1997 – … Küberneetika Instituut direktor |
| 8. | Teaduskraad | tehnikakandidaat |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Küberneetika Instituut, 1984 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Mitmete rahvusvaheliste konverentside, seminaride ja nõupidamiste programmkomiteede ja korraldavate toimkondade esimees ja liige, Eesti arvutiteaduse talvekoolide korraldustoimkonna esimees (1996 – 2003), Eesti delegatsiooni liige Euroopa Liidu 5. ja 6. raamkava spetsiifilise programmi „Infoühiskonna tehnoloogiad“ programmkomitees, TTÜ nõukogu liige, TTÜ Küberneetika Instituudi nõukogu esimees (1997 – 2003), TTÜ informaatikakeskuse juhataja (1998 –2001), TEMPUS-projektide JEP-06145, CME-01011, CME-02078 koordinaator, EL viienda raamkava täiendavate meetmete projekti No. IST-2001-37592, Establishment of the virtual center of excellence for IST RTD in Estonia (Estonian eVikings II ; 2002 – 2005) juht, Eesti teaduse tippkeskuse „Töökindlate Arvutisüsteemide Uurimise keskus“ juhataja (2002 – 2006) |
| 12. | Juhendamisel kaitstud väitekirjad |
Kristi Uustalu, MSc, 2005, juh. Jaan Penjam. Presupositsioonide arvutamine diskursuse modelleerimisel. TTÜ Einar Meister, MSc, 1998, juh. Jaan Penjam. Kõnelejatuvastue eksperimendid neuronvõrkudel. TTÜ Vahur Kotkas, MSc, 1998, juh. Jaan Penjam. Radarkatte modelleerimine tehisintellekti keskkonnas. TTÜ Evelin Nilson, MSc, 1996, juh. Jaan Penjam. Eest tüvemuutus modelleeriminete. TTÜ Jaak Vilo, MSc, 1991, juh. Jaan Penjam. Attribute Grammars and Computational Models (diplomitöö). TÜ |
| 13. | Teadustöö põhisuunad | Programmeerimiskeelte süntaks ja semantika. Tehisintellekt (eriti teadmiste esitamise meetoditest, programmide konstrueerimise loogilised alused). Masinõppimise meetodid, eriti evolutsioonilised algoritmid programmide genereerimiseks. |
| 14. | Jooksvad grandid | ETF grant nr. 5567, Mitteklassikalised loogikad ja programmeerimisteooria, täitja, jaan. 2003-dets. 2006 |
| 15. | Teaduspublikatsioonid |
J. Peetre, J. Penjam, eds. Semigroups and Automata: Selecta Uno Kaljulaid (1941–1999), 496 pp., IOS Press, Amsterdam, 2006. [ISBN: 1-58603-582-7] U. Kaljulaid, J. Penjam. On two algebraic constructions for automata, In J. Peetre, J. Penjam, eds. Semigroups and Automata: Selecta Uno Kaljulaid (1941–1999), 496 pp., IOS Press, Amsterdam, 2006, pp. 183-201 J.Eder, H.-M.Haav, A.Kalja, J.Penjam (eds.). Advances in Databases and Information Systems. Lecture Notes in Computer Science (LNCS), Springer-Verlag, 2005, - 391 pp. [ISI Proceedings, ISSN: 0302-9743, ISBN: 3-540-28585-7] J. Eder, H.-M. Haav, A. Kalja, J. Penjam, eds. Proc. of 9th East-Europ. Conf. on Advances in Databases and Information Systems, ADBIS 2005 (Tallinn, Sept. 2005), 262 pp. Tallinn Univ. of Techn., 2005. [http://helios.nlib.ee/search*est/i?SEARCH=9985595459, ISSN: 9985-59-545-9] Penjam, J., Sanko, J. Deductive and inductive methods for program synthesis. International Journal of Computer and Information Science (IJCIS), 2004, v. 5, n. 3, pp.171-181 [INSPEC (IEE), ISSN 1525-9293] Sanko, J., Penjam, J. Deductive and Inductive Methods for Program Synthesis. - In: Abstracts of 15th Nordic Workshop on Programming Theory NWPT'03, Turku, pp.16-18 Penjam, J., Sanko, E. Deductive and Inductive Methods for Program Synthesis, - In: Proceedings of 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lübeck, Germany, ACIS, 2003, pp. 183-195 [DBLP, ISBN: 0-9700776-7-X] Sanko, J., Penjam, J. Program construction in the context of evolutionary computation. - In: Perspectives of System Informatics: Andrei Ershov Fifth International Conference, 9-12 July 2003, Novosibirsk, Akademgorodok, Russia: Preliminary Proceedings. Novosibirsk: A. P. Ershov Institute of Informatics Systems, 2003, pp.20-24 Sanko, J., Penjam, J. Program Construction in the Context of Evolutionary Computation, Lecture Notes in Computer Science (LNCS) 2890, Springer-Verlag, 2003, pp.50-58 [Web of Science, ISI Proceedings, ISSN: 0302-9743, ISBN: 3-540-20813-5] J.Penjam. Infoühiskond - kas metafoor või tegelikkus?, A&A, nr 6, 2002, 3 - 5. Sanko, J., Penjam, J. On Evolutionary Algorithms fot Program (Model) Construction. - In: Abstracts of 14th Nordic Workshop on Programming Theory NWPT'2002, Tallinn, 2002, pp.87-89 J. Penjam. Ontology-oriented programming in design. In K. Wang, J. Grundspenkis, A. Yerofeyev, eds. Applied Computational Intelligence to Engineering and Business, pp. 208-224. Riga Technical University, 2001. V. Kotkas, J. Penjam, E. Tyugu. Ontology based design of surveillance systems with NUT. In Proc. of the Third International Conference on Information Fusion, Paris, France, July 10-13, 2000, Vol.II, pp. WeB4-3-WeB4-9. Int. Soc. for Information Fusion, 2000. [INSPEC (IEE), ISBN: 2-7257-0000-0] E. Tyugu, M. Matskin, J. Penjam. Applications of Structural Synthesis of Programs, In: J. Wing, J. Woodcock, J. Davies, eds. FM'99 -World Congress on Formal Methods in the Development of Comput-ing Systems, Toulouse, France, Sept. 20-24, 1999. Proceedings, Vol. I, Lecture Notes in Comp Sci., vol.1708, pp. 551-569, Springer-Verlag, 1999. [ISI Science Web, ISI Proceedings] J. Penjam. An Intelligent Language and Tool for Computer Aided Design. In: K. Wang, H. Pranevicius, eds., Intelligent Design, Intelligent Manufacturing and Intelligent Management., pp. 1-24. Kaunas University of Technology Press, 1999. M. Meriste, J. Penjam, V. Vene, Models of Attributed Automata. INFORMATICA, v. 9, n. 1, 1998, pp. 85-105. J.Penjam, E.Tyugu. Constraints in NUT. In: Constraint Programming. NATO ASI series F: Vol. 131, Computer and Systems Sciences, Springer Verlag, 1994, 330-349. M. V. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming, 6th Int. Symp., PLILP'94, Madrid, Spain, Sept. 14-16, 1994, Proceedings, Lect. Notes in Comput. Sci., v. 844, 468 pp. Springer-Verlag, 1994. M. Bruynooghe, J. Penjam. Programming Language Implementation and Logic Programming, 5th Int. Symp.,, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings, Lect. Notes in Comput. Sci, v. 714, 421 pp. Springer-Verlag, 1993. J.Penjam. Computational and Attribute Models of Formal Languages. Theoretical Comp. Sci., 1990, Vol.71, pp.241–264. [ISI Science Web] |
viimati muudetud: 24.05.2006
| Curriculum Vitae (CV) | ||
| 1. | First Name | Jaan |
| 2. | Surname | Penjam |
| 3. | Institution | Institute of Cybernetics |
| 4. | Position | Director |
| 5. | Date of birth | 17.10.1955 (day.month.year) |
| 6. | Education | 1974–1979 University of Tartu, mathematician 1971–1974 Nõo Science School |
| 7. | Research and professional experience |
1979 – 1981 Institute of Cybernetics research engineer 1981 – 1984 Institute of Cybernetics PhD student 1984 – 1985 Institute of Cybernetics research fellow 1985 –1988 Soviet new generation computer project START head of dept. 1988 – 1991 Institute of Cybernetics head of lab 1988 – 1991 Tallinn University of Pedagogical Sciences lecturer, dozent 1990 – 1994 Tallinn U. of Technology assistant prof. 1992 – 1997 Institute of Cybernetics osakonnajuhataja Since 1994 Tallinn U. of Technology professor Since 1997 Institute of Cybernetics direktor |
| 8. | Academic degree | Candidate (Soviet equivalent to PhD) |
| 9. | Dates and sites of earning the degrees |
Institute of Cybernetics, 1984 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
Chairman and member of PCs and organising committees of several international scientific conferences, seminars and workshops; member of organizing committee of Estonian Winter Schools in Computer Science (chairman for years 1996 – 2003), member and expert in the Estonian delegation to PC of the European 5th and 6th Framework programmes in Information Society Technologies; member of the Council of the Tallinn University of Technology; chairman of the Scientific Council of the Institute of Cybernetics (since 1997 ), head of the informatics centre of the TUT (1998 –2001), Co-ordinator of the TEMPUS-projects JEP-06145, CME-01011, CME-02078, co-ordinator of the 5th Framework Programme project of accompanying measures No. IST-2001-37592, Establishment of the virtual centre of excellence for IST RTD in Estonia (Estonian eVikings II ; 2002 – 2005), head of the Estonian Centre of Excellence "Centre for Dependable Computing" (2002 – 2006). |
| 12. | Supervised dissertations |
Kristi Uustalu, MSc, 2005, superv. Jaan Penjam. Presupositsioonide arvutamine diskursuse modelleerimisel. TTÜ Einar Meister, MSc, 1998, superv. Jaan Penjam. Kõnelejatuvastue eksperimendid neuronvõrkudel. TTÜ Vahur Kotkas, MSc, 1998, superv. Jaan Penjam. Radarkatte modelleerimine tehisintellekti keskkonnas. TTÜ Evelin Nilson, MSc, 1996, superv. Jaan Penjam. Eest tüvemuutus modelleeriminete. TTÜ Jaak Vilo, MSc, 1991, superv. Jaan Penjam. Attribute Grammars and Computational Models (diplomitöö). TÜ |
| 13. | Current research program | Syntax and semantics of programming languages. Artificial intelligence (particularly, knowledge representation, logic foundations of automatic program construction). Machine learning, evolutionary approach for program synthesis. |
| 14. | Current grant funding | ETFi uurimisprojekti-grant #5567, Non-classical logics and theory of programming, 2003- 2006 |
| 15. | List of most important publications |
J. Peetre, J. Penjam, eds. Semigroups and Automata: Selecta Uno Kaljulaid (1941–1999), 496 pp., IOS Press, Amsterdam, 2006. [ISBN: 1-58603-582-7] U. Kaljulaid, J. Penjam. On two algebraic constructions for automata, In J. Peetre, J. Penjam, eds. Semigroups and Automata: Selecta Uno Kaljulaid (1941–1999), 496 pp., IOS Press, Amsterdam, 2006, pp. 183-201 J.Eder, H.-M.Haav, A.Kalja, J.Penjam (eds.). Advances in Databases and Information Systems. Lecture Notes in Computer Science (LNCS), Springer-Verlag, 2005, - 391 pp. [ISI Proceedings, ISSN: 0302-9743, ISBN: 3-540-28585-7] J. Eder, H.-M. Haav, A. Kalja, J. Penjam, eds. Proc. of 9th East-Europ. Conf. on Advances in Databases and Information Systems, ADBIS 2005 (Tallinn, Sept. 2005), 262 pp. Tallinn Univ. of Techn., 2005. [http://helios.nlib.ee/search*est/i?SEARCH=9985595459, ISSN: 9985-59-545-9] Penjam, J., Sanko, J. Deductive and inductive methods for program synthesis. International Journal of Computer and Information Science (IJCIS), 2004, v. 5, n. 3, pp.171-181 [INSPEC (IEE), ISSN 1525-9293] Sanko, J., Penjam, J. Deductive and Inductive Methods for Program Synthesis. - In: Abstracts of 15th Nordic Workshop on Programming Theory NWPT'03, Turku, pp.16-18 Penjam, J., Sanko, E. Deductive and Inductive Methods for Program Synthesis, - In: Proceedings of 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lübeck, Germany, ACIS, 2003, pp. 183-195 [DBLP, ISBN: 0-9700776-7-X] Sanko, J., Penjam, J. Program construction in the context of evolutionary computation. - In: Perspectives of System Informatics: Andrei Ershov Fifth International Conference, 9-12 July 2003, Novosibirsk, Akademgorodok, Russia: Preliminary Proceedings. Novosibirsk: A. P. Ershov Institute of Informatics Systems, 2003, pp.20-24 Sanko, J., Penjam, J. Program Construction in the Context of Evolutionary Computation, Lecture Notes in Computer Science (LNCS) 2890, Springer-Verlag, 2003, pp.50-58 [Web of Science, ISI Proceedings, ISSN: 0302-9743, ISBN: 3-540-20813-5] J.Penjam. Infoühiskond - kas metafoor või tegelikkus?, A&A, nr 6, 2002, 3 - 5. Sanko, J., Penjam, J. On Evolutionary Algorithms fot Program (Model) Construction. - In: Abstracts of 14th Nordic Workshop on Programming Theory NWPT'2002, Tallinn, 2002, pp.87-89 J. Penjam. Ontology-oriented programming in design. In K. Wang, J. Grundspenkis, A. Yerofeyev, eds. Applied Computational Intelligence to Engineering and Business, pp. 208-224. Riga Technical University, 2001. V. Kotkas, J. Penjam, E. Tyugu. Ontology based design of surveillance systems with NUT. In Proc. of the Third International Conference on Information Fusion, Paris, France, July 10-13, 2000, Vol.II, pp. WeB4-3-WeB4-9. Int. Soc. for Information Fusion, 2000. [INSPEC (IEE), ISBN: 2-7257-0000-0] E. Tyugu, M. Matskin, J. Penjam. Applications of Structural Synthesis of Programs, In: J. Wing, J. Woodcock, J. Davies, eds. FM'99 -World Congress on Formal Methods in the Development of Comput-ing Systems, Toulouse, France, Sept. 20-24, 1999. Proceedings, Vol. I, Lecture Notes in Comp Sci., vol.1708, pp. 551-569, Springer-Verlag, 1999. [ISI Science Web, ISI Proceedings] J. Penjam. An Intelligent Language and Tool for Computer Aided Design. In: K. Wang, H. Pranevicius, eds., Intelligent Design, Intelligent Manufacturing and Intelligent Management., pp. 1-24. Kaunas University of Technology Press, 1999. M. Meriste, J. Penjam, V. Vene, Models of Attributed Automata. INFORMATICA, v. 9, n. 1, 1998, pp. 85-105. J.Penjam, E.Tyugu. Constraints in NUT. In: Constraint Programming. NATO ASI series F: Vol. 131, Computer and Systems Sciences, Springer Verlag, 1994, 330-349. M. V. Hermenegildo, J. Penjam. Programming Language Implementation and Logic Programming, 6th Int. Symp., PLILP'94, Madrid, Spain, Sept. 14-16, 1994, Proceedings, Lect. Notes in Comput. Sci., v. 844, 468 pp. Springer-Verlag, 1994. M. Bruynooghe, J. Penjam. Programming Language Implementation and Logic Programming, 5th Int. Symp.,, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings, Lect. Notes in Comput. Sci, v. 714, 421 pp. Springer-Verlag, 1993. J.Penjam. Computational and Attribute Models of Formal Languages. Theoretical Comp. Sci., 1990, Vol.71, pp.241–264. [ISI Science Web] |
last updated: 24.05.2006
[ sulge aken ]