Current PhD projects at SofSys