Algoritmit, logiikka ja laskenta

 

Algoritmit, logiikka ja laskenta (monimutkaisten järjestelmien mallintaminen ja analysointi) ovat tietotekniikan menetelmällistä ydinaluetta. Laitoksen vahvuuksia tällä tutkimussuunnalla ovat moderni algoritmiikka, laskennallinen logiikka ja formaalit suunnittelumenetelmät, kryptologia ja tietoturva-algoritmit, tehokkaat tiedonhakutekniikat, sekä tietokoneavusteinen järjestelmäsuunnittelu ja kyberfysikaaliset järjestelmät.

Sivusta vastaa: communications-cs [at] aalto [dot] fi (Department of Computer Science) | Viimeksi päivitetty: 06.10.2016.