Giáo sư sáng lập Hội Tin học Việt Nam qua đời