Computer Science Postgraduate Workshop 2023
Maynooth University Department of Computer Science
Monday, 12
nd
June 2023.
Venue: Hamilton Institute Seminar Room, 3
rd
Floor, Eolas Building.
9.45 - 11.00
Session I (Chair: Rosemary Monahan)
CSP2Turtle: Verified Turtle Robot Plans and Beyond
Dara MacConville
Automatic Benchmark Generation for OCL
Ankit Jha
Formal Verification of Continuous-Learning Cyber-Physical Systems
Thomas Flinkow
Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems
OisÃn Sheridan
Metalogic: reasoning about reasoning in an interactive proof assistant
Conor Reynolds
11.00 - 11.30
Coffee Break
11.30 - 12:45
Session II (Chair: Barak Pearlmutter)
Interpreting the Interpreter Just-in-time
Jonathan Lambert
Thermodynamics of a multistranded scaffolded DNA computer
Ahmed Shalaby
Turning Machines - DNA implementation of simple molecular robotics
Cai Alan Wood
AI in Music production
Dharanipathi Rathna Kumar Balasubramaniam
Cross View Localisation using a Shared Weight Siamese Transformer Network
Eduardo Avila
12:45-14:00
Lunch Break
14:00 - 15:00
Session III (Chair: John McDonald)
An Island-based Genetic Algorithm for Shortest Path Computation on Complex Real-world Road Networks
Harish Harish
Digital tools for mental wellbeing intervention
Fiona Hegarty
Measuring Response to Rotation Gain in Virtual Reality
Linda Krueger
Investigating the Impact of Collaborative Annotation on Student Quality of Learning
Mark McCormack
15:00 - 15:30
Coffee Break
15:30 - 16:15
Session IV (Chair: Rozenn Dahyot)
Focus prediction in time-lapse digital holographic microscopy using deep convolutional neural networks
Melat Tecle
Introducing a collaborative learning strategy in a hybrid and traditional laboratory for undergraduate computer science students
Sam O'Neill
Multimodal Synchronization in Musical Ensembles: Investigating Audio and Visual Cues
Sutirtha Chakraborty