Theses

You can find some theses-related materials below.

Requirements

Unfortunately I am a bit overwhelmed with work in general. If you want me to supervise a thesis, you must fulfill these requirements in order to finish the thesis successfully (these are only soft constraints, but requires a lot of extra effort to replace any of them):

List of theses I was involved in (more or less)

Currently (Co-)Supervising

List of theses I am currently working on.

Available research topics

You can find a list of topics below I find interesting enough to spare my (oterwise non-existent) time on supervising it ☺

Design by Contract paradigm for an agent-based DSL

Functional Agent-Based Language for Simulations (http://fables.aitia.ai, http://mass.aitia.ai/fables) is a domain-specific programming launguage and its integrated environment developed by AITIA International, Inc., specially designed for creating agent-based simulations. It requires minimal programming skills, as its formalism is similar to the mathematical formalism used in publications in the subject.

The language mixes object-oriented, functional and imperative paradigmes to achive this goal. The task is to evaluate how Design by Contract paradigms may be introduced in the language and implement a prototype extension.

Tool for automatically converting Repast Simphony models to participatory simulations

Repast Simphony is one of the most popular frameworks for creating agent-based simulations. The task is to create a tool that users may easily use to create participatory simulations from a specific set of models automatically.

Implementation details may vary from either creating a simple Maven/Jetty/GWT application or using a roboust framework like the Participatory Extension (PET, http://pet.aitia.ai).

SciML - Scientific Markup Language

Markup languages like Markdown provide a lightweight and painless solution for writing documentations. Additionally, they implicitly support collaborated work through varios version controlling software, since the document basically plain-text instead of a binary format.

Unfortunately, they are not capable of writing supporting scientific papers due to several limitations: cross-references, lack of bibliographic references, tables, and so on. LaTeX is a great alternative, but its syntax is getting old and cumbersome.

The task is about to create a simple to use custom markup language (or to extend an existing one) to provide a nice framework for writing scientific publications. To dog-feed the project, the thesis should be also written in this language.

Fables 2.0

Functional Agent-Based Language for Simulations (http://fables.aitia.ai, http://mass.aitia.ai/fables) is a domain-specific programming launguage and its integrated environment developed by AITIA International, Inc., specially designed for creating agent-based simulations. It requires minimal programming skills, as its formalism is similar to the mathematical formalism used in publications in the subject.

The language mixes object-oriented, functional and imperative paradigmes to achive this goal. The task is to create an either external or preferably an internal DSL in Scala that supports all features of Fables.

Laszló Gulyás' research topics

You can also find a set of (almost up-to-date) available research topics of my supervisor, László Gulyás. Don't know him? Try listening his courses like Simulation of Social Systems 1, Simulation of Social Systems 2 or In The World of Networks.

Distributed ABM

We manage a Software Technology Lab where we have quite a lot of interesting research topics available about distributing agent-based simulations.

For the details, please visit our website at http://distributedabm.elte.hu/.