European Master's Program in Computational Logic

Search:

EMCL Graduates


Academic Year 2016/2017

Nur Alfi Ekowati
Master Thesis: Inconsistency Measures for OWL Ontologies
Position after study: intern developer at First Sensor Mobility


Academic Year 2015/2016

Medina Andresel
Master Thesis: A Compilation Technique for Interactive Ontology-mediated Data Exploration
Position after study: PhD-study at TUW, Austria

Yue Chen
Master Thesis: Query Answering Through Reformulation
Position after study: PhD-study at TUW, Austria

Andrea Condoluci
Master Thesis: CERES in Propositional Proof Schemata
Position after study: PhD-study at University of Bologna, Italy

Gonca Güllü
Master Thesis: A Bipolar Social Argumentation Framework
Position after study: Software developer, Portugal

Matteo Manighetti
Master Thesis: Computational Interpretations of Markovs Principle
Position after study: PhD at École Polytechnique in Paris, France

Rafael Mejia Santana
Master Thesis: Heuristic Algorithms and Variants of the Vehicle Routing Problem for a Distribution Company: A Case Study
Position after study: job at Pixinline.com (startup company), Portugal

Luis Palacios Medinacelli
Master Thesis: Skeptical Abduction: A Connectionist Network
Position after study: PhD-study at Universite Paris-Sud, France

Nika Pona
Master Thesis: Cut-Elimination in Functional Higher-Order Logic
Position after study: PhD-study at University of Barcelona, Spain

Prildy
Master Thesis: A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows
Position after study: Job in software industry in Jarkarta, Indonesia

Firdaus Ismail Sholeh
Master Thesis: Constraint Programming-based Refinement of Multiple Sequence Alignments
Position after study: job at Accenture, Indonesia

Emmanouil Thanos
Master Thesis: A Constrained Multi-Start Approach to the Drivers Daily Activities Problem with Depot Discontinuity
Position after study: PhD study at KU Leuven, Belgium

Thanh Hai Tran
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria, Austria


Academic Year 2014/2015

Asma Afeefi
Master Thesis: Navigation Approaches for Answer Sets
Position after study: Instructor at An-Najah National University, Palestine

Alina Aleksandrova
Master Thesis: Engineering Data-Aware Commitment-Based Multiagent Systems

Ximena Isabel Kumi Juarez Castro
Master Thesis: A Case Study on Intelligent Data Querying
Position after study: Research assistant at unibz, Italy

Radityo Eko Prasojo
Master Thesis: Entity and Aspect Extraction for Organizing News Comments
Position after study: PhD-study at Free University of Bozen-Bolzano

Adrian Rebola-Pardo
Master Thesis: Unsatisfiability Proofs in SAT Solving with Parity Reasoning
Position after study: Research assistant at TUW, Austria

Alifah Syamsiyah
Master Thesis: Ontology-Driven Extraction of Event Logs from Relational Databases
Position after study: PhD student at Eindhoven University of Technology, Netherlands


Academic Year 2013/2014

Andreas Fellner
Master Thesis: Space and Congruence Compression of Proofs
Position after study: PhD study at IST Austria

Adrian Haret
Master Thesis: Merging in the Horn Fragment
Position after study: PhD student at TUW, Austria

Amr Hany Shehata Saleh
Master Thesis: Constraint Reasoning with Local Search for Continuous Optimization
Position after study: PhD at KU Leuven, Belgium

Alina Petrova
Master Thesis: Learning Formal Definitions for Biomedical Concepts
Position after study: Research assistant in the BIOTEC TU Dresden, Germany

Paula-Andra Busoniu
Master Thesis: On Supporting the Development of Answer-Set Programs using Model-Driven Engineering Techniques

Itzel Vázquez Sandoval
Master Thesis: Automated Reasoning Support for Process Models using Action Languages

Ferdian Jovan
Master Thesis: Planning Problems in Petri Nets and Fluent Calculus
Position after study: PhD study at School of Computer Science, University of Birmingham, UK

Enrique Matos Alfonso
Master Thesis: Increasing the Robustness of SAT Solving with Machine Learning Techniques
Position after study: PhD study at the Technical University of Athens, Greece

