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