Arvutiteaduse instituut

Kursused Lambda.ee Inimesed
 
 
  • Instituut tegeleb võrgutarkvara ja loogika õpetamisega bakalaureuse- ja magistriõppes.
  • Teadustöö ning arendus keskenduvad formaalsete meetodite, semantika, automaatse teoreemitõestamise ja programmeerimisteooria käsitlemisele.
  • Instituudil on sidemed mitmete ülikoolide ja rahvusvaheliste organisatsioonidega nagu näiteks IEEE, IEE, IFAC, IFIP ja teised.
  • Ühisprojektide ning külalislektorite vallas teeme koostööd mitmete Eesti ja välismaiste juhtivate infotehnoloogia firmadega. See võimaldab tudengitele head väljavaated tulevaseks tööks.
  • Üle 85% meie üliõpilastest alustavad oma karjääri juba õpingute ajal ning lõpetanutel on tööturul võrguprogrammeerijate, süsteemianalüütikute ja disainiinseneridena suur nõudlus.