Marek Karpiński (informatyk i matematyk)