natgillin/translations-raw huggingface dataset:
Jaan Einasto was granted with the prestigious Gruber Cosmology Prize;
Jaan Einasto sai maineka Gruberi kosmoloogia preemia;
Endel Lippmaa was elected Foreign Member by the Latvian Academy of Sciences;
Endel Lippmaa valiti Läti Teaduste Akadeemia välisliikmeks; Ülo Lumiste pälvis Tartu Ülikooli väikese medali;
Secretary General Leo Mõtus reported on implementation of the 2013 budget and presented the 2014 budget.
Aprillis vaadati läbi ja esitati üldkogule kinnitamiseks Akadeemia 2013. aasta koondeelarve täitmine ja 2014. aasta eelarve.
The Division presented Member of the Academy Arvo Krikmann to be awarded the Paul Ariste Medal.
Paul Ariste nimelise medaliga otsustati autasustada akadeemik Arvo Krikmanni.
READING CAFE basing on David Lodge “Thinks …”
Detailne kulude jagunemine on esitatud Akadeemia aastaraamatus.
He has belonged to several bodies of national importance, incl.
Akadeemikud on igat moodi nõustanud Eesti riiki, selle asutusi.
His other favourite pastimes are reading fiction and visiting theatre performances.
Meeleldi loeb ta ilukirjandust ning vahel satub ka teatrisse.
Arvo Krikmann
Akadeemik Arvo Krikmann
Arvo Krikmann was born on July 21, 1939 in Virumaa to a farmer's family.
Arvo Krikmann on sündinud 21. juulil 1939. aastal Virumaal väiketaluniku peres.
In 1957 he graduated from Väike-Maarja Secondary School and in 1962 started to study the Estonian language and literature at the University of Tartu.
1957. aastal lõpetas ta Väike-Maarja Keskkooli ja alustas õpinguid Tartu Ülikoolis eesti keele ja kirjanduse alal, mille lõpetas 1962. aastal.
In 1998 Arvo Krikmann earned his Doctor of Science degree in Philosophy at the University of Tartu.
1998. aastal kaitses Arvo Krikmann Tartu Ülikooli juures filosoofiadoktori väitekirja teemal “Sissevaateid folkloori lühivormidesse I. Põhimõisteid, žanrisuhteid, üldprobleeme”.
During 1962-1969 Arvo Krikmann worked in the Department of Folklore at the Estonian Literary Museum as Researcher and Senior Researcher.
Aastatel 1962‒1969 töötas Arvo Krikmann Eesti Kirjandusmuuseumi rahvaluule osakonnas teaduri ja vanemteadurina.
Currently, Arvo Krikmann holds the position of Senior Researcher at the Estonian Literary Museum (since 2000).
Alates 2000. aastast töötab Arvo Krikmann vanemteadurina Eesti Kirjandusmuuseumis.
Estonian Academy of Sciences elected Arvo Krikmann to its membership in 1997.
Eesti Teaduste Akadeemia liikmeks valiti Arvo Krikmann 1997. aastal.
Main areas studied by Arvo Krikmann have been associated with short forms of folklore, geographic spread of folklore, popular humour, figurative speech and humour theory.
Arvo Krikmanni uurimistöö peasuunad on olnud folkloori lühivormid, folkloori geograafilise leviku probleemid, rahvahuumor, kujundkõne- ja huumoriteooria.
His folklore studies have been intertwined with the analysis of Old Estonian literary language, figurative speech and dialectic language.
Tema rahvaluuleuuringutega on tihedalt seotud eesti vanema kirja- keele, kujundkõne ja murdekeele analüüs.
Arvo Krikmann's major scholarly achievements are without doubt the academic editions of Estonian proverbs under the title “Proverbia Estonica” (I-V, 1980-1988) and Fenno-Baltic common proverbs “Proverbia septentrio- nalia” (I-II, 2001-2002; III:1, 2012; III:2; 2013) as well as several other anthologies, textbooks, etc. that have been compiled, prepared and edited under his supervision.
Akadeemik Krikmanni teaduslikuks põhitööks on olnud suurväljaannete “Eesti vanasõnad” (I-V, 1980‒ 1988), “Eesti mõistatused” (I-II, 2001‒2002; III:1, 2012; III:2; 2013) ja mitmete teiste kaas- või peakoostajaks ja toimetajaks olemine.
In the years 1992-2005 he delivered as Extraordinary Professor special courses at the Department of Estonian and Comparative Folklore on short forms of folklore and their provenance, popular humour, semantics of utterances and figurative speech theory.
Aastatel 1992‒2005 on ta Tartu Ülikooli erakorralise professorina pidanud loenguid folkloori lühivormidest ja nende allikaloost, rahvahuumorist, ütluste semantikast ning kujundkõne teooriast.
Five Doctoral and five Master’s theses have been successfully defended under his supervision.
Ta on olnud viie edukalt kaitstud magistri- ja viie doktoritöö juhendajaks.
Professor Krikmann has been a member of several scientific organisations, editorial boards, steering committees and scientific councils in Estonia and abroad.
Akadeemik Krikmann on olnud mitme Eesti ja välismaise teadusorganisatsiooni, toimetuskolleegiumi, juhtkomitee ning teadusnõukogu liige.
At present he is Member of the Finnish Literary Society, Kalevala Society, Academia Scientiarum et Artium Europaea, Mother Tongue Society and Academic Folklore Society, Honorary Member of the International Society for Folk Narrative Research (ISFNR), Editorial Board Member of the international yearbook “Proverbium” issued in Vermont.
Praegu on ta Soome Kirjanduse Seltsi, Kalevala Seltsi, Academia Scientiarum et Artium Europaea, Emakeele Seltsi ja Akadeemilise Rahvaluule Seltsi liige ning Rahvusvahelise Rahvajutuuurimise Ühingu (ISFNR) auliige, aastaraamatu “Proverbium” toimetuskolleegiumi liige.
Ene Ergma
Akadeemik Ene Ergma
Ene Ergma was born on February 29, 1944 in Rakvere to a career service- man’s family.
Ene Ergma on sündinud 29. veebruaril 1944. a Rakveres sõjaväelase perekonnas.
From 1964 she proceeded to study at Moscow State University and finished her studies in 1969 with diploma in astronomy.
1964. aastal jätkas ta õpinguid Moskva Riiklikus Ülikoolis ning lõpetas selle 1969. aastal astronoomia erialal.
After graduating from the university, Ene Ergma enrolled in a postgraduate programme at the Astronomical Council of the USSR Academy of Sciences and in 1972 she defended her dissertation for the Candidate of Science degree (PhD) in Physics and Mathematics on the topic “Convection in stars”.
Pärast ülikooli lõpetamist oli Ene Ergma aspirant NSVL TA Astronoomia Nõukogus ning 1972. a kaitses füüsika-matemaatikakandidaadi väitekirja “Konvektsioon tähtedes”.
During 1972-1974 she worked as Junior Researcher at the Institute of Physics and Astronomy, Estonian Academy of Sciences.
1972‒1974 töötas ta Eesti Füüsika ja Astronoomia Instituudis nooremteadurina.
In 1974 she moved back to Moscow, where she earned her Doctor of Sciences degree in Mathematics and Physics at the Space Research Institute of the USSR Academy of Sciences with the dissertation on the topic “Unstable thermo nuclear burning at late stages of stellar evolution”.
1974. a siirdus tagasi Moskvasse, kus kaitses NSVL TA Kosmoseuuringute Instituudi juures füüsika-matemaatikadoktori väitekirja teemal “Ebastabiilne termotuumaaine põlemine tähe hilistes evolut- sioonistaadiumites”.
During the following fourteen years up to 1988 she was professionally affiliated with the Institute of Astronomy at the USSR Academy of Sciences as Junior Researcher, Scientific Secretary, Senior Researcher and Leading Researcher.
Järgnevad neliteist aastat, kuni aastani 1988, töötas ta NSVL TA Astronoomia Instituudis nooremteaduri, teadussekretäri, vanem- ja juhtivteaduri ametikohtadel.
In 1990 she was awarded professorship by the Higher Attestation Committee in Moscow.
1990. a andis Moskva Kõrgem Atestatsioonikomisjon talle professori kutse.
Ene Ergma was Vice-President of the Estonian Academy of Sciences for the term 1999-2004.
Aastatel 1999‒2004 oli Ene Ergma Eesti TA asepresident.
During 2003-2014 she was President of the Riigikogu (Parliament), except for two years (2006- 2007) as Vice-President.
Aastatel 2003‒2014 oli ta Riigikogu esimees (2006‒2007 aseesimees).
Estonian Academy of Sciences elected Ene Ergma to its membership in 1997.
Eesti Teaduste Akadeemia liikmeks valiti Ene Ergma 1997. aastal.
Ene Ergma is Chair of Space Affairs Council in Estonia and a member of Estonian Physical Society.
Ene Ergma on Eesti Kosmoseasjade nõukogu esimees, Eesti Füüsika Seltsi liige.
She also belongs to several international scientific organisations.
Samuti kuulub ta paljudesse rahvusvahelistesse teadusorganisatsioonidesse.
She is a Member of the International Astronomical Union (IAU) and European Astronomical Society (EAS), Associated Member of the Royal Astronomical Society (London, UK) and a Foreign Member of the Royal Swedish Academy of Engineering Science.
Ta on Rahvusvahelise Astronoomiaühingu (IAU) ja Euroopa Astronoomiaühingu (EAS) liige, Inglise Kuningliku Astronoomiaseltsi assotsieerunud liige ja Rootsi Kuningliku Inseneriteaduste Akadeemia välisliige.
Ene Ergma’s major topics in research are associated with physical processes in convective layers of stars; pre-supernova evolution of stars; thermonuclear processes on accreting neutron stars and on the surface of white dwarfs; evolution of low mass gamma-ray binaries.
Ene Ergma teadustöö teemadeks on olnud füüsikalised protsessid tähtede kon- vektiivsetes ümbristes, supernoovaeelne evolutsioon, termotuumaprotsessid akreteerivates neurontähtedes ja valgete kääbuste pinnal ning väikese massiga röntgenkaksiktähtede evolutsioon.
She has been honoured with Estonian state decorations twice: Order of the White Star, 4th class in 2001 and Order of the National Coat of Arms, 2nd class in 2008.
Kahel korral on teda autasustatud Eesti Vabariigi teenetemärgiga ‒ 2001 Valgetähe IV klassi ja 2008 Riigivapi II klassi teenetemärk.
Ene Ergma is a great admirer of classical music, theatre and art.
Ene Ergma hindab kõrgelt klassikalist muusikat, teatrit ja kunsti.
She collects fine art albums and takes delight in good books, memoirs in particular.
Ta kogub kunstialbumeid, naudib häid raamatuid ning memuaare.
She is an honorary member of Tartu Academic Tennis Club and tennis has been her greatest passion in sports.
Olles Tartu Akadeemilise Tenniseklubi auliige, on tema suurim spordikirg kogu elu olnud tennis.
Gérard A. Maugin
Akadeemia välisliige Gérard A. Maugin
Gérard A. Maugin was born on December 2, 1944 in Angers, Western France.
Gérard A. Maugin on sündinud 2. detsembril 1944 Lääne-Prantsusmaal Angers’i linnas.
He received honorary doctorate from Technical University of Darmstadt in 2001 and from Aristotle University in Thessaloniki in 2009.
Ta on Darmstadti Tehnikaülikooli (2001) ja Thessaloniki Aristotelese Ülikooli (2009) audoktor.
In 1979 he was appointed to office with the rank of Full Professor.
1979. aastal omistati talle CNRSi kõrgeim ametijärk ‒ täisprofessor.
Since 2010 he is Emeritus in Service.
2010. aastast jätkab ta teadustööd emeriitprofessorina.
The main scientific areas studied by Gérard A.Maugin are related to continuum mechanics.
Teadlasena on Gérard A. Maugini põhihuvi seotud pideva keskkonna mehaanikaga.
His studies are characterised by intertwining of mechanics and physics that enables to construct new mathematical models, especially for dynamic processes.
Tema uurimistöid iseloomustab mehaanika põimumine füüsikaga, mis võimaldab konstrueerida uusi matemaatilisi mudeleid, eelkõige dünaamiliste protsesside tarbeks.
Gérard A.Maugin has published over 480 peer-reviewed articles and is the author or editor of 28 monographic works and textbooks.
Gérard A. Maugin on avaldanud üle 480 teadusartikli ning on 28 monograafia ja õpiku autor või toimetaja.
His colleagues know him as a broad- sighted and eloquent science philosopher.
Kolleegid tunnevad teda ka kui avarapilgulist ja teravmeelset tea- dusfilosoofi.
He has supervised 38 successful doctoral dissertations.
Tema juhendamisel on kaitstud 38 doktoriväitekirja.
Gérard A.Maugin is a long-time Editorial Board Member of the Proceedings of the Estonian Academy of Sciences, series Physics & Mathematics (presently, Proceedings of the Estonian Academy of Sciences).
Gérard A. Maugin on kauaaegne Eesti Teaduste Akadeemia toimetiste füüsika ja matemaatika seeria (praegu “Proceedings of the Estonian Academy of Sciences”) toimetuskolleegiumi liige.
Gérard A.Maugin has been acknowledged by his colleagues and partners with the Max Planck Research Award of the German Physical Society (2001), A.C.Eringen Medal of the Society of Engineering Science (SES), USA (2003), etc.
Gérard A. Maugin on pälvinud kolleegide ja koostööpartnerite tunnustusena Saksamaa Max Plancki teadusauhinna (2001), USA inseneriteaduste ühingu SES Eringeni medali (2003) jne.
Enn Saar was born on March 4, 1944 in the village of Leppneeme, Harju County.
Enn Saar on sündinud 4. märtsil 1944 Leppneeme külas Harjumaal.
The university offered that year for the first time an opportunity for freshmen to major in astrophysics in frames of a specially formed group.
Sel aastal komplekteeris ülikool esimest korda esmakursuslastest astrofüüsika grupi.
Enn Saar completed his undergraduate studies in the area of theoretical physics in 1967.
Ülikooli lõpetas Enn Saar 1967. aastal teoreetilise füüsika erialal.
The professional career of Enn Saar started in 1968 at the Institute of Astrophysics and Atmospheric Physics in Tõravere.
Tööle asus Enn Saar 1968. aastal Füüsika ja Astronoomia Instituudis Tõraveres.
In Tõravere Enn Saar has progressed through all stages of a research career from Junior Researcher to Principal Research Associate.
Tõraveres on Enn Saar läbinud kõik teadustöötaja ametiastmed nooremteadurist peateadurini.
In 1991 he earned a Doctorate in Astronomy at the University of Tartu with his dissertation “Geometry of the large scale structure of the universe”.
1991. aastal kaitses ta Tartu Ülikoolis astronoomiadoktori kraadi väitekirjaga “Universumi suuremastaabilise struktuuri geomeetria”.
Enn Saar was elected Member of the Estonian Academy of Sciences in 2010.
Eesti Teaduste Akadeemia liikmeks valiti Enn Saar 2010. aastal.
The main areas studied by Enn Saar are related to cosmology, physics of galaxies and atmospheric physics.
Enn Saare teadustöö on keskendunud kosmoloogiale, galaktikate füüsikale ja atmosfäärifüüsikale.
His primary focuses in cosmology are: dark matter, formation of structure in the Universe, numerical models and statistics of large-scale structure; in physics of galaxies: formation of galaxies and spiral structure; in atmospheric physics: observations of the atmosphere from cosmos.
Tema uurimustöö peasuunad on kosmoloogias: tume- aine, Universumi struktuuri teke, numbrilised mudelid ja suuremastaabilise struktuuri statistika; galaktikate füüsikas: galaktikate teke ja spiraalstruktuur; atmosfäärfüüsikas: atmosfääriuuringud kosmosest.
Enn Saar has made a notable contribution to the discovery of dark matter and cellular structure of the Universe.
Märkimisväärse panuse on Enn Saar andnud tumeaine ja Universumi rakustruktuuri avastamisse.
He has authored the great majority of mathematical methods that have been used by Tartu cosmologists and galactic astronomers in their studies on dark matter and the structure of the Universe.
Ta on enamiku matemaatiliste meetodite autor, mida Tartu kosmoloogid ja galaktikate uurijad on rakendanud tumeda aine ja Universumi ehituse uurimisel.
Enn Saar was the initiator in Tõravere of the numerical modelling technique for studying the structure formation in the Universe, dwelling on such a model of the Universe, which additionally to normal and dark matter contained a homogeneous background, known as dark energy.
Enn Saare algatusel alustati Tõraveres Universumi struktuuri arengu numbrilist modelleerimist, lähtudes sellisest Universumi mudelist, kus lisaks tavalisele ja tumeainele leidub ühtlane foon, mida nimetatakse tumeenergiaks.
An analysis conducted under his leadership indicated that the structure had multifractal characteristics.
Tema eestvedamisel tehtud analüüs näitas, et struktuuril on multifraktaalsed omadused.
In collaboration with astronomers from Spain, France and the USA Enn Saar has made an outstanding contribution to elaboration and implementation of new statistical methods for exploring the structure of the Universe.
Koostöös Hispaania, Prantsusmaa ja USA astronoomidega on Enn Saar osalenud uute statistiliste meetodite väljatöötamisel ja rakendamisel Universumi struktuuri uurimisel.
Since the second half of the 1970ies, Enn Saar has supervised all the cosmologists working at the Tartu Observatory in problems relating to theoretical, statistical and calculation methodology.
Alates 1970. aastate teisest poolest on Enn Saar olnud kõigi Tartu Observatooriumi kosmoloogide juhendajaks teoreetilistes ja statistika ning arvutuste metoodika küsimustes.
One candidate and five doctoral dissertations have been defended under his supervision.
Tema juhendamisel on kaitstud üks kandidaadi- ja viis doktoritööd.
In 2006 he was granted the Annual Award by the Estonian Physical Society for his studies on the structure of the Universe.
2006. aastal pälvis ta Eesti Füüsika Seltsi aastaauhinna universumi struktuuri uuringute eest.
In his leisure Enn Saar has been an ardent alpinist and has reached instructor’s level in that field, his other long-time favourite among sports is orienteering.
Vabal ajal on Enn Saar olnud kirglik alpinist ning tõusnud selles valdkonnas instruktori tasemele, on tegelenud ka orienteerumisega.
He enjoys reading prose in the Spanish language literature and has great admiration for the works of Arturo Pérez-Reverte.
Meeleldi loeb ta hispaaniakeelset proosat, hinnates kõrgelt Arturo Pérez-Reverte teoseid.
Richard Villems
Akadeemik Richard Villems
Richard Villems was born on November 28, 1944 in Pärnu.
Richard Villems on sündinud 28. novembril 1944. aastal Pärnus.
His choice was largely determined by family traditions ‒ his grandfather had been a surgeon, his aunt a physician and his uncle a neurosurgeon.
Valiku tegemisel olid eeskujuks kirurgist vanaisa, arstist tädi ning neurokirurgist onu.
Richard Villems was among the founders of the Estonian Biocentre and has been its Director from 1986 onwards.
Richard Villems on Eesti Biokeskuse üks loojaid ja 1986. aastast selle direktor.
He was President of the Estonian Academy of Sciences for two periods (2004-2014).
Aastatel 2004‒2014. oli ta Eesti Teaduste Akadeemia president.
His main research areas have been related with molecular biology, molecular evolution and population genetics.
Richard Villemsi uurimistöö peasuundadeks on olnud molekulaarbioloogia, molekulaarevolutsioon ja populatsioonigeneetika.
The first objects studied by Richard Villems were RNA-proteins and ribosomes.
Tema esimesteks uurimisobjektideks olid RNA-valgud ja ribosoomid.
In the middle of the 1970ies he switched over to gene technologies and cloning.
1970ndate keskel vahetas ta uurimissuunda, minnes üle geenitehnoloogiatele ja kloneerimisele.
Later on, during his stay in Edinburgh, he took a special interest in the structure of bacterial plasmids.
Prak- tiseerides Edinburgi Ülikoolis tegeles ta bakterite plasmiidide struktuuri uurimisega.
In 1995 he focused on evolutionary biology that has led to his professorship in archaeogenetics.
1995. aastast keskendus Richard Villems evolutsioonilise bioloogia suunale, millest on välja arenenud arheogeneetika professuur.
The most heavily cited publications of Richard Villems are covering topics of wide interest: the origins of peoples and migrations during various phases of history, our genetic evolution and about where and when different mutations arose and paved the way for genetic evolution of humans.
Tunnustatud on tema teaduspublikatsioonid rahvaste põlvnemisest ja rännetest erinevatel ajaloo etappidel, meie geneetilisest arengust ning sellest, kus ja millal on tekkinud erinevad mutatsioonid ja nende tagajärjel inimkonna geneetiline evolutsioon.
His works have proven false quite a few earlier convictions about the origins of the human race.
Need tööd on ümber lükanud mõnedki varasemad arusaamad inimese põlvnemisest.
As President of the Academy, Richard Villems repeatedly underlined the necessity for enlargement of the Academy’s role in the society.
Eesti Teaduste Akadeemia presidendina on Richard Villems rõhutanud vajadust suurendada Akadeemia rolli ühiskonnas.
As a pleasurable hobby, offering a change from work and reading, Richard Villems once or twice a week affords himself some precious moments for listening/watching classical music on the channel Mezzo.
Olulise hobina töö ja lugemise kõrval leiab akadeemik Villems paar korda nädalas aega ka muusika kuulamiseks-vaatamiseks klassikalise muusika kana- lilt Mezzo.
As of March 2015
Seisuga märts 2015
Jaan AARIK, born 1.01.1951, elected 2013, exact sciences.
Jaan AARIK, sünd 1.01.1951, valitud 2013, täppisteadused.
University of Tartu 1974.
Lõpetanud Tartu Ülikooli 1974.
Widower, two sons and daughter.
Lesk, kaks poega ja tütar.
Toomas ASSER, born 14.07.1954, elected 2011, medical science.
Toomas ASSER, sünd 14.07.1954, valitud 2011, arstiteadus.
University of Tartu 1979.
Lõpetanud Tartu Ülikooli 1979.
Mihhail BRONŠTEIN, born 23.01.1923, elected 1975, agricultural economics.
Mihhail BRONŠTEIN, sünd 23.01.1923, valitud 1975, põllumajandusökonoomika.
Senior Researcher, Department of Cosmology, Tartu Observatory (2004); Observatooriumi 1, 61602 Tõravere, Tartumaa ESTONIA, Tel:
Tartu Observatoorium, kosmoloogia osakonna vanemteadur (2004); Observatooriumi 1, 61602 Tõravere, Tartu maakond, tel
Vladimir HIŽNJAKOV, born 25.05.1938, elected 1977, physics.
Vladimir HIŽNJAKOV, sünd 25.05.1938, valitud 1977, füüsika.
Married, son and two daughters.
Abielus, kaks poega.
Widower, son.
Abielus, kolm poega.
Married, son.
Abielus, poeg ja tütar.
Married, son and three daughters.
Abielus, poeg ja kaks tütart.
Widower, son and daughter.
Abielus, poeg.
Married, four daughters.
Abielus, kaks poega.
Married, son.
Abielus, neli poega.
Estonian University of Life Sciences 1956.
Lõpetanud Tallinna Tehnikaülikooli 1965.
Married, two sons.
Abielus, viis poega ja tütar.
Married, three sons and daughter.
Vabaabielus, poeg ja kolm tütart.
Tallinn University of Technology 1968.
Lõpetanud Tartu Ülikooli 1986.
Married, four sons.
Abielus, poeg ja tütar.
Married, son and daughter.
Abielus, kolm tütart.
University of Tartu 1986.
Lõpetanud Tartu Ülikooli 1968.
Married, two sons and two daughters.
Abielus, poeg ja kaks tütart.
Married, daughter.
Abielus, kaks tütart.
Married, five sons and daughter.
Abielus, poeg ja kaks tütart.
Married, son and daughter.
Abielus, kaks poega ja tütar.
Married, daughter.
Abielus, poeg
HOME ADDRESS Trummi 30g,
KODUNE AADRESS
Cohabitant, two sons.
Abielus, kaks poega.
Married, son and two daughters.
Abielus, kaks poega ja tütar.
Married, son and daughter.
Lesk, kaks tütart.
Foreign Member of the Academy Grigori Mints
Akadeemia välisliige Grigori Mints
7.07.1939-29.05.2014
7.07.1939–29.05.2014
Grigori Mints was born on July 7, 1939 in Leningrad (now St.Petersburg).
Grigori Mints sündis 7. juunil 1939 Peterburis.
He received his education in mathematics at Leningrad State University (1961), where he also defended his dissertations for Candidate of Science (1965) and Doctor of Science (1990) degrees in Physics and Mathematics.
Ta lõpetas 1961. aastal Peterburi Riikliku Ülikooli matemaatika erialal ning kaitses sama ülikooli juures füüsika-matemaatikateaduste kandidaadi- (1965) ja doktorikraadi (1990).
His studies in proof theory have been applied in computer science, among others in program synthesisers PRIZ and NUT, developed in Estonia.
Tõestusteooria alased uurimused on leidnud rakendust arvutiteaduses, sh ka Eestis loodud programmeerimissüsteemides PRIZ ja NUT.
Closer relations with Estonian science were formed at the beginning of the 1970ies, when Grigori Mints was lecturing at a joint summer school in Elbi (close to Pärnu) organised by the University of Tartu Chair of Programming and the Institute of Cybernetics.
Grigori Mintsi lähem kokkupuude Eesti teadusega sai alguse eelmise sajandi seitsmekümnendate lõpul, mil ta esines Tartu Ülikooli programmeerimise kateedri ja Küberneetika Instituudi ühises suvekoolis Pärnu lähedal Elbis.
He also taught a course in proof theory at the UT Chair of Programming in 1991.
1991. aastal töötas ta lühemat aega osakoormusega professorina TÜ programmeerimise kateedris, kus luges tõestuste teooria kursust.