GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:start

This is an old revision of the document!


GEIST Research Projects

The group has been involved in number of research projects.

Current projects

Completed projects

Past projects

The members of the group were involved in several projects. Selected projects include:

Adder

ID: KBN 4 T11C 035 2
Timeline: 2005→2006
Leader: Tomasz Szmuc
Principal investigators from GEIST: Marcin Szpyrka, Antoni Ligęza, Grzegorz J. Nalepa
Objective: research on formal methods in design of correct real-time and embedded systems, including rule-based systems
GEIST members' contribution: methods and tools for design and analysis of rule-based security systems
Adder webpage: home.agh.edu.pl/~adder

Mirella

ID: KBN 4 T11C 027 24
Timeline: 2003→2004
Scientific adviser: Antoni Ligęza
Principal investigator: Grzegorz J. Nalepa
Objective: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool, preparation of a PhD thesis: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems
Mirella webpage: mirella.ia.agh.edu.pl

Regulus

ID: KBN 8 T11C 019 17
Timeline: 1999→2001
Leader: Antoni Ligęza
Principal investigators from GEIST: Antoni Ligęza, Grzegorz J. Nalepa
Objective: development of formal methods for knowledge representation and engineering in artificial intelligence
Regulus webpage: regulus.ia.agh.edu.pl

pub/projects/start.1357391078.txt.gz · Last modified: 2013/01/05 13:04 by gjn

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki