cs@cs.ucy.ac.cy | +357-22-892700

| | | | MyCS Portal |

  • Computer Graphics and Virtual Reality Research Laboratory
    Computer Graphics and Virtual Reality Research Laboratory
  • Τρισδιάστατη αναπαράσταση της οικίας του Χατζηγιωργάκη Κορνέσιου (Εθνολογικό Μουσείο)
    Τρισδιάστατη αναπαράσταση της οικίας του Χατζηγιωργάκη Κορνέσιου (Εθνολογικό Μουσείο)
  • Ceremony for the Award of an Honorary Doctorate to Dr. Andrew Viterbi, March 5, 2010
    Ceremony for the Award of an Honorary Doctorate to Dr. Andrew Viterbi, March 5, 2010
  • Εφαρμογή πολλαπλής αφής που δείχνει σε 3D τις οχυρώσεις της Λευκωσίας ανά τους αιώνες (Λεβέντειο Μουσείο)
    Εφαρμογή πολλαπλής αφής που δείχνει σε 3D τις οχυρώσεις της Λευκωσίας ανά τους αιώνες (Λεβέντειο Μουσείο)
  • Courtyard between Computer Science and Economics and Management Departments
    Courtyard between Computer Science and Economics and Management Departments
  • Dr. Christos Papadimitriou with faculty members of the Computer Science Department, March 18, 2008
    Dr. Christos Papadimitriou with faculty members of the Computer Science Department, March 18, 2008
  • Motion capture system in the Computer Graphics and Virtual Reality Research Laboratory
    Motion capture system in the Computer Graphics and Virtual Reality Research Laboratory
  • Σύστημα motion capture στο εργαστήριο γραφικών και εικονικής πραγματικότητας
    Σύστημα motion capture στο εργαστήριο γραφικών και εικονικής πραγματικότητας
  • Computer Science Department Building
    Computer Science Department Building
  • Βραβευθέντες προπτυχιακοί και μεταπτυχιακοί απόφοιτοι του Τμήματος Πληροφορικής 2020-2021
    Βραβευθέντες προπτυχιακοί και μεταπτυχιακοί απόφοιτοι του Τμήματος Πληροφορικής 2020-2021
  • CS Department Tele-Education facilities, Room 148, Wing E, Building 12, New campus
    CS Department Tele-Education facilities, Room 148, Wing E, Building 12, New campus
  • Multi-touch 3D application illustrating the Walls of Nicosia through centuries (Leventio Museum). Developed by the Computer Graphics and VR Research Lab.
    Multi-touch 3D application illustrating the Walls of Nicosia through centuries (Leventio Museum). Developed by the Computer Graphics and VR Research Lab.
  • 7η Ημερίδα Πληροφορικής για Μαθητές Λυκείων και Τεχνικών Σχολών, 2016
    7η Ημερίδα Πληροφορικής για Μαθητές Λυκείων και Τεχνικών Σχολών, 2016
  • Hariton Efstathiades - Best student paper award, ”Online Social Network Evolution: Revisiting the Twitter Graph”, IEEE Big Data 2016
    Hariton Efstathiades - Best student paper award, ”Online Social Network Evolution: Revisiting the Twitter Graph”, IEEE Big Data 2016
  • Computer Science Department Courtyard
    Computer Science Department Courtyard
  • University of Cyprus, New Campus, Courtyard
    University of Cyprus, New Campus, Courtyard
  • Computer Graphics and Virtual Reality Research Laboratory
    Computer Graphics and Virtual Reality Research Laboratory
  • Ceremony for the Award of an Honorary Doctorate to Dr. Christos Papadimitriou, March 18, 2008
    Ceremony for the Award of an Honorary Doctorate to Dr. Christos Papadimitriou, March 18, 2008
  • Networks Research Laboratory (NetRL)
    Networks Research Laboratory (NetRL)
  • Computer Science Department Building2
    Computer Science Department Building2
  • Computer Science Department Building
    Computer Science Department Building

