معرفی
Miki Hermann is a CNRS Researcher at the Laboratory of Computer Science (LIX) at École Polytechnique, France. He is affiliated with the Algorithms and Complexity research group and maintains an active research program in theoretical computer science and computational logic.
His research interests span computational complexity, constraint satisfaction problems, satisfiability, and logic in computer science. Hermann's work focuses on the theoretical foundations of computational problems, particularly examining complexity classifications, counting problems, and algorithmic solutions for logical and combinatorial structures. His research bridges theoretical computer science with practical applications in artificial intelligence and data analysis.
The analysis of his recent publications reveals a consistent focus on computational complexity across various logical frameworks. His work demonstrates expertise in classifying the complexity of constraint satisfaction problems, propositional logic systems, and graph-theoretic problems. Notable research directions include minimal inference problems, counting complexity, and applications of satisfiability to big data transformation through his MCP project.
Hermann is part of the Algorithms and Complexity research group at LIX (CNRS, UMR 7161), where he contributes to theoretical computer science research. He has developed significant software projects including MCP (Multi-Classification Project) for transforming datasets into propositional formulas and GYT (Generalized Young Tableaux) for solving variadic polynomial equations over non-negative integers.
