Vladimir Nikolaevich Krupsky
Associate Professor
Chair of Mathematical Logic and Theory of Algorithms
Moscow State University
Russian Federation
Biography
Dr. Vladimir Nikolaevich Krupsky is affiliated to Chair of Mathematical Logic and Theory of Algorithms, Moscow State University. Dr. Vladimir Nikolaevich Krupsky is currently providing services as Chair of Mathematical Logic and Theory of Algorithms. Dr. Vladimir Nikolaevich Krupsky has authored and co-authored multiple peer-reviewed scientific papers and presented works at many national and International conferences. Dr. Vladimir Nikolaevich Krupsky contributions have acclaimed recognition from honourable subject experts around the world. Dr. Vladimir Nikolaevich Krupsky is actively associated with different societies and academies. Dr. Vladimir Nikolaevich Krupsky academic career is decorated with several reputed awards and funding. Dr. Vladimir Nikolaevich Krupsky research interests include computer logic, theoretical informatics, proof theory, complexity theory.
Research Interest
computer logic, theoretical informatics, proof theory, complexity theory
