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
Amr Hany Shehata Saleh Egypt UNL August 2013 - September 2013 Creating an efficent and effective linerization component for minizinc Peter Stuckey yes
Tobias Kaminski German UNL August 2013 - 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 UNL August 2012 - October 2012 Scalability in Vehicle Routing Problems Philip Kilby yes
Peter Skocovsky Slovakia UNL August 2012 - October 2012 Global SPACING Constraint Toby Walsh yes
Martin Aleksandrov Bulgarian UNL 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 FUB 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 UNL 1 September 2009 - 30 November 2009 A Translational Approach to Constraint Answer Set Solving Toby Walsh yes
Spas Gueorguiev Bojanov Bulgarian FUB 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 FUB 2 October 2008 - 30 November 2008 Reinforcement Learning using RTS domain Scott Sanner, Patrik Haslum yes
Clemens Dubslaff German UNL 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 FUB 1 July 2008 - 22 September 2008 An ontology based visual tool for query formulation support: theoretical foundations Alfredo Gabaldon yes
Anna Roubickova Czech FUB 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