European Master's Program in Computational Logic

Search:

EMCL Student Projects at Data61 (former NICTA), Australia

First name Family name Nationality From PU Period of Stay Title of Project supervisor at NICTA EM grant
Jantsch Simon Austria TUD 21 July 2017 - 21 September 2017 Implementation of an optimization phase of the CakeML compiler Michael Norrish no
Condoluci Andrea Italian TUW 10 August 2015 - 18 October 2015 Proof Assistant HOL4 Peter Norrish yes
Ziberi Emira Macedonian TUD 1 August 2015 - 18 October 2015 Online Fair Division with Unequal Entitlements Nicholas Mattei / Toby Walsh yes
Manighetti Matteo Italian TUW 1 August 2015 - 16 October 2015 Exploring SMT solvers for Software Analysis Ralf Huuck yes
Emmanoil Thanos Greek NOVA 9 November 2014 - 16 January 2015 Intelligent Transport Systems Toby Walsh yes
Medina Andresel Romanian TUW 31 October 2014 - 13 January 2015 Fair Division with Side Constraints and Externalities Toby Walsh yes
Adrian Rebola Pardo Spanish TUD 4 August 2014 - 24 October 2015 Sufficient (In)completeness in Finitely Quantified Hierarchic Theorem Proving Peter Baumgartner yes
Amr Hany Shehata Saleh Egyptian NOVA 29 July 2013 - 12 October 2013 Implementation and Extension of Half Reification Technique for MiniZinc Peter Stuckey yes
Tobias Kaminski German NOVA 29 July 2013 - 11 October 2013 A Theoretical and Empirical Study of Algorithms for Fair Division of Indivisible Goods Toby Walsh yes
Alina Petrova Russian TUD August 2012 - October 2012 Social Network Recommendations Scott Sanner no
Martin Diller German (Argentinian) TUW August 2012 - October 2012 Reasoning about Business Operations Andreas Bauer yes
Sergej Pugacs Latvian NOVA August 2012 - October 2012 Scalability in Vehicle Routing Problems Philip Kilby yes
Peter Skocovsky Slovak NOVA August 2012 - October 2012 Global SPACING Constraint Toby Walsh yes
Martin Aleksandrov Bulgarian NOVA 4 October 2011 - 27 December 2011 Online Dynamic Pickup and Delivery Problems Toby Walsh no
Ronald de Haan Dutch TUW 4 October 2011 - 21 December 2011 The RegularGcc Matrix Constraint Toby Walsh no
Gil Vegliach Italian TUW 17 August 2011 - 16 November 2011 Extending Runtime Verification Towards Android Andreas Bauer no
Norbert Manthey German TUD 22 July 2010 - 30 September 2010 Converting CSP Lazily into SAT during Solving Toby Walsh, George Katsirelos yes
Marco Gario Italian unibz 18 July 2010 - 30 September 2010 NetSAT: Automated Reasoning Methods for Verification and Configuration of Computer Networks Jussi Rintanen yes
Oana Tifrea Romanian TUW 7 September 2009 - 25 November 2009 Symmetry-breaking Answer Set Solving Toby Walsh yes
Christian Drescher German NOVA 1 September 2009 - 30 November 2009 A Translational Approach to Constraint Answer Set Solving Toby Walsh yes
Spas Gueorguiev Bojanov Bulgarian unibz 11 August 2009 - 9 November 2009 Pointer Alias Analysis for C and C++ Programs Ralf Huuck yes
Cedric Phillipe French TUD 4 October 2008 - 6 January 2009 Development of a Traffic Simulator in Haskell William Uther yes
Martins Zalcmanis Latvia unibz 2 October 2008 - 30 November 2008 Reinforcement Learning using RTS Domain Scott Sanner, Patrik Haslum yes
Clemens Dubslaff German NOVA 30 August 2008 - 28 November 2008 Counterexamples in Interprocedural Static Analysis Ralf Huuck yes
Patrick Bahr German TUD 10 August 2008 - 31 October 2008 Implementation of a Pragmatic Translation from Haskell into Isabelle/HOL Gerwin Klein yes
Paolo Guagliardo Italian unibz 1 July 2008 - 22 September 2008 An Ontology Based Visual Tool for Query Formulation Support: theoretical foundations Alfredo Gabaldon yes
Anna Roubickova Czech unibz 1 July 2008 - 22 September 2008 Encoding sd-DNNF Theories into CNF Toby Walsh yes
Jean Christoph Jung German TUD 23 August 2007 - 5 December 2007 Constraint Propagation and Model Counting Toby Walsh yes
Hannes Strass German TUD 23 August 2007 - 5 December 2007 Compiling Grammar Constraints into SAT Using Cadmium Toby Walsh yes