Σημαντικές Στιγμές

Students of the Computer Science Department succeeded in completing the Beyond Pre-Accelerator Programme

Ιουν 17, 2022

Dear Sir/Madam, Beyond Pre-Accelerator Demo Day was organised on the 30th of April 2022 by Junior Achievement Cyprus with great success... Read more

13η Ημερίδα Πληροφορικής για Μαθητές Λυκείων και Τεχνικών Σχολών

Φεβ 21, 2022

Το Σάββατο 19 Φεβρουαρίου 2022 διοργανώθηκε διαδικτυακά η 13η Ημερίδα Πληροφορικής για μαθητές Γυμνασίων, Λυκείων και Τεχνικών Σχολών. Την ημερίδα... Read more

Όλες οι Σημαντικές Στιγμές

ΠΡΟΟΔΟΣ

proodos

ΠΡΟΟΔΟΣ - Προδιαγραφή και επαλήθευση ορθότητας πρωτοκόλλων σε Ad Hoc δίκτυα με τοπικές μεθόδους

Duration: 19 months (2006-2007)

Start:1/2/2006

Project Website: http://www.cs.ucy.ac.cy/proodos/indexGB.htm

Principal Investigator: Άννα Φιλίππου

Main Funding Source: Cyprus Research Promotion Foundation

Total Cost: 63,713.75

The PROODOS project investigated the foundations of the modeling, development and analysis of dynamic systems. Specifically, the project focused on the specification and verification of a class of dynamic systems, that of /ad hoc networks/, and it proposed methodologies for the development of correct, efficient and reliable solutions to problems originating in them. During this research, the frameworks of Process Algebra and I/O Automata were employed to model and analyze algorithms in ad hoc networks which eventually enabled the evaluation of the two methodologies according to their applicability for the field under study. Finally, the work resulted in the proposal of specialized and improved methodologies and techniques for formally specifying and rigorously verifying the correctness of ad hoc networked systems.

Καλωσόρισμα

Καλωσορίσατε στο Τμήμα Πληροφορικής του Πανεπιστημίου Κύπρου. Τα τελευταία χρόνια το Τμήμα έχει παρουσιάσει σημαντική ανάπτυξη με ισχυρές ομάδες δικτύων υπολογιστών, αρχιτεκτονικής υπολογιστών, αλγορίθμων, βάσεων δεδομένων, εξόρυξης δεδομένων, κατανεμημένης επεξεργασίας, τεχνητής νοημοσύνης, τεχνολογίας λογισμικού, διαδικτυακού υπολογισμού και γραφικών. Το Τμήμα Πληροφορικής προσφέρει Προπτυχιακό Πρόγραμμα Σπουδών που οδηγεί στην απόκτηση Πτυχίου Πληροφορικής με 7 διαφορετικές εξειδικεύσεις, ένα αριθμό Μεταπτυχιακών Προγραμμάτων Σπουδών που οδηγούν σε τίτλους Μάστερ καθώς και σπουδές επιπέδου Διδακτορικού στην Πληροφορική.

Το Τμήμα έχει ισχυρές ερευνητικές υποδομές αποτελούμενες από υψηλής απόδοσης συστοιχίες, δίκτυα αποθήκευσης, υπολογιστικές νεφέλες, έξυπνα τηλέφωνα και αισθητήρες, καθώς επίσης και εξοπλισμό εικονικής πραγματικότητας. Από το 2005, το Τμήμα Πληροφορικής έχει συμμετάσχει σε περισσότερα από 160 ερευνητικά έργα που χρηματοδοτούνται τόσο από την Ευρωπαϊκή Ένωση όσο και από το Ίδρυμα Προώθησης Έρευνας της Κύπρου, με συνολική χρηματοδότηση πάνω από 21.5 εκατ. ευρώ.

Δείτε εδώ μια συνοπτική παρουσίαση των δραστηριοτήτων του Τμήματός μας.