Jaan Penjam

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

Jaan Penjam on töölise poeg.

Ta on õppinud Mõisaküla Keskkoolis 1963–71, lõpetanud Nõo Keskkooli 1974 ja TRÜ rakendusmatemaatika erialal 1979 (cum laude); Eesti TA Küberneetika Instituudi aspirant 1981–84,väitekiri "Автоматическая реализация семантики проблемно-ориентированных языков".

Täiendas end 1990 Saksamaal Saarimaa Ülikoolis, 1991 Taanis Århusi Ülikoolis, 1994 Prantsusmaal Nice'i Ülikoolis ja 1996 Londoni Linnaülikoolis.

Tehnikateaduste kandidaat 1984 (kinnitus 1985); dotsent 1990.

Eesti NSV/Eesti TA Küberneetika Instituudi tarkvarasektori insener 1979–80, vaneminsener 1980–84, vanemteadur 1984–85; sektorijuhataja/uurimisrühma juht 1988–91, tarkvaraosakonna juhataja 1992–97; NSV Liidu viienda põlvkonna arvutisüsteemide projekti Start programmeerimiskeelte ja -süsteemide töörühma juht 1985–88; Tallinna 2. Keskkooli (Reaalkool) informaatikaõpetaja 1986–88; Tallinna Pedagoogikaülikooli vanemõpetaja (kohakaaslus) 1988–89, dotsent 1990–92. TTÜs 1983, 1990–…: infotöötluse kateedri tunnitasuline õppejõud 1983; automaatika ja süsteemitehnika instituudi dotsent 1990–94; küberneetika baaskateedri vanemõpetaja 1991–92; automaatikainstituudi teoreetilise informaatika professor ja õppetooli juhataja 1994–2002; infotehnoloogia keskuse juhataja 1997–2001; TTÜ Küberneetika Instituudi direktor 1997–2009; arvutiteaduse instituudi teoreetilise informaatika professor ja õppetooli juhataja 2002–2013; infotehnoloogia teaduskonna arvutiteaduse instituudi 2013-2016 projektijuht; tarkvarateaduse instituudi direktor 2017-2021; emeriitprofessor aastast 2020.

Programmeerimiskeelte süntaks ja semantika, tehisintellekti probleemid, objektorienteeritud programmeerimine ning programmide konstrueerimise loogilised alused, programmide semantika ja kompuuterloogika, programmeerimissüsteemi NUT väljatöötamine (kasutatakse mitmes Lääne-Euroopa kõrgkoolis). Koos professorite E. Tõugu, T. Tammeti jt töötas välja informaatikaõpetuse arengukontseptsiooni (1991), mida on edasi arendatud mitme TEMPUS-projekti raames. 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 keele MIS projekteerimisel ja realiseerimisel.

Eesti Infotehnoloogia Seltsi liige; Eesti Matemaatika Seltsi ja arvutiteaduse sektsiooni juhatuse liige 1985–90; Eesti Haridusministeeriumi arvutiõpetuse ainekomisjoni liige 1986–89; ELi TEMPUS-projektide koordinaator 1993–98, TEMPUS-programmi ekspert 1995–97; ELi 5. ja 6. raamprogrammi infoühiskonna tehnoloogiate programmikomitee Eesti esindaja ja ekspert 1998–2006, ELi 7. raamprogrammi info- ja kommunikatsioonitehnoloogiate programmikomitee Eesti delegatsiooni koosseisuline ekspert 2006–…; Eesti Teadusfondi täppisteaduste ekspertkomisjoni liige 1993–97; Eesti Innovatsioonifondi ekspert informatsioonitehnika alal 1998; Eesti teaduse tippkeskuse “Töökindlate Arvutisüsteemide Uurimise Keskus” juhataja 2002–07 ja uurimisrühma “Formaalmeetodid süsteemiarenduses” juht 2002–…; infotehnoloogia virtuaalse tippkeskuse “eVikings II” (ELi 5. raamprogrammi infoühiskonna süsteemide programmi tippkeskuste projekt) juht 2002–05. Olnud mitme rahvusvahelise teaduskonverentsi ja suvekooli korraldustoimkonna ja programmikomitee liige ning toimetanud ettekannete kogumikke. TTÜ nõukogu ja valitsuse liige 1998–…, TTÜ nõukogu teaduskomisjoni esimees 2005–…

• TTÜ tänukiri 2005;
• Valgetähe IV klassi teenetemärk 2007 (informaatikateadlane, TTÜ professor).

Koorilaul, laulnud Tartu Akadeemilises Meeskooris ja Eesti Teaduste Akadeemia Meeskooris, laulab Tallinna Kammerkooris ja segakoori Meriko bassirühmas.

EE 2000, 14; Talinna tehnikaülikooli professorid läbi aegade.

• 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.

• EE 14, 365
• Eesti TA Küberneetika Instituut 1990. Tallinn, 1990, 46
• Tallinna Tehnikaülikooli professorid läbi aegade. Tallinn, 2008, 316–317
• Eesti teaduse biograafiline leksikon. 3. köide: N–Sap TTEÜ, avaldatud elektrooniliselt 2013