Carlos Olarte
Associate Professor
Sorbonne Université
France
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Mathematical Logic
40%
Algebra
10%
Logic Programming
40%
Verification Engineering
20%
Formal Methods
20%
Meta-heuristic Algorithms
10%
Symbolic Computation
10%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Articles6
Collaborators5
MAURIZIO GABBRIELLI
Professor
University of Bologna
ITALY
Wojciech Penczek
Professor
-
POLAND
Elaine Pimentel
Associate Professor
University College London
UNITED KINGDOM
Teofil Sidoruk
Institute of Computer Science, Polish Academy of Sciences
POLAND
Moreno FALASCHI
Professor
University of Siena
ITALY
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI