Homepage

Evgeny Kruglov

Email: Get my email address via email
Phone: +49 681 9325 2915
Fax: +49 681 9325 2999

Reviewer, 9th International Workshop on Satisfiability Modulo Theories, SMT, 2011
Reviewer, Journal of Automated Reasoning, JAR, 2010
Reviewer, 22nd International Conference on Automated Deduction, CADE-22, 2009

Fietzke A., Kruglov E., Weidenbach C., Automatic Generation of Inductive Invariants by SUP(LA), LPAR 2012: The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Accepted.
Kruglov E., Weidenbach C., SUP(T) Decides First-Order Logic Fragment Over Ground Theories, In S. Ratschan, ed., Proceedings of the Fourth International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2011, pp. 126-148.
Eggers A., Kruglov E., Kupferschmid S., Scheibler K., Teige T., Weidenbach C., SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic, In C. Tinelli, V. Sofronie-Stokkermans, eds., Frontiers of Combining Systems, 8th International Symposium, 2011, LNAI 6989, pp. 119-134, Springer-Verlag.
Eggers A., Kruglov E., Kupferschmid S., Scheibler K., Teige T., Weidenbach C., SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic, AVACS Technical Report No. 80, August 2011. Editors: Board of SFB/TR 14 AVACS.
Althaus E., Kruglov E., Weidenbach C., Superposition Modulo Linear Arithmetic SUP(LA), AVACS Technical Report No. 53, December 2009. Editors: Board of SFB/TR 14 AVACS.
Althaus E., Kruglov E., Weidenbach C., Superposition Modulo Linear Arithmetic SUP(LA), In S. Ghilardi, R. Sebastiani, eds., Frontiers of Combining Systems, 7th International Symposium, 2009, LNAI 5749, pp. 84-99, Springer-Verlag.

Mar. 2008 - present:
Researcher at the Automation of Logic group at the Max Planck Institute for Computer Science.
Oct. 2005 - Mar. 2008:
Research assistant at the Automation of Logic group at the Max Planck Institute for Computer Science .
Oct. 2004 - Oct. 2005:
Research assistant at the Fraunhofer Institute for Non-Destructive Testing.

Mar. 2008 - present
Ph.D. student in Computer Science at the Universität des Saarlandes, Max-Planck-Institut für Informatik, and International Max Planck Research School for Computer Science (IMPRS-CS), Saarbrücken, Germany
Oct. 2004 - Feb. 2008:
Master student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
Title of Master Thesis: Superposition Modulo Linear Arithmetic
Sept. 2000 - Oct. 2005:
student in Software Engineering at the Khabarovsk State University of Technology, Khabarovsk, Russia
Title of Diploma Thesis: Near-Field Microwave Microscope
Sept. 1990 - June 2000
studied at the Khabarovsk Municipal General School 47, Khabarovsk, Russia