Prof. habil. dr. Stasys Jukna
Padalinys Kibersocialinių sistemų inžinerijos grupė
Statusas: Afilijuotas mokslininkas
Asmeninis puslapis https://web.vu.lt/mif/s.jukna/
Mokslinė kvalifikacija
- 1960-71 Švėkšnos Saulės gimnazija
- 1971-76 Matematikos studija VU MIF
- 1979-80 Aspirantūra Lomonosovo universitete Maskvoje
- 1980 Fiz.-mat. kandidato diplomas. Disertacija: Optimalus save-taisancių programų sintezes metodai
- 1986 Vyr.m.b. mokslinis vardas Mat. Logikos, Algebros ir Skaicių Teorijos srityje, TSRS MA prezidiumas, Maskva, Rusija
- 1999 Habilitacija Triero universitete, Vokietija. Disertacija: Baigtinių skaiciavimų kombinatorika - apatiniu iverčių problema
Mokslinės stažuotes
- 1985-86 Daktarine stažuote Lomonosovo universiteto Matematikos fakultete (Maskva, Rusija)
- 1992-93 Alexander von Humboldt stipendiatas Dortmundo universitete (Vokietija)
Moksliniai interesai
- Algoritmų sudetingumo teorija (Computational Complexityi): irodyti, kad greiti algoritmai neegzistuoja
- Diskrečioji Matematika
- Kombinatorika
Mokslinė produkcija
Publikacijos su VU DMSTI ir MII prieskyra
Manuskriptų PDF failus galima rasti mano asmeninėje svetainėje
Monografijos
- S. Jukna, Extremal Combinatorics with Applications in Computer Science,, Springer-Verlag, (2001) xvii+375 p., ISBN 3-540-66313-4.
- S. Jukna, Extremal Combinatorics with Applications in Computer Scienceal Combinatorics with Applications in Computer Science, Springer-Verlag, (2011) xxii+411 p., ISBN 978-3-642-17363-9. (Tai 2-as visiskai atnaujintas leidimas, apie 30-40% medziagos pakeista nauja, pavadinimas nepakeistas Springer'io prasymu, nes 1-as leidimas tapo placiai zinomu.)
- S. Jukna,Boolean Function Complexity: Advances and Frontiers, Springer- Verlag (2012), xv+617 p., ISBN 978-3-642-24507-7.
- S. Jukna and I. Sergeev, Complexity of Linear Boolean Operators, NOW publishers Inc., USA (2013), 123 p., ISBN 978-1-60198-726-6-24507-7.
- S. Jukna, Tropical Circuit Complexity: Limits of Pure Dynamic Programming, Springer Nature, (2023), X+119 p., SpringerBriefs in Mathematics, ISBN 978-3-031-42353-6
Vadovėlis
- S. Jukna, Crashkurs Mathematik für Informatiker, xii+315 Seiten, 78 Abb., Buchreihe: Leitfäden der Informatik, B. G. Teubner Verlag ISBN 978-3-8351-0216-3 (pats parasiau vokieciu kalba!)
Moksliniai grantai
German Research Foudation(DFG, Deutsche Forschungsgemeinschaft) :
- Recourcenschranken (Limits of computational resources), at Uni Trier, 1993-95
- Fusionsmethode in der Berechnungskomplexität (The fusion method in computational complexity), at Uni Trier, 1995-99
- Kommunikationkomplexität (Communication complexity), at Uni Frankfurt, 2005-06
- Die Graphstruktur boolescher Funktionen (Graph structure of Boolean functions), at Uni Frankfurt, 2007-10
- Grenzen von Algorithmenparadigmen (Limits of algorithmic paradigms), at Uni Frankfurt, 2010-13
- Grenzen der dynamischen Programmierung (Limits of dynamic programming), at Uni Frankfurt, 2013-16
- Approximationsgrenzen der dynamischen Programmierung (Limits of approximating dynamic programming), at Uni Frankfurt 2017-20
Dėstyti dalykai
- 1976-79/81 VU MIF: Matematine Logika, Diskrečioji Matematika
- 1996-99 Uni Trier, Informatikos fakultetas (anglų kalba): Kombinatorika Informatikams, Bulio Funkcijų Sudetingumas, Tikimybiniai Metodai Informatikoje
- 2000- Uni Frankfurt (vokiecių kalba): Matematiniai Informatikos Pagrindai, Aproksimuojantys Algoritmai, Algoritmai Bioinformatikoje, Teorine Informatika
Dalyvavimas mokslinių žurnalų ir tęstinių leidinių redakcinėse kolegijose
- Lithuanian Mathematical Journal
- Electronic Colloquium on Computational Complexity [sita Kolokviuma ikuriau 1994 budamas Trier'e (Vokietija)]