Master of Science in Software Engineering

Allikas: Kursused
Redaktsioon seisuga 14. oktoober 2015, kell 14:14 kasutajalt Juhan (arutelu | kaastöö) (→‎Potential supervisors)
Mine navigeerimisribale Mine otsikasti

Master of Science in Software Engineering is a joint curriculum of the University of Tartu and the Tallinn University of Technology. The current page contains information about the relevant courses given at the Tallinn University of Technology.

Campus information

To find your way around the TUT campus, please take a look at [1], there is also a map available there.

Access to TUT Study Information System

It is necessary to register to the courses given at TUT in TUT Study Information System (Õppeinfosüsteem, ÕIS for short). To access it you need to either

  • Use your ID card or residence permit with a chip to log in at https://ois.ttu.ee
  • If you do not have the chip card, you will need to go to the ÕIS admins in room SOC-132 to get a username and password.

Login to lab computers, submission of homeworks

To log in to labs and to submit homeworks in many courses you will need to know your Uni-ID. You are able to find it out and set a password at pass.ttu.ee by again using your ID card or residence permit with a chip. (You are also able to log into the lab computers with the chip card).

If you do not have the chip card, you will be able to find out your Uni-ID and set passwords in room ICT-410.

Timetables

It is possible to view the timetables by going to [2] and selecting "Timetables" from the left menu. Then look for your group (IVSM11, IVSM12, IVSM31, IVSM32).

1st semester

Core module

ITT8060 Advanced programming (Lecture Wed 10:00-11:30 (1st lecture on Sept 9), ICT-A1; lab Wed 12:00-13:30, ICT-401)

IDY0204 Software Quality and Standards (Lecture Wed 14:00-15:30 room CYB-Veenus, lab 16:00-17:30, room ICT-501)

Embedded and real-time software specialization

ITI8500 Foundations of embedded real-time systems (Lecture Fri 16:00-17:30 in room ICT-A1, Lab 17:45-19:15 in room ICT-404)


3rd semester

Embedded and real-time software specialization

ITI8510 Real-time operating systems and systems programming (Lecture Wed 10:00-11:30, ICT-405, lab Wed 12:00-13:30, ICT-405)

ITI8520 Real-Time Software Engineering (Access to Moodle web will be explained in the lecture), (Lecture Thu 12:00-11:30, room U03-308, labs by appointment with Risto Serg).

Electives

ITI8600 Methods of Knowledge Based Software Development

IDY0201 Requirements Engineering (Enn Õunapuu, Lecture Thu 14:00-15:30, room U05-409, Lab Fri 10-11:30 ICT-404)

ITX8301 MSc seminar I, Thursdays 16:00-17:30 Fridays 12:00-13:30, ICT-411, first meeting on Thursday, September 10 Friday, September 11.

or ITX8302 MSc seminar II, Thursdays 16:00-17:30 Fridays 12:00-13:30, ICT-411 (for people who have already taken ITX8301)

Thesis

Deadlines for defence in June 2016

If you are following the MSc Seminar, there are some thesis related deadlines set within that seminar.

  • December 1, 2015: Thesis problem statement submitted (submission link provided here)
  • December 15, 2015: Feedback (unless you have already received feedback within the MSc seminar)
  • May 1, 2016: Thesis submission deadline
  • May: Reviews returned to students
  • May: Final printed version of the thesis submitted.

Potential supervisors

  • Jüri Vain
    • Topic areas: mode-based planner synthesis for non-deterministic and distributed systems.
    • Contact: juri.vain (a) ttu.ee
  • Tanel Tammet
    • Topic areas: automated theorem proving, logic based methods in network software
    • Contact: tanel.tammet (a) ttu.ee
  • Jaan Penjam
    • Topic areas: programming language syntax and semantics, evolutionary algorithms, algebraic automata theory
    • Contact: jaan (a) cs.ioc.ee
  • Tarmo Uustalu
    • Topic areas: structured proof theory and type theory, algebraic and categorical logic, program language semantics, program logics, functional programming, methods of program transformation and construction, applications of modal logics in computer science
    • Contact: firstname (a) cs.ioc.ee
  • Marko Kääramees
    • Topic areas: formal methods, model-based testing of software, algorithms, system administration.
    • Contact: marko.kaaramees (a) ttu.ee
  • Sven Nõmm
    • Topic areas: non-linear control systems, modelling, analysis, synthesis
    • Contact: sven.nomm (a) ttu.ee
  • Juhan Ernits
    • Topic areas: model-based testing (including for smart devices, IoT, server side software, robots), applications of functional programming technology (F#), model-based fault detection, 3D mapping using video streams
    • Contact: juhan.ernits (a) ttu.ee
  • Gert Kanter
    • Topic areas: robot testing, robot software based on ROS, control of robotic manipulators.
    • Contact: gert.kanter (a) ttu.ee
  • Ago Luberg
    • Topic areas: tourism recommender systems, software intensive systems.
    • Contact: ago.luberg (a) ttu.ee
  • Evelin Halling
    • Topic areas: model-based testing, social robotics
    • Contact: evelin.halling (a) ttu.ee
  • Maili Markvardt
    • Topic areas: software testing
    • Contact: maili.markvardt (a) ttu.ee
  • Jaagup Irve
    • Topic area: Systems level software, user interfaces
    • Contact: jaagup.irve (a) ttu.ee