Martin Diller
Master Thesis: Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas
Position after study: PhD study at TUW, Austria

Andrey Rivkin
Master Thesis: Formal Verification of Data-Aware Business Processes Based on Petri Nets
Position after study: Research work at unibz, Italy

Peter Skocovsky
Master Thesis: Realisation of Stepping for Real-World ASP Languages
Position after study: Java programmer at RUPEAL, Portugal

Nina Solomakhina
Master Thesis: Combining Ontologies and Statistics for Sensor Data Quality Improvement
Position after study: PhD study at Siemens AG, Munich, Germany

Sergejs Pugacs
Master Thesis: A Clustering Approach for Vehicle Routing Problems with Hard Time Windows
Position after study: PhD at unibz, Italy

Oleksandr Stashuk
Master Thesis: Integrating Constraint Programming into Answer Set Programming
Position after study: Software Engineer at Facebook, Menlo Park, USA

Ilina Stoilkovska
Master Thesis: XML Data Integration
Position after study: Research job at TUW, Austria

Tobias Kaminski
Master Thesis: Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web
Position after study: PhD at TUW, Austria


Academic Year 2012/2013

Martin Alexandrov
Master Thesis: Heuristics and Policies for Online Pickup and Delivery Problems
Position after study: Job at NOVA, research group

Timea Bagosi
Master Thesis: Query Answering in the Description Logic ELH
Position after study: Job at unibz, research group

Fariz Darari
Master Thesis: Completeness Reasoning for Linked Data Queries
Position after study: PhD study at unibz

Ronald de Haan
Master Thesis: Description Logic Based Reasoning on Programming Languages
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)

Oliver Fernandez Gil
Master Thesis: Hybrid Unication in the Description Logic EL
Position after study: PhD student at Universität Leipzig

Bishoksan Kafle
Master Thesis: Modeling Assembly Program with Constraints - A Contribution to WCET Problem
Position after study: PhD student at Roskilde University, Denmark

Davide Lanti
Master Thesis: Sharing Information in Parallel Search with Search Space Partitioning
Position after study: PhD position at unibz

Sergey Paramonov
Master Thesis: A Logic Programming Approach to Query Completeness
Position after study: PhD at KU Leuven

Ana Pavlišič
Master Thesis: Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions

Gil Vegliach
Master Thesis: Monitoring of Data-Centric Business Rules and Processes
Position after study: Android Software Developer at Cortado AG in Berlin, Germany


Academic Year 2011/2012

Erman Acar
Master Thesis: Models of Hypercomputation

Ronell Alberts
Master Thesis: An Integrated Method Using Conceptual Modelling to Generate an Ontology-Based Query Mechanism

Tewodros Awgichew Beyene
Master Thesis: Constraint-based Verification of Imperative Programs
Position after study: PhD student at the Technical University of Munich

Marco Gario
Master Thesis: Backdoors for SAT
Position after study: PhD at Fondazione Bruno Kessler FBK University of Trento in Italy

Artem Konev
Master Thesis: Reasoning with RDF(S) and F-logic

Zakka Fauzan Muhammad
Master Thesis: Query Evaluation of Tractable Answering Using Query Answering
Position after study: Software Developer at Dwango Inc., Japan

Premchand Nutakki
Master Thesis: Specializing Conjunctive Queries in the EL-family for Better Comprehension of Result Sets
Position after study: Job as a Developer at SAP AG in Walldorf, Baden

Ario Santoso
Master Thesis: Automated Service Synthesis in a Weighted Framework
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)

Ognjen Savkovic
Master Thesis: Managing Datatypes in Ontology-Based Data Access
Position after study: PhD position at unibz, KRDB research group

Tatiana Tarasova
Master Thesis: Publishing Linked Data: The Pordata Use Case
Position after study: PhD position at the University of Amsterdam, ILPS group

Thanh Hai Tran
Master Thesis: User-guided predicate abstraction of TLA+ specification
Position after study: PhD-study at TUW, Austria, Austria


Academic Year 2010/2011

Seif El-Din Bairakdar
Master Thesis: Local Opimization for Multi-Context Systems with Constraint Pushing

