Možnosti spolupráce

Nabízím obecné i specifické konzultace, přednášky či semináře v různých oblastech matematiky a informatiky. Rovněž nabízím programování specifických úkolů, včetně webových aplikací a web-designu. (Vše na živnostenský list.)

Oblasti zájmu zahrnují (nejen):

Matematika - teorie:

• Automatické dokazování vět (či automatické uvažování) - hlavní oblast vědeckého zájmu. Cílem tohoto oboru je hledání formálních důkazů tvrzení. Aplikace jsou většinou verifikace vlastností systému (hardwarových, softwarových, komunikačních protokolů atd.) či konstrukce takových systémů s danými vlastnostmi.
• Matematická logika.
• Asymetrická kryptografie (kryptografie s veřejným klíčem).
• Samoopravné kódy.

Informatika:

• Programovací jazyk Java:
  
  • Java Standard Edition
  • Java Enterprise Edition - platforma pro serverové aplikace.
  • Java Micro Edition - platforma pro aplikace do mobilních zařízení.
• Enterprise Java Beans 3. - rámec pro tvorbu serverových modulů a aplikací pro JavaEE
• Linux (viz. samostatná stránka Linuxové systémy).
• LaTeX and DocBook - sázecí systémy.
• Webové stránky - statické i dynamické; redakční systém Drupal (v něm jsou provozovány tyto stránky).
• Další technologie: XML, HTML, CSS, JavaScript.