Hi, I'm Aliaksei Kachanovich, I'm particle physisist. I obtained my PhD at KIT, Karlsruhe . I'm interested in automated calculations and outside of physics in computer logic.