David Buezas
Master Thesis: Constraint-based Modeling of Minimum Set Covering: Application to Species Differentation
Position after study: Employed in software development, Germany

Domenico Carbotta
Master Thesis: A Practical Automata-Based Technique For Reasoning In Expressive Decription Logics
Position after study: Software Engineer at Google Zürich

Alvaro Fernandes Diaz
Master Thesis: Static Partial Order Reductions for Probabilistic Systems
Position after study: PhD student at Universidad Politécnica de Madrid

Eldora
Master Thesis: Correcting Access Restrictions: a Range-based Approach
Position after study: PhD student at TUD

Muhammad Faheem
Master Thesis: Implementation of Semantic Desktop Tool
Position after study: PhD at Telecom ParisTech

Sudeep Ghimire
Master Thesis: Reasoning with Text Annotations
Position after study: PhD student at FCT, New University of Lisbon

Luciano M. Guasco
Master Thesis: Multiple Sequence Alignment Correction using Constraints
Position after study: Job at VI-Clone Corporation in Barcelona

Umer Liqat
Master Thesis: Slicing Probabilistic and Reactive Systems for Model Reduction
Position after study: Research internship at IMDEA in Madrid, later PhD in same research institute

Jing Wei Lu
Master Thesis: Extending Fuzzy Logic with Characteristics Similarity and Quantifications

Natalia Macari
Master Thesis: Analysis of a Machine Learning and Corpus as a Tool for Managing the Ambiguity Problem of Search Engines

Norbert Manthey
Master Thesis: Improving SAT Solvers using State-Of-The-Art Techniques
Position after study: PhD study at TUD

Julian Alfredo Mendez
Master Thesis: A Classification Algorithm For ELHIfR+
Position after study: PhD student at TUD

Nikoloz Pkhakadze
Master Thesis: Quantifier Elimination in Quantified Propositional Lukasievicz Logic
Position after study: Master in Economics

Evgeny Sherkhonov
Master Thesis: Reaching Definability via Abduction
Position after study: PhD student and job at the University of Amsterdam in the Netherlands

Dmitry Solomakhin
Master Thesis: Logical Formalization of Semantic Business Vocabulary and Rules
Position after study: PhD position at unibz, KRDB research group

Giorgio Stefanoni
Master Thesis: Explaining Query Answers in Lightweight Ontologies: The DL-Lite Case
Position after study: PhD student at University of Oxford

Oana Tifrea
Master Thesis: Symmetry-breaking Answer Set Solving
Position after study: Project collaborator at unibz

Tri Kurniawan Wijaya
Master Thesis: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs
Position after study: PhD student at École polytechnique fédérale de Lausanne (EPFL)


Academic Year 2009/2010

Luthfi Darmawan
Master Thesis: Evaluating LTL Satisfiability Solvers
Position after study: Teacher Indonesia

Christian Drescher
Master Thesis: Symmetry Breaking for Answer Set Programming
Position after study: PhD student at NICTA and University of New South Wales Sydney

Clemens Dubslaff
Master Thesis: Fault-tolerant Message Sequence Charts
Position after study: PhD study at TUD

Mahfuza Farooque
Master Thesis: A Study on Satisfiability in Fuzzy Description Logics
Position after study: PhD study at Ecole Polytechnique France

Sana Fraz
Master Thesis: Hybrid Reasoning with Simple Conceptual Logic Programs
Position after study: PhD study at Friedrich-Alexander University of Erlangen in Nuremberg

Waheed Aslam Ghumman
Master Thesis: A* n Best Hyperpaths in Haskell

Yazmin Angelica Ibanez Garcia
Master Thesis: Complexity Boundaries for Full Satisfiability of Restricted UML Class Diagrams
Position after study: PhD study at unibz

Ruben Monjaraz Hernandez Imbert
Master Thesis: From the Pi-Calculus to Flat GHC

Nhung Thi Phuong Ngo
Master Thesis: Techniques for Query Rewriting Based on Interpolation
Position after study: Teaching assistant in PTIT Vietnam

