Mathematician and Logician by education, he is now working for Fujitsu Research Labs on Machine Learning and Open Source. His core interests are mathematical logic, computer science, machine learning, AI, security, software verification and specification.
KDE and the Plasma Desktop provide one of the premier desktop environments for the Linux desktop. We report on the state of KDE/Plasma in Debian, which has considerably improved over the last year, and now provides the most uptodate packages of the KDE frameworks, the Plasma desktop, and the KDE Gears selection of programs.
On the personal side, we will report shortly on our journey from Gnome to Cinnamon and finally KDE/Plasma, which gives interesting insights into a wide range of desktop environments.