Jaan Penjam

Allikas: Vikipeedia
Jump to navigation Jump to search

Jaan Penjam (sündinud 17. oktoobril 1955 Mõisakülas) on Eesti arvutiteadlane.[1]

Elulugu[muuda | muuda lähteteksti]

Jaan Penjam on töölise poeg.[1]

Lõpetas 1974 Nõo Keskkooli, 1979 rakendusmatemaatika erialal, 1981–84 Küberneetika Instituudi aspirant, tehnikakandidaat (1984, Küberneetika Instituut), väitekiri "Автоматическая реализация семантики проблемно-ориентированных языков". Täiendas end 1990 Saksamaal Saarimaa Ülikoolis, 1991 Taanis Århusi Ülikoolis, 1994 Prantsusmaal Nice'i Ülikoolis ja 1996 Londoni Linnaülikoolis. Oli 1979–81 Küberneetika Instituudi vaneminsener, 1984–85 teadur, 1985–88 Üleliidulise Ajutise Teaduslik-Tehnilise Kollektiivi "Start" (projekt 5. põlvkonna arvutisüsteemi loomiseks) osakonnajuhataja, 1988–97 Küberneetika Instituudi sektori- ja osakonnajuhataja, 1997–2009 TTÜ Küberneetika Instituudi direktor, ühtlasi 1988–91 ka TPedI matemaatika-loodusteaduskonna informaatika kateedri vanemõpetaja ja dotsent, 1984–87 Tallinna 2. keskkooli informaatikaõpetaja, 1990–94 TTÜ automaatika instituudi dotsent, 1994– TTÜ teoreetilise informaatika õppetooli juhataja ja professor, 1997–2001 Rahandusministeeriumi infotehnoloogiakeskuse juhataja. Lugenud peamiselt teoreetilist informaatikat, loogikat ja algoritmiteooriat, formaalsete keelte teooriat.[1]

Teadustöö[muuda | muuda lähteteksti]

Uurimisvaldkonnad: programmide semantika, arvutiprogrammide koostamise formaalsed meetodid ja teadmuslik programmeerimine, evolutsiooniline programmeerimine. Loonud dünaamilised ja staatilised meetodid programmeerimiskeelte semantika realiseerimiseks, välja töötanud atribuutautomaadi kui arvutusmudeli ning atribuutautomaatide komponeerimise algebralise teooria (koos Uno Kaljulaiuga). Osalenud teadmiste kirjeldamise keelte MIS ja NUT projekteerimisel ja realiseerimisel. Eesti Infotehnoloogia Seltsi, Eesti Matemaatika Seltsi jt organisatsioonide liige. Valgetähe IV klassi teenetemärk (2007). Üle 120 teadustrükise, aimeartikleid.[1]

Viited[muuda | muuda lähteteksti]

  1. 1,0 1,1 1,2 1,3 Eesti Teaduse Biograafiline Leksikon, 3. köide

Teoseid[muuda | muuda lähteteksti]

  • Computational and attribute models of formal languages. // Theor. Computer Sci. (1990) 71
  • Models of attributed automata (kaasautorid M. Meriste, V. Vene). // Informatica 9 (1998) 1
  • Applications of structural synthesis of programs (kaasautorid E. Tõugu, M. Matskin). // Lecture Notes in Computer Sci. 1708 (1999)
  • Program construction in the context of evolutionary computation (kaasautor J. Sanko). // Lecture Notes in Computer Sci. 2890 (2003)
  • Deductive and inductive methods for program synthesis (kaasautor J. Sanko). // Int. J. Computer Inform. Sci. 5 (2004) 3
  • On two algebraic constructions for automata. // Semigroups and automata. Selecta Uno Kaljulaid. Amsterdam, 2006.

Kirjandus[muuda | muuda lähteteksti]

Välislingid[muuda | muuda lähteteksti]

Jaan Penjam Eesti Teadusinfosüsteemis Muuda Vikiandmetes

ERR arhiiv. Püramiidi tipus: Ökoloogiline puidutöötlemistehnoloogia. Tallinna tehnikaülikooli küberneetikainstituudi teadlaste abi sobiliku tehnoloogia leidmisel.

Livre.png Käesolevas artiklis on kasutatud "Eesti teaduse biograafilise leksikoni" materjale.