Thanh Binh Nguyen
Master Thesis: Unification in Description Logic EL Without Top Constructor
Position after study: PhD at Institute of Information Security, Swiss Federal Institute of Technology Zurich, Switzerland

Trung Kien Nguyen
Master Thesis: Modular Answer Set Programming for General Game Playing

Victor Pablos Ceruelo
Master Thesis: Negative Non-Ground Queries in Well Founded Semantics
Position after study: PhD study at UPM

Anna Roubickova
Master Thesis: Complexity of Argumentation
Position after study: PhD study at unibz

Mohamad Fauzan Tahwil
Master Thesis: An AntiPattern-Based OWL Ontology Debugging Tool
Position after study: Internship at NEC Spain

Martins Zalcmanis
Master Thesis: Efficient Evaluation of Conjunctive Queries

Dmitry Zheleznyakov
Master Thesis: Updating Description Logics Knowledge Bases
Position after study: PhD study at unibz


Academic Year 2008/2009

Mohammad Sadnan Al-Manir
Master Thesis: Toward RIF-OWL Combination: An Effective Reasoning Technique in Integreating OWL and Negotiation-free Rules
Position after study: Teacher Bangladesh

Ekaterina Andrianova

Han The Anh
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Position after study: PhD study at NOVA

Patrick Bahr
Master Thesis: Infinitary Rewriting - Theory and Applications
Position after study: PhD study at University of Copenhagen

Mito Belopeta
Master Thesis: Answer Set Programming for MultiagentResource Allocation
Position after study: Teaching assistant at European University Macedonia

Alexander Benevolenskiy
Master Thesis: Extending an Ontology by Extraction Concept from Wikipedia
Position after study: Research staff member at TUD

Melisachew Wudage Chekol
Position after study: PhD study at INRIA France

Tsvetan Dunchev
Master Thesis: Simplification of Herbrand Sequents
Position after study: PhD study at TUW

Frederico Thomaz de Aquir Franzosi
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Position after study: Judiciary Technician in Informatics Brazil

Joao Manuel Gomes Moura
Position after study: PhD study at NOVA

Paolo Guagliardo
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Position after study: PhD study at unibz

Daniel Guimaraes Santos
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Position after study: Project manager at Marca Ambiental Ltda. Brazil

Jean Jung
Master Thesis: Value Orderings Based on Solution Counting
Position after study: PhD study at Bremen University

Carroline Dewi Puspa Kencana Ramli
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Position after study: Teaching assistant at University of Indonesia

Vikash Kumar
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Position after study: PhD study at Telecommunications Software & Systems Group Ireland

Ilham Winata Kurnia
Master Thesis: Model Checking with Fairness for Reo
Position after study: Phd study at University Kaiserslautern Germany

Ekaterina Lebedeva
Position after study: PhD study at INRIA France

Tomer Libal
Master Thesis: Cut Elimination in Inductive Proofs of Weakly Quantified Theorems
Position after study: PhD study at TUW

Md. Abu Naser Masud
Master Thesis: Minimization Methods for Exogenous Coordination Models
Position after study: PhD study at UPM

Yu Miao
Position after study: Job at Sun Microsystems China

Mushthofa Mushthofa
Master Thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities
Position after study: teacher at the Institut Pertanian Bogor Indonesia

Narumol Prangnawarat
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Position after study: Job at IT department of ExxonMobil company Thailand

Freddy Priyatna
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Position after study: PhD study at UPM

Luca Quaglia
Master Thesis: Evolving Electronic Institutions
Position after study: Job at IBM company in Italy

Mohammad Aminur Rashid
Master Thesis: Diagrammatic Representation of OWL Ontologies
Position after study: Job as analyst programmer at Pontedera in Italy

Mikheil Rukhaia
Master Thesis: CERES and Fast Cut-Elimination
Position after study: PhD study at TUW

Ksenia Rybenko
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Position after study: member of research staff at TUD

Gokarna Prasad Sharma
Master Thesis: Finding Patterns in Semantic Graph Formalism
Position after study: PhD study at Louisiana State University USA

Armin Troy
Master Thesis: Hybrid Logic in the Calculus of Structures

