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
Emmanoil Thanos Greek UNL August 2014 - October 2014 Intelligent Transport Systems Toby Walsh yes
Medina Andresel Romanian TUW August 2014 - October 2014 Fair division with side constraints and externalities Toby Walsh yes
Adrian Rebola Pardo Spanish TUD 26 July 2014 - 29 October 2014 Instantiation heuristics Peter Baumgartner yes
Amr Hany Shehata Saleh Egyptian UNL 29 July 2013 - 12 October 2013 Implementation and extension of half reification technique for MiniZinc Peter Stuckey yes
Tobias Kaminski German UNL 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 UNL August 2012 - October 2012 Scalability in Vehicle Routing Problems Philip Kilby yes
Peter Skocovsky Slovak 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