European Master's Program in Computational Logic

Search:

EMCL Student Projects at NICTA

First name Family name Nationality From PU Period of Stay Title of Project supervisor at NICTA EM grant
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