Spausdinti

jukna1

Prof. habil. dr. Stasys Jukna

Padalinys Kibersocialinių sistemų inžinerijos grupė
Statusas: Afilijuotas mokslininkas

Elektroninis paštas  

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

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

  1. S. Jukna, Extremal Combinatorics with Applications in Computer Science,, Springer-Verlag, (2001) xvii+375 p., ISBN 3-540-66313-4.
  2. 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.)
  3. S. Jukna,Boolean Function Complexity: Advances and Frontiers, Springer- Verlag (2012), xv+617 p., ISBN 978-3-642-24507-7.
  4. 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.
  5. 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) :

  1.  Recourcenschranken (Limits of computational resources), at Uni Trier, 1993-95
  2.  Fusionsmethode in der Berechnungskomplexität (The fusion method in computational complexity), at Uni Trier, 1995-99
  3.  Kommunikationkomplexität (Communication complexity), at Uni Frankfurt, 2005-06
  4.  Die Graphstruktur boolescher Funktionen (Graph structure of Boolean functions), at Uni Frankfurt, 2007-10
  5.  Grenzen von Algorithmenparadigmen (Limits of algorithmic paradigms), at Uni Frankfurt, 2010-13
  6.  Grenzen der dynamischen Programmierung (Limits of dynamic programming), at Uni Frankfurt, 2013-16
  7. 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

 

Užsienio kalbos

  • Vokiecių (laisvai kalbu ir rašau)
  • Anglų (laisvai rašau, galiu ir bendrauti)
  • Rusų (suprantu gerai, kalbu prasčiau)