[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Jaanus |
| 2. | Perekonnanimi | Pöial |
| 3. | Töökoht | Eesti Infotehnoloogia Kolledž |
| 4. | Ametikoht | õppejõud |
| 5. | Sünniaeg | 06.04.1959 (päev.kuu.aasta) |
| 6. | Haridus | 1982 - 1985 Tartu Ülikool, aspirantuur, Arvutite ja süsteemide tarkvara eriala; 1977 - 1982 Tartu Ülikool, Rakendusmatemaatika eriala. |
| 7. | Teenistuskäik | Alates 2004. a. IT Kolledži õppejõud; 1994 - 2004 Tartu Ülikooli Arvutiteaduse instituudi dotsent; 1989 - 1994 Tartu Ülikooli Programmeerimise kateedri dotsent; 1986 - 1989 Tartu Ülikooli Programmeerimise kateedri vanemõpetaja; 1985 - 1986 Tartu Ülikooli Rakendusmatemaatika labori teadur. Enesetäiendamine: 1994, 1996 - Nice'i Ülikool (ESSI), Prantsusmaa; 2000 - Tallaght'i Tehnoloogiainst., Iirimaa; 2002 - Saarimaa Ülikool, Trieri Ülikool, Saksamaa. |
| 8. | Teaduskraad | Tehnikakandidaat |
| 9. | Teaduskraadi välja andnud asutus, aasta |
TA Küberneetika Instituut, KAK 1987 |
| 10. | Tunnustused | Tartu Ülikooli aukiri, 2004 |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Tartu Ülikooli Arvutiteaduse instituudi juhataja (1993, 2001); Balti andmebaaside ning infosüsteemide konverentside Baltic DB&IS programmkomitee liige (1996, 1998, 2000); EuroForth konverentside programmkomitee liige alates 1994; Soome-Ungari-Eesti programmeerimiskeelte ning tarkvarasüsteemide konverentside organiseerija ja programmkomitee liige (1993 - 2001); Tartu Ülikooli Tehnoloogiakeskuse nõukogu liige kuni 2002; Tartu Ülikooli informaatikanõukogu liige kuni 1998. |
| 12. | Juhendamisel kaitstud väitekirjad |
Jelena Zaitseva, MSc, 2003, juh. Jaanus Pöial, Jan Willemson. TECP - Tutorial Environment for Cryptographic Protocols. Tartu Kaido Hallik, MSc, 2003, juh. Jaanus Pöial. Õpikeskkond "Virtuaalsed matkad". Tartu Gunnar Kudrjavets, MSc, 2002, juh. Jaanus Pöial. Microsofti metoodikast mõjutatud tarkvara testimisprotsess. Tartu Aulis Sibola, MSc, 2000, juh. Jaanus Pöial. Veebiinfosüsteemid. Tartu Tiina Tamme, MSc, 2000, juh. Jaanus Pöial. Elektrooniline dokumendivahetus: standardid ja probleemid. Tartu |
| 13. | Teadustöö põhisuunad | Formaalsed meetodid, programmeerimiskeeled, formaalsed keeled ja poolrühmad, programmianalüüs. |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
Jaanus Pöial. Program Analysis for Stack Based Languages. Proc. 19th EuroForth Conference, 17th – 19th October 2003, Royal Hotel, Ross-on-Wye, UK, p. 9–13. Ref: http://dec.bournemouth.ac.uk/forth/euro/ef03.html. Jelena Zaitseva, Jan Willemson, Jaanus Pöial, Tutorial Environment for Cryptographic Protocols. Nordic Workshop on Secure IT Systems NordSec 2003. p. 175-184. Pöial J. Implementation of Directed Multigraphs in Java. In Proc. PPPJ03, 2nd International Conf. on the Principles and Practice of Programming in Java, June 16-18, Kilkenny, Ireland, 2003, p. 163. Ref: ACM Digital Library. Pöial J. Stack Effect Calculus with Typed Wildcards, Polymorphism and Inheritance. In Proc. 18-th EuroForth Conference, Sept. 6-8, TU Wien, Vienna, Austria, 2002, p. 38. Pöial J. Lambda-Superposition of Stack Languages. Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), University of Szeged, June 15-16, 2001, Szeged, Hungary, p. 149-154. Pöial J. Alternative Syntactic Methods for Defining Stack Based Languages. Proceedings of NWPER'98 Nordic Workshop on Programming Environment Research, Reports in Informatics No 152, University of Bergen, Norway, June 1998, p. 227-232. Pöial J. Remarks on Language Extensibility. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. Tomus XVII. 1998, p. 331-338. Ref: Zentralblatt MATH Pöial J. Validation of Stack Effects in Java Bytecode. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7 - 8, 1997, Jyväskylä, Finland, Report C-1997-37, Department of Computer Science, University of Helsinki, 1997, p. 128-134. Tombak M., Soo V., Pöial J. A Forth-Oriented Compiler Compiler and its Applications. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 5, Jan-Feb 1995, Forth Interest Group, Oakland, USA, p. 21-22. Ref: INSPEC 4876046 C9503-6150C-044. Pöial J. Algebraic Specification of Stack Effects. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 4, Nov-Dec 1994, Forth Interest Group, Oakland, USA, p. 18-20. Ref: INSPEC 4830365 C9501-6110F-009. Pöial J. Forth and Formal Language Theory.EuroForth'94, Nov 4 - 6, 1994, Winchester, UK, 1994, p. 47-52. Ref: INSPEC 5411084 C9612-4210L-015. Pöial J. Some Ideas on Formal Specification of Forth Programs. 9th euroFORTH conf. on the FORTH programming language and FORTH processors, Oct 15 - 18, 1993, Marianske Lazne, Czech Republic, 1993, p. 322-325. Ref: INSPEC 5137274 C9601-6110F-067. |
viimati muudetud: 07.08.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Jaanus |
| 2. | Surname | Pöial |
| 3. | Institution | The Estonian Information Technology College |
| 4. | Position | lecturer |
| 5. | Date of birth | 06.04.1959 (day.month.year) |
| 6. | Education | 1982 - 1985 PhD studies at the University of Tartu - computer and systems software; 1977 - 1982 MSc studies at the University of Tartu - applied mathematics. |
| 7. | Research and professional experience |
Starting from 2004 - lecturer of the Estonian IT College. 1994 - 2004 docent (associate professor) of the Institute of Computer Science at the University of Tartu; 1989 - 1994 docent of the Chair of Programming at the University of Tartu; 1986 - 1989 lecturer of the Chair of Programming at the University of Tartu; 1985 - 1986 researcher of the Laboratory of Applied Mathematics at the University of Tartu. Visiting researcher: 1994, 1996 - University of Nice (ESSI), France; 2000 - Tallaght Institute of Technology, Ireland; 2002 - Saarland University, University of Trier, Germany. |
| 8. | Academic degree | PhD |
| 9. | Dates and sites of earning the degrees |
Institute of Cybernetics of Estonian Academy of Sciences, VAK 1987 |
| 10. | Honours/awards | Letter of Honour from the University of Tartu, 2004 |
| 11. | Research-administrative experience |
Head of Institute of Computer Science at the University of Tartu (1993, 2001); member of program commities of Baltic DB&IS (1996, 1998, 2000); EuroForth (1994 - 2004); Fenno-Ugric Symposium on Programming Languages and Software Tools (1993 - 2001); member of council of the Institute of Technology (-2002) and council of informatics (-1998) at the University of Tartu. |
| 12. | Supervised dissertations |
Jelena Zaitseva, MSc, 2003, superv. Jaanus Pöial, Jan Willemson. TECP - Tutorial Environment for Cryptographic Protocols. Tartu Kaido Hallik, MSc, 2003, superv. Jaanus Pöial. Õpikeskkond "Virtuaalsed matkad". Tartu Gunnar Kudrjavets, MSc, 2002, superv. Jaanus Pöial. Microsofti metoodikast mõjutatud tarkvara testimisprotsess. Tartu Aulis Sibola, MSc, 2000, superv. Jaanus Pöial. Veebiinfosüsteemid. Tartu Tiina Tamme, MSc, 2000, superv. Jaanus Pöial. Elektrooniline dokumendivahetus: standardid ja probleemid. Tartu |
| 13. | Current research program | Formal methods, programming languages, formal languages and semigroups, program analysis. |
| 14. | Current grant funding | |
| 15. | List of most important publications |
Jaanus Pöial. Program Analysis for Stack Based Languages. Proc. 19th EuroForth Conference, 17th – 19th October 2003, Royal Hotel, Ross-on-Wye, UK, p. 9–13. Ref: http://dec.bournemouth.ac.uk/forth/euro/ef03.html. Jelena Zaitseva, Jan Willemson, Jaanus Pöial, Tutorial Environment for Cryptographic Protocols. Nordic Workshop on Secure IT Systems NordSec 2003. p. 175-184. Pöial J. Implementation of Directed Multigraphs in Java. In Proc. PPPJ03, 2nd International Conf. on the Principles and Practice of Programming in Java, June 16-18, Kilkenny, Ireland, 2003, p. 163. Ref: ACM Digital Library. Pöial J. Stack Effect Calculus with Typed Wildcards, Polymorphism and Inheritance. In Proc. 18-th EuroForth Conference, Sept. 6-8, TU Wien, Vienna, Austria, 2002, p. 38. Pöial J. Lambda-Superposition of Stack Languages. Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), University of Szeged, June 15-16, 2001, Szeged, Hungary, p. 149-154. Pöial J. Alternative Syntactic Methods for Defining Stack Based Languages. Proceedings of NWPER'98 Nordic Workshop on Programming Environment Research, Reports in Informatics No 152, University of Bergen, Norway, June 1998, p. 227-232. Pöial J. Remarks on Language Extensibility. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. Tomus XVII. 1998, p. 331-338. Ref: Zentralblatt MATH Pöial J. Validation of Stack Effects in Java Bytecode. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7 - 8, 1997, Jyväskylä, Finland, Report C-1997-37, Department of Computer Science, University of Helsinki, 1997, p. 128-134. Tombak M., Soo V., Pöial J. A Forth-Oriented Compiler Compiler and its Applications. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 5, Jan-Feb 1995, Forth Interest Group, Oakland, USA, p. 21-22. Ref: INSPEC 4876046 C9503-6150C-044. Pöial J. Algebraic Specification of Stack Effects. FORTH Dimensions (ISSN 0884-0822), Vol XVI No 4, Nov-Dec 1994, Forth Interest Group, Oakland, USA, p. 18-20. Ref: INSPEC 4830365 C9501-6110F-009. Pöial J. Forth and Formal Language Theory.EuroForth'94, Nov 4 - 6, 1994, Winchester, UK, 1994, p. 47-52. Ref: INSPEC 5411084 C9612-4210L-015. Pöial J. Some Ideas on Formal Specification of Forth Programs. 9th euroFORTH conf. on the FORTH programming language and FORTH processors, Oct 15 - 18, 1993, Marianske Lazne, Czech Republic, 1993, p. 322-325. Ref: INSPEC 5137274 C9601-6110F-067. |
last updated: 07.08.2005
[ sulge aken ]