[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Mati |
| 2. | Perekonnanimi | Tombak |
| 3. | Töökoht | Tartu Ülikool |
| 4. | Ametikoht | professor |
| 5. | Sünniaeg | 25.01.1942 (päev.kuu.aasta) |
| 6. | Haridus | Tartu Ülikool, matemaatika, 1969 |
| 7. | Teenistuskäik | 1967-1975 Tallinna Polütehniline Instituut: insener, vanemteadur 1975- Tartu Ülikool: vanemteadur, dotsent, professor |
| 8. | Teaduskraad | Füüs.-mat. kand. |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Leningradi Ülikool, 1981 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Olin TÜ arvutiteaduse instoituudi juhataja aastatel 1997 ja 2002 |
| 12. | Juhendamisel kaitstud väitekirjad |
A. Peder, MSc, 2001, juh. M. Tombak. Metamuutujatega loogikavalemite translaator. Tartu H. Lipmaa, PhD, 1999, juh. M. Tombak. Secure and efficient time-stamping systems. Tartu A. Tumanov, MSc, 1998, juh. M. Tombak. Counting of Quarto Draws. Tartu E. Leego, MSc, 1998, juh. M. Tombak. WWW kui tõeline hüpermeedia süsteem. Tartu I. Mehide, MSc, 1996, juh. M. Tombak. Kehtestatavuse probleemi lahendamine geneetiliste algoritmide abil. Tartu O. Kislitsina, MSc, 1996, juh. M. Tombak. Täielike ülesannete näited klassides NP ja DP”. Tartu H. Lipmaa, MSc, 1995, juh. M. Tombak. Ülevaade suhtluskeerukusest. Tartu T. Saarsen, MSc, 1992, juh. M. Tombak. Compilation Technique for the FORTH Language. Tartu |
| 13. | Teadustöö põhisuunad | Programmeerimiskeelte süntaks ja semantika, keerukusteooria, Boole'i funktsioonid |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
A. Jutman, A. Peder, J. Raik, M. Tombak, R. Ubar. Structurally synthesized binary decision diagrams. Proceedings of 6th International Workshop on Boolean Problems, Freiberg, 2004, 271-278. R. Ubar, T. Vassiljeva, J. Raik, A. Jutman, M. Tombak, A. Peder. Optimization of structurally synthesized BDD-sProceedings of the4th IASTED InternationalConference on Modelling, Simulation and Optimization MSO 2004, 234-240 . M. Tombak. Logical method in combinatorial counting. Proc. IPSI-2003, 4pp. CD publication. A. Peder, M. Tombak, A. Isotamm. A Meta-compilerfor propositional formulae. Proceedings of Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), 250-261. University of Szeged, June 15-16, 2001, Szeged, Hungary. M. Tombak, A. Isotamm, T. Tamme. On logical method for counting Dedekind numbers. Lecture Notes in Computer Science 2138, 424-427, Springer-Verlag 2001. M.Tombak, I.Sillitoe. On the superposition of Boolean functions. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica.Tomus XVII. 1998. Pp 381-389. Sillitoe I. P. W., Tombak M. A compact look-up table structure for low level binary image processing. Journal of Real-Time Imaging. Vol 4 No 3 Jun 1998, pp.203-210 M.Tombak, A.Isotamm, I. Sillitoe. On the representation of Boolean functions using compact look-up tables via parallel and variable overlapping schemes. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, 1997, pp. 96-105. M. Tombak, I. Sillitoe. On the Superposition of Boolean Functions. Proc. of the Fourth Symposium on Programming Languages and Software Tools, Visegrad, Hungary, 1995, pp. 288-295. M. Tombak, V. Soo, J. Pöial. A Forth-Oriented Compiler Compiler and its applications. Forth Dimensions, Vol.16 No.5 Oackland, USA 1995, pp. 21-22. A. Isotamm, J. Jagomägi, M. Tombak, H. Türnpu. Software package CHCOORD for mathematical transforming of geodetic data (in Estonian) Kaardikoja Teataja, No.1, Tartu 1994, pp. 11-14. M. Tombak. One more exponential algorithm for establishing satisfiability of propositional formula. Proc. of the Third Symposium on Programming Languages and Software Tools, Tartu, 1993, pp. 142-146. M. Tombak. An experience of implementing MODULA-2 compiler via FORTH. 1991 FORML Conference Proceedings, Forth Interest Group, Oackland, USA, 1991, p. 353. J. Pöial, V. Soo, M. Tombak. A Forth-oriented Compiler Compiler. Informatics'89, Proc. Soviet-French symposium, Vol. II, Tallinn 1990, pp. 60-62. M. Tombak, V. Soo, J. Pöial. A Forth-oriented Compiler Compiler and its applications. 1990 FORML Conference Proceedings, EuroFORML'90, Ampfield, UK 1990, 4pp. M. Tombak, R. Väinaste, V. Soo, J. Pöial, A. Juurik. Compiler FORTH-83/32 (in Russian). Final Report for the contract No.A-87/6a, Tartu 1989, 107pp. J. Pöial, V. Soo, M. Tombak. A Forth-oriented compiler compiler. Abstracts of the Workshop on compiler compiler and high speed compilation, Berlin, 1988, p. 56. M. Tombak, J. Pöial, V. Soo. Tools for programming with FORTH as an object language (in Russian) Final Report for the contract No.A-87/6, Tartu 1988, 103pp. M. Tombak, R. Väinaste, J. Pöial, V. Soo, A. Juurik, I. Saaremets. Compiler for FORTRAN-IV (in Russian). Final Report for the contract No. A-85/10, Tartu 1986, 25pp. J. Pöial, V. Soo, M. Tombak. The extensible language as a tool for compiler writing system (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 52, 1985, pp. 39-54. M. Tombak. On the description of semantics of programming languages, using extensible language (in Estonian). Proc. of conference "Theoretical and Applied Mathematics", Tartu 1985, pp. 149-150. J. Pöial, V. Soo, M. Tombak. Translator writing system for microcomputers (in Russian). Proc. of the Conference "Single-User Dialog Systems for microcomputers". Leningrad, 1984, pp. 102-104. M. Tombak, A. Juurik, J. Pöial, V. Soo, O. Toom, R. Väinaste. On the implementation of extensible languages (in Estonian). Final Report for the contract No.T-325, Tartu, 1984, 63pp. J. Pöial, V. Soo, M. Tombak. Data output language (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 49, 1982, pp. 42-61. Ü. Kaasik, M. Tombak. Shared data access in system PAMA (in Estonian). Proc. Comp. Cent. of Tartu Univ. No. 49, 1982, pp. 3-11. J. Kütt, A. Nigul, M. Tombak. On the context sensitive parsing, using declarations (in Russian). Proc. of the First Conference of Authomatical Compiler Construction, Tallinn, 1980. M. Tombak. Binary relation method for computing (1,1)-context for context-free grammars (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 43, 1980, pp. 105-111. A. Isotamm, Ü. Kaasik, M. Tombak. Record description language (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 41, 1978, pp. 7-64. M. Tombak. On the precedence method in syntactical analysis (in Russian).PhD thesis. Tartu University, Tartu, 1978, 88 pp. Ü. Kaasik, M. Tombak. Database system PAMA (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 41, 1978, pp. 3-6. A. Malling, A. Nigul, M. Tombak. Data output language of the system VILLIS (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 39, 1977, pp. 79-111. A. Vooglaid, M. Tombak. The system for generating effective multipass compilers with LR(k) semantics (in Russian). Programmirovanije No. 5, 1976, pp. 28-38. M. Tombak. On the ellimination of precedence conflicts (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 37, 1976, pp. 60-91. A. Vooglaid, M. Tombak. On the reduction problems in precedence grammars (in Russian). Proc. of Tallinn Technical University No. 386, 1975, pp. 23-38. T. Mikli, M. Tombak. On an augmented report generator for the computer Minsk-32, which allows to operate with PL/1-like structures (in Russian). Proc. of Tallinn Technical University No. 386, 1975, pp. 11-16. A. Villems, A. Isotamm, M. Tombak. Superrecord - the method for the implementation complex data (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 30-48. A. Villems, A. Isotamm, M. Tombak. The report generator VILLIS (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 49-66. L. Võhandu, T. Mikli, M. Räbovõitra, M. Tombak. On a methodology of implementation of the integrated data processing systems (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 3-7. M. Tombak, T. Mikli, K. Allik. On the subordination relation (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 8-22. T. Aus, M. Räbovõitra, M. Tombak. The matrix report generator (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 23-29. T. Mikli, M. Tombak. The principles of representation of large data files in SODI (in Russian). Proc. of Tallinn Technical University No. 313, 1971, pp. 21-30. I. Kull, M. Tombak. Some properties of inductive definitions and associated generative tools (in Russian). Acta et Comm. Univ. Tartuensis No. 226, 1969, pp. 41-62. |
viimati muudetud: 18.10.2004
| Curriculum Vitae (CV) | ||
| 1. | First Name | Mati |
| 2. | Surname | Tombak |
| 3. | Institution | University of Tartu |
| 4. | Position | professor |
| 5. | Date of birth | 25.01.1942 (day.month.year) |
| 6. | Education | University of Tartu, mathematics, 1969 |
| 7. | Research and professional experience |
1967-1975 Tallinn Technical University: engineer, senior researcher 1975- University of Tartu, senior researcher, docent, professor |
| 8. | Academic degree | PhD |
| 9. | Dates and sites of earning the degrees |
University of Leningrad, 1981 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
I was a director of the Institute of Computer science, UT in years 1997 and 2002. |
| 12. | Supervised dissertations |
A. Peder, MSc, 2001, superv. M. Tombak. Metamuutujatega loogikavalemite translaator. Tartu H. Lipmaa, PhD, 1999, superv. M. Tombak. Secure and efficient time-stamping systems. Tartu A. Tumanov, MSc, 1998, superv. M. Tombak. Counting of Quarto Draws. Tartu E. Leego, MSc, 1998, superv. M. Tombak. WWW kui tõeline hüpermeedia süsteem. Tartu I. Mehide, MSc, 1996, superv. M. Tombak. Kehtestatavuse probleemi lahendamine geneetiliste algoritmide abil. Tartu O. Kislitsina, MSc, 1996, superv. M. Tombak. Täielike ülesannete näited klassides NP ja DP”. Tartu H. Lipmaa, MSc, 1995, superv. M. Tombak. Ülevaade suhtluskeerukusest. Tartu T. Saarsen, MSc, 1992, superv. M. Tombak. Compilation Technique for the FORTH Language. Tartu |
| 13. | Current research program | Syntax and semantics of programming languages, complexity theory, Boolean functions. |
| 14. | Current grant funding | |
| 15. | List of most important publications |
A. Jutman, A. Peder, J. Raik, M. Tombak, R. Ubar. Structurally synthesized binary decision diagrams. Proceedings of 6th International Workshop on Boolean Problems, Freiberg, 2004, 271-278. R. Ubar, T. Vassiljeva, J. Raik, A. Jutman, M. Tombak, A. Peder. Optimization of structurally synthesized BDD-sProceedings of the4th IASTED InternationalConference on Modelling, Simulation and Optimization MSO 2004, 234-240 . M. Tombak. Logical method in combinatorial counting. Proc. IPSI-2003, 4pp. CD publication. A. Peder, M. Tombak, A. Isotamm. A Meta-compilerfor propositional formulae. Proceedings of Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), 250-261. University of Szeged, June 15-16, 2001, Szeged, Hungary. M. Tombak, A. Isotamm, T. Tamme. On logical method for counting Dedekind numbers. Lecture Notes in Computer Science 2138, 424-427, Springer-Verlag 2001. M.Tombak, I.Sillitoe. On the superposition of Boolean functions. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica.Tomus XVII. 1998. Pp 381-389. Sillitoe I. P. W., Tombak M. A compact look-up table structure for low level binary image processing. Journal of Real-Time Imaging. Vol 4 No 3 Jun 1998, pp.203-210 M.Tombak, A.Isotamm, I. Sillitoe. On the representation of Boolean functions using compact look-up tables via parallel and variable overlapping schemes. Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, 1997, pp. 96-105. M. Tombak, I. Sillitoe. On the Superposition of Boolean Functions. Proc. of the Fourth Symposium on Programming Languages and Software Tools, Visegrad, Hungary, 1995, pp. 288-295. M. Tombak, V. Soo, J. Pöial. A Forth-Oriented Compiler Compiler and its applications. Forth Dimensions, Vol.16 No.5 Oackland, USA 1995, pp. 21-22. A. Isotamm, J. Jagomägi, M. Tombak, H. Türnpu. Software package CHCOORD for mathematical transforming of geodetic data (in Estonian) Kaardikoja Teataja, No.1, Tartu 1994, pp. 11-14. M. Tombak. One more exponential algorithm for establishing satisfiability of propositional formula. Proc. of the Third Symposium on Programming Languages and Software Tools, Tartu, 1993, pp. 142-146. M. Tombak. An experience of implementing MODULA-2 compiler via FORTH. 1991 FORML Conference Proceedings, Forth Interest Group, Oackland, USA, 1991, p. 353. J. Pöial, V. Soo, M. Tombak. A Forth-oriented Compiler Compiler. Informatics'89, Proc. Soviet-French symposium, Vol. II, Tallinn 1990, pp. 60-62. M. Tombak, V. Soo, J. Pöial. A Forth-oriented Compiler Compiler and its applications. 1990 FORML Conference Proceedings, EuroFORML'90, Ampfield, UK 1990, 4pp. M. Tombak, R. Väinaste, V. Soo, J. Pöial, A. Juurik. Compiler FORTH-83/32 (in Russian). Final Report for the contract No.A-87/6a, Tartu 1989, 107pp. J. Pöial, V. Soo, M. Tombak. A Forth-oriented compiler compiler. Abstracts of the Workshop on compiler compiler and high speed compilation, Berlin, 1988, p. 56. M. Tombak, J. Pöial, V. Soo. Tools for programming with FORTH as an object language (in Russian) Final Report for the contract No.A-87/6, Tartu 1988, 103pp. M. Tombak, R. Väinaste, J. Pöial, V. Soo, A. Juurik, I. Saaremets. Compiler for FORTRAN-IV (in Russian). Final Report for the contract No. A-85/10, Tartu 1986, 25pp. J. Pöial, V. Soo, M. Tombak. The extensible language as a tool for compiler writing system (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 52, 1985, pp. 39-54. M. Tombak. On the description of semantics of programming languages, using extensible language (in Estonian). Proc. of conference "Theoretical and Applied Mathematics", Tartu 1985, pp. 149-150. J. Pöial, V. Soo, M. Tombak. Translator writing system for microcomputers (in Russian). Proc. of the Conference "Single-User Dialog Systems for microcomputers". Leningrad, 1984, pp. 102-104. M. Tombak, A. Juurik, J. Pöial, V. Soo, O. Toom, R. Väinaste. On the implementation of extensible languages (in Estonian). Final Report for the contract No.T-325, Tartu, 1984, 63pp. J. Pöial, V. Soo, M. Tombak. Data output language (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 49, 1982, pp. 42-61. Ü. Kaasik, M. Tombak. Shared data access in system PAMA (in Estonian). Proc. Comp. Cent. of Tartu Univ. No. 49, 1982, pp. 3-11. J. Kütt, A. Nigul, M. Tombak. On the context sensitive parsing, using declarations (in Russian). Proc. of the First Conference of Authomatical Compiler Construction, Tallinn, 1980. M. Tombak. Binary relation method for computing (1,1)-context for context-free grammars (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 43, 1980, pp. 105-111. A. Isotamm, Ü. Kaasik, M. Tombak. Record description language (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 41, 1978, pp. 7-64. M. Tombak. On the precedence method in syntactical analysis (in Russian).PhD thesis. Tartu University, Tartu, 1978, 88 pp. Ü. Kaasik, M. Tombak. Database system PAMA (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 41, 1978, pp. 3-6. A. Malling, A. Nigul, M. Tombak. Data output language of the system VILLIS (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 39, 1977, pp. 79-111. A. Vooglaid, M. Tombak. The system for generating effective multipass compilers with LR(k) semantics (in Russian). Programmirovanije No. 5, 1976, pp. 28-38. M. Tombak. On the ellimination of precedence conflicts (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 37, 1976, pp. 60-91. A. Vooglaid, M. Tombak. On the reduction problems in precedence grammars (in Russian). Proc. of Tallinn Technical University No. 386, 1975, pp. 23-38. T. Mikli, M. Tombak. On an augmented report generator for the computer Minsk-32, which allows to operate with PL/1-like structures (in Russian). Proc. of Tallinn Technical University No. 386, 1975, pp. 11-16. A. Villems, A. Isotamm, M. Tombak. Superrecord - the method for the implementation complex data (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 30-48. A. Villems, A. Isotamm, M. Tombak. The report generator VILLIS (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 49-66. L. Võhandu, T. Mikli, M. Räbovõitra, M. Tombak. On a methodology of implementation of the integrated data processing systems (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 3-7. M. Tombak, T. Mikli, K. Allik. On the subordination relation (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 8-22. T. Aus, M. Räbovõitra, M. Tombak. The matrix report generator (in Russian). Proc. Comp. Cent. of Tartu Univ. No. 30, 1974, pp. 23-29. T. Mikli, M. Tombak. The principles of representation of large data files in SODI (in Russian). Proc. of Tallinn Technical University No. 313, 1971, pp. 21-30. I. Kull, M. Tombak. Some properties of inductive definitions and associated generative tools (in Russian). Acta et Comm. Univ. Tartuensis No. 226, 1969, pp. 41-62. |
last updated: 18.10.2004
[ sulge aken ]