Phan Đình Diệu ; Phát triển ; Việt Nam Việt Nam Nhà khoa học Công nghệ thông tin
Issue Date:
2011
Publisher:
ĐHQG
Citation:
tr. 141-147
Abstract:
"Sinh ngày: 12.6.1936 . Quê quán: Can Lộc, tỉnh Hà Tình. Nơi ở hiện nay: Số 26, ngõ 260, Đội Cấn, Ba Đinh, Hà Nội . Công việc hiện nay: Giảng dạy tại Trường Đại học Công nghệ, ĐHQGHN. Quá trình công tác: 1957 - 1962: Công tác tại Trường Đại học Sư phạm Hà Nội . 1962 - 1967: Nghiên cứu sinh tại Khoa Toán - Cơ, ĐHTH Lômônôxốp, Liên Xô. Từ 1967: Công tác tại Uỷ ban Khoa học Kỹ thuật Nhà nước. 1972: Chủ nhiệm Bộ môn Logic và Automat của Viện Toán học, cùng thuộc Uỷ ban Khoa học và Kỹ thuật Nhà nước. 1977 - 1985: Viện trưởng Viện Khoa học Tính toán và Điều khiển thuộc Viện Khoa học Việt Nam. 1977 - 1993: Phó Viện trưởng Viện Khoa học Việt Nam. 1994 - 1997: Phó trưởng ban thường trực Ban chỉ đạo Chương trình quốc gia về Công nghệ Thông tin. 1997 đến nay: Công tác tại Trường Đại học Công nghệ -ĐHQGHN . Được nhận học vị Tiến sĩ khoa học năm 1967. Được phong học hàm Giáo sư năm 1980.
Hướng nghiên cứu khoa học chủ yếu: Logic toán và Cơ sở toán học. Toán học kiến thiết: Giải tích và Giải tích hàm kiến thiết. Ngôn ngữ hình thức và độ phức tạp ngôn ngữ. Automat xác suất và ngôn ngữ ngẫu nhiên.. . Các kết quả nghiên cứu khoa học chủ yếu: Đã công bố khoảng 50 công trình khoa học trên tạp chí nước ngoài.
"
