Văn bằng chứng chỉ

Cử nhân Toán học, Khoa Toán, Trường ĐHSP Hà Nội 2, 1993.

Thạc sỹ CNTT, Khoa Công nghệ Thông tin - ĐHQG Hà Nội, 1999.

Tiến sỹ CNTT, Viện CNTT, 2011.
 

Quá trình công tác

Thời gian	Nơi công tác	Công việc đảm nhiệm
1994 - 2004	Bộ môn Tin học, trường ĐHSP Hà Nội 2.	Cán bộ giảng dạy.
2005 - 2007	Khoa CNTT, trường ĐHSP Hà Nội 2.	P.Trưởng khoa.
2007 – 2011	TT Tin học & TBKT, trường ĐHSP Hà Nội 2.	Giám đốc Trung tâm.
2012 - đến nay	Ban giám hiệu trường ĐHSP Hà Nội 2	P. Hiệu trưởng

Quá trình đào tạo

Đại học: 
Hệ đào tạo:    Chính qui.
Thời gian đào tạo: từ  1989 đến 1993
Nơi đào tạo:  Trường ĐHSP Hà Nội 2.
Ngành học:    Toán học.      
Nước đào tạo:  Việt Nam                                         Năm tốt nghiệp: 1993

Sau đại học
Thạc sĩ chuyên ngành:  Công nghệ Thông tin     
Thời gian đào tạo từ năm 1997 đến năm 1999.                     Năm cấp bằng: 2001
Nơi đào tạo:  Đại học Quốc Gia Hà Nội.

Tiến sĩ chuyên ngành:   Bảo đảm toán học cho máy tính và hệ thống tính toán.    
Thời gian đào tạo từ năm 2006 đến năm 2010                     Năm cấp bằng: 2011
Nơi đào tạo: Viện Công nghệ Thông tin
Tên luận án:       Một số phụ thuộc dữ liệu trong cơ sở dữ liệu dạng khối.
 

Sách / Bài báo xuất bản

[1] Đào Thái Lai, Trịnh Đình Thắng, Trịnh Đình Vinh, Chu Vĩnh Quyên,  Phương tiện kĩ thuật dạy học và ứng dụng công nghệ thông tin trong dạy học ở tiểu học, tập 1, NXB Giáo dục, 2006.

[2] Đào Thái Lai, Trịnh Đình Thắng, Trịnh Đình Vinh, Chu Vĩnh Quyên, Phương tiện kĩ thuật dạy học và ứng dụng công nghệ thông tin trong dạy học ở tiểu học, tập 2, NXB Giáo dục, 2006.

[3] Trịnh Đình Thắng, Trịnh Đình Vinh (2008), “ Phụ thuộc đa trị trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông, Huế , 12-13/06/2008, tr. 321-328.

[4] Vũ Đức Thi - Trịnh Đình Vinh (2009), “ Phụ thuộc đa trị xấp xỉ trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội    thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông, Biên Hoà , 05-06/08/2009, tr. 341-350.

[5] Vũ Đức Thi - Trịnh Đình Vinh (2009), “ Phụ thuộc hàm xấp xỉ  và bao đóng xấp xỉ  mức ỏ trong mô hình dữ liệu dạng khối”, Tạp chí khoa học Journal of Science, trường ĐHSP Hà Nội 2, số 8 năm 2009, tr. 127-133.

[6] Vũ Đức Thi - Trịnh Đình Vinh (2010), “ Một số kết quả về phụ thuộc đa trị trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông,  Hưng Yên, 19-20/08/2010.

[7] Vũ Đức Thi - Trịnh Đình Vinh (2010), “ ỏ-Phụ thuộc hàm và ỏ-Bao đóng trong mô hình cơ sở dữ liệu dạng khối”, Tạp chí Tin học và Điều khiển học, 26(2), tr. 131-139.

[8] Trịnh Đình Vinh (2010), “ Phủ của tập phụ thuộc hàm và vấn đề tựa chuẩn hoá trong mô hình dữ liệu dạng khối”, Tạp chí Tin học và Điều khiển học, 26(4), tr. 312-320.

[9] Vũ Đức Thi - Trịnh Đình Vinh (2010), “ Một số kết quả về phủ của tập phụ thuộc hàm trong mô hình dữ liệu dạng khối”, Tạp chí Tin học và Điều khiển học.

Báo cáo tại các hội thảo

1) Đỗ Đức Giáo,Trịnh Đình Vình, "Thuật toán phân rã lớp thông tin có cấu trúc dạng cây tam nguyên n chiều với thông tin chứa ở lá trên tập khoá vô hạn", Kỷ yếu Hội thảo khoa học quốc gia lần thứ nhất (FAIR)  Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin, 2003

2) Trịnh Đình Thắng, Trịnh Đình Vinh, “ Phụ thuộc đa trị trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông, Huế , 12-13/06/2008.

3) Vũ Đức Thi - Trịnh Đình Vinh, “ Phụ thuộc đa trị xấp xỉ trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội    thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông, Biên Hoà , 05-06/08/2009.

4) Vũ Đức Thi - Trịnh Đình Vinh, “ Một số kết quả về bao đóng xấp xỉ  mức trong mô hình dữ liệu dạng khối”, Kỷ yếu Hội thảo Quốc gia Một số vấn đề chọn lọc của CNTT và Truyền thông, Hưng Yên, 19-20/08/2010.
 

Các môn giảng dạy

Nguyên lí hệ điều hành, Lập trình hướng đối tượng, Toán rời rạc, Cấu trúc dữ liệu và giải thuật, Nhập môn Cơ sở dữ liệu, Cơ sở dữ liệu quan hệ, Cơ sở dữ liệu phân tán, Phân tích và Thiết kế các hệ thống thông tin.