Meie laboratooriumi liikmed loevad mitmeid kursusi (peamiselt Tallinna Tehnikaülikoolis). Rohkem informatsiooni iga kursuse kohta on võimalik leida ülikooli õppeinfosüsteemist.
| Ainekood | Aine nimetus | Õppejõud |
|---|---|---|
| ISS0031 | Modelleerimine ja identifitseerimine | J. Belikov |
| YMR0064 | Arvutialgebra mittelineaarsetes juhtimissüsteemides | Ü. Kotta |
| YMR0065 | Algebralised meetodid mittelineaarsetes juhtimissüsteemides | Ü. Kotta |
| YFR0080 | Füüsika täiendusõpe | T. Mullari |
| YFR0030 | Füüsika | T. Mullari |
| YFR0012 | Füüsika II | T. Mullari |
| ITI0021 | Loogiline programmeerimine | J. Vain |
| ITI0130 | Formaalsed meetodid | J. Vain |
| ITI0135 | Formaalsed meetodid - projekt | J. Vain |
| ITI8530 | Formaalmeetodid reaalaja sardsüsteemide arenduses | J. Vain |
| ITI8540 | Süsteemide usaldusväärsus ja tõrkekindlus | J. Vain |
| ITI9111 | Reaalaja süsteemide mudelipõhine testimine ja valideerimine | J. Vain |
| ITI9191 | Formaalmeetodite eripeatükid | J. Vain |
| ITX003P | Erialapraktika | J. Vain |
| ITX004P | Erialapraktika | J. Vain |
| ITX8510 | Menetluspraktika | J. Vain |
| ITX8511 | Menetluspraktika infotehnoloogias | J. Vain |
| ITX8520 | Tarkvaraprojekt | J. Vain |
| IXX9601 | Doktoriseminar I | J. Vain |
| IXX9602 | Doktoriseminar II | J. Vain |
| IXX9603 | Doktoriseminar III | J. Vain |
| IXX9611 | Doktorantide õpetamispraktika I | J. Vain |