일제 인물 소개

제나라, 교수, 교사, 가상화 시스템 소프트웨어, 프로그램 분석, 시스템 및 네트워크 보안, 모바일 인터넷.

중국어 이름: 제나라

Mbth: 기정위

국적: 중국.

민족: 한족

직업: 교수

졸업 대학: 상하이 교통 대학

주요 성과: 교육부 제 3 회 전국 대학생 혁신 포럼' 내가 가장 좋아하는 10 작품상'

대표작품:' 임베디드 GIS 의 개발과 응용', 치, 푸국경절, 채 등. , 칭화대 출판사, 2009.

학력

1999 노스웨스턴 공업대학을 졸업하고 학사 학위를 받았습니다.

2002 년에 노스웨스턴 공대 석사를 졸업했습니다.

2002 년 3 월부터 2005 년 6 월 65,438 438+ 10/0 월까지 상하이 교통대 컴퓨터학과 컴퓨터소프트웨어 및 이론학과 박사 대학원생, 2006 년 3 월 박사학위를 받았습니다.

학술 아르바이트

ACM 회원, 중국 컴퓨터 연맹 고위 회원

중국 컴퓨터연합회 시스템 소프트웨어와 이론 컴퓨터과학전문위원회 위원.

YOCSEF 상하이 학술위원, 우수한 학술비서

소프트웨어, 컴퓨터 연구 및 개발 잡지, 중국 컴퓨터 잡지 심사위원.

상하이 교통대학 국가 리눅스 기술 교육 및 보급 센터 주임.

수상 기록

1. 상하이 교통대학 소프트웨어학원 우수 기술혁신 멘토 (20 10)

2. 교육부 제 3 회 전국대학생혁신포럼' 내가 가장 좋아하는 10 작품상' (20 10, 멘토)

상하이 교통 대학 우수 교사 3 등상 (2009)

4. 제 2 회 ICT 국제청년기술혁신대회 금상 (2009, 멘토)

5. 샛별 청년학자와 우수 청년교사 예비인재 2 등상 (2009 년)

프로젝트

1. 자연과학기금 상면프로젝트: 대규모 분산 시스템 실시간 예측 가능한 온라인 분석 연구.

2. 자연과학기금 상면프로젝트: 탄성 가상 풀을 기반으로 한 친환경 데이터 센터 에너지 절약 연구

Microsoft 젊은 교사 기금: 전문 모델 테스트

4. 상하이 기초 연구 중점: 다시 쓰기 논리에 기반한 가상화 실시간 동시작업 프로그램의 공식 검증.

5.IBMSUR 프로젝트: 분산 이진 번역

대표 작품

번역

유닉스 환경에서의 고급 프로그래밍 (제 2 판, 2008 년, 2009 년 TOP50), W. Richard Stevens, Stephana Rago, 번역자: 유금원, 치, 기계공업출판사, 2

임베디드 GIS 의 개발과 응용, 제나라, 푸국경절, 채 등. , 칭화대 출판사, 2009.

"리눅스 개발-환경 프로그래밍 기술", 치, 상하이 외국어 교육 출판사, 2008.

하드웨어 가상 머신 이해', 치, 칭화대 출판사, 곧 출판된다.

논문

정기혈, 명로, 승복혈, 동유 씨, 김원우. Membranecalculus: aformalmethodforgridtransactions. Concurrency and computation: practice index experience, 2006,18 (14):/kloc

위엄, 김원우. OfPSystemsbyMaude 상하이 교통대학 학보, 2005, 10(3):260-264.

명원 아래 묘옥, 정기혈, 안해빙관. Joan: shepherdaplicationprivacy with virtualized specialpurposememory. 캐나다 밴쿠버, 10 월 4 일 -620 10.

진진, 왕탁, 약우장, 강주, 석황황, 콘치니, 정위치, 진개, 해병관: 정제되어 가독성코드를 만든다. Wcre 2010:150-154

주민, 묘우, 배결옥, 고, 정위치. VASP: 크로스 플랫폼 보호를 위한 가상화 지원 보안 모니터. Proceedings of ACM 26 thsymposiumonappliedcomputing (sac), 대만, 3 월 21-25201/kloc

전림, 명원하, 묘옥, 배제옥, 주민, 고, 정위 돈해병관. SPAD: 디디버깅을 통한 소프트웨어 보호 하드웨어 가상화. Proceedings of ACM 26 thsymposiumonappliedcomputing (sac), 대만, 3 월 21-25201/kloc

중도군, 전림, 심양, 주민, 고, 명원 아래, 배개옥, 요조동, 정위 앞바다, 관. Optimizing virtualmachinesusinghybridvirtualization.proceedings of ACM 26 thsymposiumonappliedcomputing (sac), 대만, 3

명원 아래, 묘옥, 전린, 정위치, 해병관: enhancedprivilegesperationofcommodity software on virtualized platform. ICPADS20 10:275-282

정위치, 유량, 알렉, 왕호, 진영: Anonlinemodelcheckingtoolforsafety 와 LivenessBugs. 2008 년 국제 인구 및 개발 회의: 493-500 명

제나라, 유진원. 세포막 계산에 기반한 웹 서비스 트랜잭션의 공식 설명 및 검증. 중국 컴퓨터 학회지, 2006,29 (7):1137-1144.