Senior researcher (chargée de recherche) at INRIA
CARTE project
LORIA & INRIA Nancy - Grand Est
Postal Address
LORIA
Batiment B
Technopôle de Nancy Brabois - Campus Scientifique
615, rue du Jardin Botanique
BP-101
54602 Villers-lès-Nancy
France
Telephone
Direct: (33) 03 54 95 84 21
Facsimile: (33) 03 54 95 84 01
E-mail: Isabelle.Gnaedig@loria.fr
Research interests
- Automated Deduction
equational logic,
rewrite systems and applications
- Programming languages
algebraic and logic programming,
rule based programming,
functional programming
- Formal specifications
algebraic specifications,
rewriting logic
- Verification and proofs on rule-based programs
termination, confluence, completeness...
- Hot topics
- induction based proofs of program properties
- termination under strategies
- weak properties, probabilistic rewriting
- and...
Adversary computations:
A network routing computation
has to consider the economic importance of each independent system. An
antivirus has to determine the intentions of a program (potentially hostile) to
do its task correctly. A program is asked to perform well, even if
good classical properties are not ensured. One of our main objectives
is to take into account adversity, as a veritable full-fledged
component, linked to actors of a computation, whose behavior is unknown or
unclear. We call this notion adversary computation.
This is the resarch theme of the Loria project
CARTE.
Founding text of CARTE
Some projects
- CARIBOO: A termination proof tool
for rewriting-based programming languages with strategies
- Modulogic:
Building of an integrated toolbox for asserted software
ACI-SI Project of the
french Research Ministry (2003-2007)
- Toundra:
Building of an integrated environment for proof and verification of
rule-based programs
Project of the PRST-IL theme on Quality and Safety of Software (2003-2005)
Publications
Teaching
- Coordinator of the module "Design of Safe Software"
:
ESIAL Engineering school
- Supervised pratical works of this module on
rule-based programming
Some links related to my work
Visitor counter: +3.14158