Usaldusväärse tarkvara tehnoloogiad | Tarkvarateaduse instituut

Teema hõlmab kahte TalTechi uurimisrühma: kompositsiooniliste süsteemide ja meetodite rühma, mida juhib professor Pawel Sobocinski, ning loogika ja semantika rühma, mida juhib professor Tarmo Uustalu. Oleme huvitatud väikeste ja keskmise suurusega idufirmade abistamisest, kelle jaoks tarkvaraarendus on oluline osa äritegevusest.

KOMPETENTSID

• Funktsionaalne programmeerimine
• Tüübipõhine arendus
• Süsteemide kompositsioonilised kirjeldused
• Kategooriateooria ja loogika

MILLISEID PROBLEEME LAHENDAME?

Kui tarkvaraprojekti koodibaas kasvab juba küllalt suureks, muutub selle mõistmine, hooldamine ning stabiilsuse ja korrektsuse garanteerimine üha keerulisemaks ja kulukamaks. Töötame selle nimel, et aidata seda sasipundart lahti harutada, keskendudes programmeerimiskeele tehnoloogiale ning selle aluseks olevatele matemaatilistele põhitõdedele kategooriateooriast ja muudest valdkondadest. Tarkvara disaini probleeme ei lahendata plaastri, nööri ega teibiga: usume, et usaldusväärse tulevikutarkvara võti on saavutada selle taga oleva matemaatika korrektsus.

KUIDAS SAAME AIDATA?

Kursused arendajatele	Kompositsionaalsuse alane nõustamine	Spin-off projektid
Püsige esirinnas koolitades oma arendajaid olema kursis programmeerimiskeelte tehnoloogia uusimate trendidega Kevadsemestri kursused funktsionaalse ja tüübipõhise tarkvaraarenduse ning kategooriateooria kohta on avatud ka väljastpoolt ülikooli osalejatele Lühemad, intensiivsed vajaduspõhised kursused teie arendajatele.	Aitame teie tarkvaraarhitektidel teie projekte lahata. Saame aidata spetsifitseerimise, verifitseerimise ning põhimõtteliselt kompositsionaalse tarkvara disainimisega.	Juba praegu teeme koostööd kahe väikese Euroopa idufirmaga – Statebox ja Lamassu. Kui sul on idee, mis vajab antud teemal lisateadmisi, võta meiega ühendust ja teeme koostööd!

VIITED JA SENISED PROJEKTID: 

• https://www.ioc.ee/~pawel/
• https://www.ioc.ee/~tarmo/

Oleme dünaamiline rahvusvaheline teadlaste meeskond ning otsime pidevalt investoreid ja uusi tööstuspartnereid. Andke meile võimalus lahti seletada Teile oma ideid!