This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
Browse the Department site:
Browse the Teaching site:

GSEEM @ the University of L'Aquila

Here a list of rules to be followed to get enrolled at the University of L'Aquila, as a GSEEM student.

The GSEEM enrollment process:

  1. First of all, you have to apply through the GSEEM Admission web page, and successively send a detailed documentation (cv, transcript of record, reccomendation letters, etc.) to coreatgseemdoteu
  2. In February, the GSEEM board evaluates your admission request
  3. By March, you will receive an email with information about your request acceptance or rejection. The evaluation will be based uniquely on the quality of your student carieer
  4. If you get selected, you have to enroll to the Universities you selected 

Be aware that Erasmus LLP scholarships can be used to partially finance GSEEM students mobility to the University of L'Aquila.

Enrollment to the University of L'Aquila:

You may come to L'Aquila following two different paths.

Case 1: You spend your first year at the University of L'Aquila

In this case, here the process to follow:

  1. First, you may need a visa letter from the University of L'Aquila. If so, please contact the University of L'Aquila GSEEM coordinator (prof. Henry Muccini) at henrydotmucciniatdidotunivaqdotit as soon as possible after being selected.
  2. You need to prepare the documents required for your enrollment, that are: a) the bachelor degree (original or authenticated copy) that has been translated in italian, and legalized, b) “Dichiarazione di valore in loco” released by the italian embassy in your Country, c) a copy of the "stay permit" (permesso di soggiorno) [this document will be prepared in Italy once you arrive]
  3. Once you arrive in Italy, you provide those documents to the Students Secretary that starts the enrollment process. You also go visit the International office for a list of documents you have to prepare (see the "Information for Your Journey" page for more details)
  4. You spend the first year in L'Aquila: your objective is to get 60 ECTS credits. 
  5. You spend the second year in the second GSEEM university. Please remember that during this second year, you must enroll again at the University of L'Aquila.
  6. When you complete your 120 credits, you inform the Secretary and the GSEEM coordinator in L'Aquila about it, and send a copy of your Transcript of Record.

Case 2: You spend your second year at the University of L'Aquila

In this case, here the process:

  1. First, you may need a visa letter from the University of L'Aquila. If so, please contact the University of L'Aquila GSEEM coordinator (prof. Henry Muccini) at henrydotmucciniatdidotunivaqdotit as soon as possible after being selected.
  2. You need to prepare the documents required for your enrollment, that are:  a) the bachelor degree (original or authenticated copy) that has been translated in italian, and legalized, b) “Dichiarazione di valore in loco” released by the italian embassy in your Country, c) a copy of the "stay permit" (permesso di soggiorno) [this document will be prepared in Italy once you arrive] [we are currently revising our process to make it simpler to apply to students coming from GSEEM universities]
  3. You need to bring with you: a) an official Transcript of Record that certifies the completion of your 60 credits in the first year GSEEM University (this document can be provided later on, if you still have to complete your credits), b) the sillabi of GSEEM courses you attended in year one, c) an official document showing the list of exams that you passed during your Bachelor degree.
  4. Once you arrive in Italy, you provide the enrollment documents to the Students Secretary that starts the enrollment process. You provide the Transcript of Records to the University of L'Aquila coordinator. You also go visiting the International office for a list of documents you have to prepare (see the "Information for Your Journey" page for more details).
  5. We evaluate your carrer, and we may ask you to take some specific courses missing from your student career and required to get our Master degree. 
  6. You spend the second year in L'Aquila: your objective is to get 60 ECTS credits, including your master thesis
  7. You discuss your thesis in L'Aquila
  8. Once done, you start the double degree recognition with the first year GSEEM University.

 

Courses offered by the University of L'Aquila, Italy (UDA)
A.Y. 2010-2011

Note: this study plan is preliminary and subject to changes
 

Course Name S.S.D. CFU SEM
ADVANCED SOFTWARE ENGINEERING (mandatory) INF/01 12  1
FORMAL VERIFICATION METHODS (mandatory) INF/01 6  1
MODEL DRIVEN ENGINEERING (mandatory) INF/01 6  2
NETWORK DESIGN (12 credita in MATH)*(mandatory) MAT 12  2
OTHER MODULES (up to a total of at least 60 ECTS credits) INF/01 24 1/2
TOTAL   60  
* it is mandatory to get 12 credits in MAT to get our Degree. If you already completed such amount of credits during your Master, you can replace them with other courses in INF.


OTHER MODULES

Course name S. S.D. C.F.U. SEM.
MASTER THESIS (mandatory, if you are attending year II at UDA)   20 1/2
ADVANCED SOFTWARE ENGINEERING PROJECT INF/01 6 2
SYSTEMS AND APPLICATIONS ON NETWORKS INF/01 6 2
INFORMATION SYSTEMS AND NETWORK SECURITY INF/01 6 2
PRODUCTION SCHEDULING INF/01 6 1
NEURAL NETWORKS INF/01 6 1
ALGORITHMS FOR DISTRIBUTED SYSTEMS INF/01 6 1
FOUNDATIONS OF COMPUTER SCIENCE II INF/01 6 1

 

Courses offered by the Mälardalen University, Sweden (MdH)

A complete and updated list of courses is available at GSEEM page at MDH.
In particolar, take a look to the Program Schedule

 

Courses offered by the VU University Amsterdam, The Netherlands (VU)

Please visit the GSEEM page at the VU University Amsterdam for further information.

UDA Mandatory Courses' Syllabus

Course ECTS Description Code
Advanced Software Engineering 12

This course aims, on one hand, at in-depth enhancing the students’ knowledge acquired in the Software Engineering course, on the other end at introducing new topics. The latter ones can be summarized as:  software architecture modeling and description, architectural views and viewpoints, architectural design decisions, examples of architectures, dealing with functional and non-functional properties of component-based systems, studying quantitative properties of software systems like reliability and performance, introducing advanced notions on UML and related technologies, software testing, model-based testing, architecture-based testing (link).

 

F0173
Formal Methods 6 Knowledge: basic notions of term rewriting systems and related properties,natural logic, intuitionistic logic and deduction process, definitions and proofs in the Coq system. Abilities: a student completing this course should be able to reason on properties of terms modulo an equational theory, define simple notions in a proof assistant, such as Coq, and then prove inductive and non-inductive properties. Expected behaviour: interest in the formal encoding of notions in a logic and in the formal derivation of properties (link). F1I033
Model Driven Engineering 6 Advanced knowledge on model transformation tools and techniques, model differencing, model and meta-model evolution and co-evolution (link). F0193
Network Design 12 Shortest Paths Problem (unrestricted weights); Ford's Algorithm; Ford-Bellman Algorithm, Maximum Flow Problems, Max-Flow/Min-Cut Theorem; Augmenting path algorithms; Shortest Augmenting Path; Push-relabel maximum flow algorithms; Applications of maximum flow and minimum cut, Minimum Cut Problems on Undirected Graphs; Node Identification Algorithm; Random Contraction Algorithm, Minimum-Cost Flow Problems; Primal algorithms: Augmenting Circuit Algorithm for the Min Cost Flow Problem; Network Simplex Method, Applications of min cost flow(link). F0062