Congratulations! Yongqiang.
| home | people | projects | publications | products | about |
|
Prof. Cesare Pautasso’s Talk-Model-driven software composition: from flow languages to natural languages
Title: Model-driven software composition: from flow languages to natural languages
Time: Nov. 12, 2:00 PM
Place: 5407 Software Building
Dr. Deji Chen’s Talk- IPv6 Over WirelessHART – Networking Infrastructure of Wireless Embedded Internet
Time: Nov. 9, 2:00 PM
Place: 5407 Software Building
Speaker: Deji Chen, PHD，University of Texas at Austin，Senior principal software engineer at Emerson Process Management.
Title: IPv6 Over WirelessHART – Networking Infrastructure of Wireless Embedded Internet
Dr. Yunshan Zhu’s talk- Prove Theorems, Find Bugs and Make Profits
Title: Prove Theorems, Find Bugs and Make Profits
Time: Nov. 5, 2:30 PM
Place: 5407 Software Building
TCloud Lecture S1E1 – How to Use Latex
Zhang Chao(张超), a sophisticated latex user, provided a lecture on Oct.18. In this video you will learn how to compile the latex; how to insert a table; how to combine two figures and etc.
AEVIOU Input method has been released on Moon Festival
AEVIOU input method has been released.
Download Link
This version has been tested on many android platforms (min version: 2.1).
If you have any questions and suggestions, please leave message on our main page:
Main Page
XenDebugger has been listed as a XEN Open Source Project
XenDebugger, mainly developed by Chao Li, has been listed as a XEN Open Source Project.
Dr. Yunshan Zhu Visited Our Lab on September 5
Dr. Yunshan Zhu was NextOp(纳拓)’s President & CEO, and was supervised by Prof. Ed Clarke. We have discussed the future cooperation and projects.