梁之遙-凯发官网下载客户端安装

assistant professor liang, zhiyao

school of computer science and engineering, faculty of innovation engineering

macau university of science and technology

office: a216

tel.: 853-8897 2940

e-mail: 

• ph.d. in computer science, houston university, usa, 2008
  
• master in computer science, the university of texas at austin, usa, 2001
  
• bachelor in computer science and engineering, national university of defense technology, china, 1996

• compiler prinicples and construction
• computational linguistics
• data structures
• fundamentals of computer programming
• human-computer interaction
• object oriented programming

• formal methods
• information security
• computational linguistics
• theory of computation and algorithms

• 2010 to present: assistant professor, faculty of information technology, macau university of science and technology
• 2009: postdoctoral fellow, ldcsee department, west virginial university, usa
• 1996 to 1999: hunan normal university, department of computer technology education

1. shiru zhang, zhiyao liang*, jian lin, "sentence similarity measurement with convolutional neural networks using semantic and syntactic features. cmc-computers, materials & continua, 63(2), pages 943–957, 2020.
2. qiaoyang zhang, zhiyao liang*, zhiping cai:“developing a new security framework for bluetooth low energy devices, cmc: computers, materials & continua, vol.59 no.2, pages.457-471, 2019.
3. zhiyao. liang, k. subramani, and j. worthington: "polynomial time certifying algorithms for the planar quantified integer programming problem". journal of logic and computation, 23(5): pages1017–1033, 2013.
4. zhiyao liang and rakesh verma, “correcting and improving the np proof of cryptographic protocol insecurity”, to appear in proceedings of information systems security, 5th international conference, iciss 2009, pages 101-116, kolkata, india, lncs, december, 2009.
5. zhiyao liang and rakesh verma, “complexity of checking freshness for cryptographic protocols”, in proceedings of information systems security, 4th international conference, iciss 2008, pages 86-106, hyderabad, india, lncs, december, 2008.
6. zhiyao liang and rakesh verma, “improving techniques for proving undecidability of checking cryptographic protocols”, in proceedings of the third international conference on availability, reliability and security, ares, pages 1067-1074, barcelona, spain, ieee, march, 200.
7. zhiyao liang and rakesh verma, “secrecy checking of security protocols: solution to an open problem”, joint workshop on foundations of computer security and automated reasoning for security protocol analysis, fcs-arspa, pages 95-112, wroclaw, poland, july, 2007.
8. “model checking using tabled rewriting”, zhiyao liang, contributions to the doctoral programme of the 2nd international joint conference on automated reasoning, ijcar doctoral programme, cork, ireland, july 2004.

sun certified java programmer

member of ieee, 2005 to present