Jaan Penjam

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

Jaan Penjam on töölise poeg.

## Haridus
Ta on õppinud aastatel 1963–1971 Mõisaküla Keskkoolis, lõpetanud 1974. aastal Nõo Keskkooli ja 1979. aastal Tartu Riikliku Ülikooli rakendusmatemaatika erialal (*cum laude*). Aastatel 1981–1984 oli ta Eesti TA Küberneetika Instituudi aspirant, väitekiri "Автоматическая реализация семантики проблемно-ориентированных языков". Tehnikateaduste kandidaat 1984 (kinnitus 1985); dotsent 1990.

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

## Töökäik
Eesti TA Küberneetika Instituudi tarkvarasektori insener 1979–1980, vaneminsener 1980–1984, vanemteadur 1984–1985; sektorijuhataja / uurimisrühma juht 1988–1991, tarkvaraosakonna juhataja 1992–1997, direktor 1997–2009; NSV Liidu viienda põlvkonna arvutisüsteemide projekti Start programmeerimiskeelte ja -süsteemide töörühma juht 1985–1988; Tallinna 2. Keskkooli informaatikaõpetaja 1986–1988; Tallinna Pedagoogikaülikooli vanemõpetaja (kohakaaslus) 1988–1989, dotsent 1990–1992. 

Tallinna Polütehnilises Instituudis 1983, 1990–…: infotöötluse kateedri tunnitasuline õppejõud 1983; automaatika ja süsteemitehnika instituudi dotsent 1990–1994; küberneetika baaskateedri vanemõpetaja 1991–1992; automaatikainstituudi teoreetilise informaatika professor ja õppetooli juhataja 1994–2002; infotehnoloogia keskuse juhataja 1997–2001; 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.

## Teadustöö põhisuunad
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 ja teistega 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. 

## Teaduskorralduslik tegevus
Eesti Infotehnoloogia Seltsi liige; Eesti Matemaatika Seltsi ja arvutiteaduse sektsiooni juhatuse liige 1985–1990; Eesti Haridusministeeriumi arvutiõpetuse ainekomisjoni liige 1986–1989; ELi TEMPUS-projektide koordinaator 1993–1998, TEMPUS-programmi ekspert 1995–1997; 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–1997; Eesti Innovatsioonifondi ekspert informatsioonitehnika alal 1998; Eesti teaduse tippkeskuse “Töökindlate Arvutisüsteemide Uurimise Keskus” juhataja 2002–2007 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–2005. 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–…

## Tunnustus
* 2005 – Tallinna Tehnikaülikooli tänukiri
* 2007 – Valgetähe IV klassi teenetemärk (informaatikateadlane, TTÜ professor)

## Teoseid
* 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.

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

## Viited

## Kirjandus
* EE 2000, 14 
* Tallinna tehnikaülikooli professorid läbi aegade.
* EE 14, 365
* Eesti TA Küberneetika Instituut 1990. Tallinn, 1990, 46
* Tallinna Tehnikaülikooli professorid läbi aegade. Tallinn, 2008, 316–317
* 

## Välislingid
* 
* Ökoloogiline puidutöötlemistehnoloogia. Tallinna Tehnikaülikooli küberneetikainstituudi teadlaste abi sobiliku tehnoloogia leidmisel. ETV saade "Püramiidi tipus", ERR arhiiv