Permanent Staff

Daniela Zaharie
Evolutionary computing; Nature-inspired metaheuristics; Machine learning; Data mining

Eva Kaslik
Differential equations with fractional order; Delayed differential equations; Neural networks dynamics; Mathematical models in biology;

Mădălina Erașcu
Distributed (Cloud) Computing, Formal Verification, Automated Theorem Proving, Symbolic Computation (Computer Algebra)

Mircea Marin
Declarative programming; Automated reasoning; Formal languages; Computer Algebra; Multiagent systems