Viorica Sofronie-Stokkermans: Research Interests:

Automated theorem proving (in classical and non-classical logic)

Combinations of decision procedures

Representation theorems in universal algebra

Sheaf theory and applications in algebra and modeling concurrency

Mathematical models for concurrency

Logic with applications to problem-solving and knowledge representation

Computer algebra