Jigneshkumar Viradia
Master Thesis: Reasoning with Boolean ABoxes

Quoc Huy Vu
Master Thesis: Subsumption in the Description Logic ELHI f R+ w.r.t. General TBoxes
Position after study: PhD study at University of Oxford

Dengji Zhao
Master Thesis: Decomposition of Multi-Player Games
Position after study: PhD study at University of Toulouse and University of Western Sidney


Academic Year 2007/2008

Raonne Barbosa Vargas
Position after study: PhD study at Yale University USA

Ismael Everardo Barcenas Patino
Master Thesis: A Proof Theory of Interpolation
Position after study: PhD study at INRIA Rhone-Alpes France

Minh Dao Tran
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Position after study: PhD study at TUW

Yansen Darmaputra
Master Thesis: An Application of Heuristic Route Search Techniques for a Scalable Flight Search System
Position after study: job at Bank of Tokyo-Mitsubishi UFJ Indonesia

Atif Iqbal
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Position after study: job at Canon Inc. Germany

Arsen Kostenko
Master Thesis: Calculating End Game Databases for General Game Playing
Position after study: Job at SciWorth company Ukraine

Mei Sin Lee
Master Thesis: Data Mining on Empty Result Queries
Position after study: Job at Shell Malaysia

Valentin Mayer-Eichberger
Master Thesis: Towards Solving a System of Pseudo Boolean Constraints with Binary Decision Diagrams
Position after study: job in Information Technology branch Germany

Novak Novakovic
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Position after study: PhD study in Nancy France

Emmanouil Paissios
Position after study: job at Leibnitz Supercomputing Centre Germany

Vadim Savenkov
Position after study: Job at TUW

Marija Slavkovik
Master Thesis: Deep Analysis for an Interactive Question Answering System
Position after study: PhD study at University of Luxembourg

Hannes Strass
Master Thesis: Fuzzy Reasoning via Logic Programming
Position after study: PhD study at TUD


Academic Year 2006/2007

Thu Trang Doan
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Position after study: PhD study at University of Nottingham

Szilvia Halasz
Master Thesis: Optimizing Perfect Rewriting in DL-Lite

Ren Jieyun
Master Thesis: Animated Hand Gestures for Italian Sign Language
Position after study: Product & Information Manager Derusum.Com B2B Website Co. Ltd China

Evgeny Kharlamov
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Position after study: PhD study at unibz

Yixian Liu
Master Thesis: Querying XML Data Using Description Logics
Position after study: Lecturer at Northeastern University China

Lina Lubyte
Master Thesis: Extracting and Materializing the Conceptual Schema from a Relational Database
Position after study: PhD study at unibz

Martin Meraner
Position after study: Job at EURAC Research Center Italy

Hoang Nga Nguyen
Master Thesis: A Fuzzy Description Logic with Modifiers
Position after study: PhD study at University of Nottingham

Rocio Santillan Rodriguez
Master Thesis: New Upper Bounds for the SAT/UNSAT Threshold for Shape
Position after study: PhD study at Aarhus University Denmark

Gaston Tagni
Position after study: PhD study at VU Amsterdam Netherlands

Bruno Woltzenlogel Paleo
Master Thesis: Herbrand Sequent Extraction
Position after study: PhD study at TUW


Academic Year 2005/2006

Luciana Benotti
Position after study: PhD study at INRIA France

Stefano David
Master Thesis: Defining a Benchmark Suite for Evaluating the Import of OWL Lite Ontologies
Position after study: PhD study in Ancona Italy

Matthias Knorr
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Position after study: PhD study at NOVA

Vivek Nigam
Master Thesis: Dynamic Logic Programming and 3 APL
Position after study: Postdoctorate Research at Ludwig-Maximilians-University Germany

Maria Magdalena Ortiz de la Fuente
Position after study: PhD study at TUW

Mantas Simkus
Position after study: PhD study at TUW

Evaldas Taroza
Master Thesis: Schema Matching and Automatic Web Data Extraction
Position after study: Working for Deutsche Bank in Brussels

Wiratna Sari Wiguna
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer
Position after study: Job at IBM Indonesia