Computer Science Postgraduate Workshop 2015
Maynooth University Department of Computer Science
Thursday, 19
th
March 2015.
Venue: Computer Science Seminar Room.
11.30 - 12.30
Session I
Chair: Dr. Rosemary Monahan
Formal Verification of Graph Transformations using an Intermediate Verification Language
Zheng Cheng
An Investigation of Non-protein Coding DNA using Exabyte-level Data Analytics and Second-order DNA Analysis
Ciarán Ó Floinn
A Model Based Approach to Software Measurement and Refactoring
Keith Ó Dúlaigh
12:30 - 13:30
Lunch Break
13.30 - 14.30
Session II
Chair: Dr. Charles Markham
An Analysis of Refinement Calculi
Marie Farrell
A Universal Heuristic Attach on Double Random Phase Encryption
Lingfei Zhang
The Effect of Climate Changes on Standard DE and ANCDE
Siti Khadijah Mohd Salleh
14:30 - 14:45
Coffee Break
14:45 - 15:45
Session III
Chair: Dr. Guillaume Gales
Developing a Braille Prosthetic
Conor Coleman
Image processing and analysis of digital holograms of three-dimensional cell cultures
Tomi Pitkäaho
An Empirical Study Into how Modularisation can be Applied to Program Verification
Andrew Healy
16:15
Pizza in Coffee Room