学术团队
学术团队

刘志红   副教授

1967 年 11 月出生,副教授,毕业于北京大学。

   研究方向

• 嵌入式系统研究

• 电子设计自动化 (EDA) 及 VHDL/Verilog 语言

• 大规模 ASIC/FPGA/CPLD 芯片设计  

   研究工作

• 嵌入式系统:包括嵌入式硬件平台设计, FPGA/CPLD设计,嵌入式操作系统研究,嵌入式软件设计。

• 电子出版新技术:包括数码印刷系统研究开发,高端彩色打印服务器研究开发。

   主要工作业绩

• 1990年进入北京大学计算机研究所, 1990年参加方正91电子出版系统中照排控制器的调试工作,解决了其中关键技术难点,确保了方正91电子出版系统的成功上市,1991年至1992年,作为主要设计者之一,参加方正 PostScript Level 2 RIP的核心硬件超大规模专用芯片OP的设计, 1993年至1994年,作为主要设计者之一,参加超大规模专用芯片PSP的设计,OP和PSP芯片作为北大方正电子出版系统的核心硬件,在出版市场上产生了很大的影响,创造了很高的经济效益,也多次获得各种奖励.在当时国内实验条件相对滞后的条件下, OP和PSP芯片都做到了一次投片成功。

• 1992年至1993年,参加方正电子出版系统发排软件的开发,完成照排控制器中微程序的软件移植工作。

• 1994年,主持设计了超大规模专用挂网芯片SA,使当时调频网的挂网速度比PC机高出50倍以上,使当时RIP的挂网速度处于世界领先地位。

• 1995年,进行PCI总线技术研究,并且设计完成了方正第一个基于PCI总线的照排控制器的控制卡, 这一产品也是国内最早的自主开发的基于PCI总线的产品。

• 1996年至2002年,负责方正文杰激光打印机的开发, 是方正文杰激光打印机控制器的主要设计者和开发者, 主持完成了文杰打印机多款机型的设计和开发,同时负责了方正网星网络打印服务器的开发,方正文杰打印机和网星网络打印服务器均已经成功上市,获得用户好评,文杰打印机已经累计销售数万台,创造了良好的经济效益。

• 2002年起,进行嵌入式系统的开发和研究,主持完成了基于PowerPC和Vxworks操作系统的嵌入式打印控制器原型的开发。

• 2003年至2004年,负责方正印捷彩色激光打印机控制器的开发,方正印捷彩色激光打印机已经成功上市,方正印捷彩色激光打印机是国内第一款自主研发的彩色激光打印机。

  主要研究成果

• 1995年因参加”北大方正电子出版系统”获国家科技进步一等奖。

• 1994年因参加”支持BDPDL与Postscript Level 2的栅格图象处理器”,获北京大学科技成果一等奖。

• 1996年因参加”支持BDPDL与Postscript Level 2的栅格图象处理器”,获北京市科技成果一等奖。

北京大学计算机科学技术研究所