| Ke Wang
4154 Upson, Computer Science dept
|
| OBJECTIVE | Summer internship position in research and software development |
| VISA STATUS | F-1 visa, citizen of China |
| EDUCATION | |
| Aug. 2000 - present | Ph.D. student |
| Department of Computer Science, Cornell University. GPA 3.8/4.0 | |
| Sep.1995 - Jul.2000 | B.S. of Computer Science, Department of Computer Science, GPA 3.95/4.0 |
| University of Science and Technology of China (USTC) | |
| HONORS | 2000 Best B.S. Thesis of 2000, USTC |
| (Title: Distributed Sorting by Sampling and High-Speed Crossbar Network) | |
| 1999 Guo Moruo Presidential Fellowship (highest honor of USTC) | |
| 1998 Baogang National Education Fellowship (12 out of 8000 students) | |
| 1998 National Mathematical Contest of Modeling, First Prize of Region | |
| 1997 Zhang Zongzhi Sci.&Tech. Scholarship (50 out of 8000 students) | |
| 1996 Excellent Student Scholarship, Frist Prize, USTC | |
| RESEARCH INTEREST | Distributed System, Computer networking, Security on Internet, e-Commerce |
| RESEARCH EXPERIENCE | |
| May. 01 - present | Research Assistant, Department of Computer Science, Cornell University |
| Enforcing security policies on web applications. Work with
Prof. Emin Gun Sirer in Information Assurance Institute (IAI) led by Fred. B.
Schneider.
Our work has been written in the paper ( see below). I developed security enforcement portal of openACS, which uses Tcl and PostgreSQL, and .NET, which use SQL Server and VB.NET. |
|
| May.99 - Jun 00 | Research Assistant, National High-Performance Computing Center at Hefei, China |
| Research and develop of IDE on Dawning-3000 Cluster System (National High-tech 863 project) | |
| Sep. 98 - Jul. 00 | Research Assistant, Software Lab, Department of Computer Science, USTC |
| Communication Algorithm on Parallel and Distributed Systems, supported by HUAWEI Hi-tech Co. LTD. My major work is designing crossbar concentrator and efficient routing algorithm | |
| TEACHING EXPERIENCE | |
| Jan. 01 - May 01 | Teaching Assistant of Discrete Structure Department of Computer Science, Cornell University. |
| Aug. 00 - Dec 00 | Teaching Assistant of Java programming, Department of Computer Science, Cornell University. |
| Sep. 99 - Jan 00 | Teaching Assistant of Parallel and Distributed System, Department of Computer Science, USTC |
| TECHNICAL | Programming Languages |
| SKILLS | JAVA, C, C++, ASP.NET, VB.NET, Assembly, SQL, Shells, HTML, ML, Prolog, Pascal, FORTRAN |
| Tcl, PVM, MPI, NX | |
| Operating Systems | |
| UNIX (SUN/SOLARIS, HP/HP-UX, FreeBSD), LINUX, Windows NT, .NET platform | |
| SELECTED PROJECTS | |
| Computer Networks | A proxy server with cache. ( in course CS519) |
| A mini TCP protocol based on UDP, using C language under UNIX. ( in course CS519) | |
| System Security | An electronic-voting system, developed by JAVA ( in course CS513) |
| Distributed System | A fault-tolerant distributed bank system developed by JAVA ( in course CS514) |
| We built a reliable communication layer on UDP, which took snapshot to compute whole bank balance, recovered a bank branch from a disaster, and the whole system is fault-tolerant using state machine approach. (including how to implement reliable broadcast and recover reconfiguration. ) | |
| High-performance Architecture | Design and compare algorithms for tile size selection to enhance locality when do compiling. (in course CS612) |
| Operating System | A SPOOLING system on a virtual machine with a simplified instruction system by C |
| A process-management system developed for UNIX system by C | |
| Database System | A simplified DBMS on PC by C++. |
| Compiler Design | A practical PL/0 compiler developed C. (PL/0 is a simple language like PASCAL) |
| Computer Graphics | An interactive graphics drawing system by JAVA |
| PUBLICATION | 1. Temporal Logic Based Access Control Mechanism for Web Services. Emin Gun Sirer, Ke Wang. accepted by 7th ACM Symposium on Access Control Models and Technologies (SACMAT). To appear in June, 2002. |
| REFERENCES
|
Available upon request |