Project Manager Computer Science

Lian

Mo

ECS ***

School of Computer Science

Florida International University

Phone: 305-***-**** (H)

305-***-**** (O)

Email: ****.**@*****.***

Home Page: http://www.cs.fiu.edu/~lmo01/

Research

Interests Software Engineering, Formal specification and

verification, Petri nets, Refinement methodology, software architecture;

Information system and data warehousing.

Experience Center of Advanced Distributed Software

Engineering (CADSE)

School of Computer Science, Florida International University,

FL, USA

Graduate Research Assistant

Aug, 1998.8 - present)

Participated in many projects (Public School Web System,

Foliage Company Database Management System) at ActiveNet corporation

Designed and implemented a graphic editor for Predicate

Transition Nets (Java)

Implemented a compiler for language Tiger (Jlex, CUP, java).

Implemented a Transport Layer Protocol using x-Kernel and C.

Design and implement an Elevator Control Simulation System

using Java and Rational Rose 98.

Beijing Sysnet Electronics Co.

Ltd Beijing, China

Senior Software Engineering

Mar, 1997.3 - JUL, 1998.7

Designer and programmer of Life Insurance System of PICC,

based on Unix OS, Informix and C.

Project manager and chief designer of Property Insurance System

of PICC .

Chief designer and

programmer of "Edit system for medicine book" based on VB,

Access and C++

Department of Computer Science and

Engineering

Beijing University of Aeronautics and

Astronautics Beijing,

China

Graduate Research Assistant

JUL, 1994 - Mar, 1997

M.S. thesis Data Warehouses Technology Research and

Application Realization, designed and implemented a set of data

warehouses tools.

Designed and implemented QingDao New Century Information

Network, based on Windows NT, SQL Server and VB.

Took part in the research project of Aeronautic

Engineering Database System, a relation-object database system, based

on Oracle and MFC.

Participated in the project of "Management Information System

Automatic Generation Tools", 4GL, based on MFC.

Undergraduate Student

Aug, 1990-JUL, 1994

B.S.

thesis Star Map s Automatic Recognition, based on Assembly Lang.

and C.

Teaching Experience Florida International University

Lab Instructor

Aug.1998 - present

Instructed undergraduate students in the lab session of course "Introduction to Microcomputers" and "Introduction to Microcomputer Applications for Business". Instructed undergraduate students in the lab session of course

"Program Language I" (Java)

Education

2000.8 2004.11

Florida International University

Miami, FL

Ph.D. School of Computer Science.

1998.8 2000.8

Florida International University

Miami, FL

M.S. School of Computer Science

1994.7 1997.3

Beijing University of Aeronautics & Astronautics

Beijing, China

M.E. Department of Computer Science and Engineering

1990.7 1994.7

Beijing University of Aeronautics & Astronautics

Beijing, China

B.E. Department of Computer Science and Engineering

Publications Huiqun Yu,

Xudong He, Yi Deng and Lian Mo: "Integrating

Security Administration into Software Architectures Design". SEKE'04, Banff,

Alberta, Canada, 2004Huiqun Yu,

Xudong He, Yi Deng and Lian Mo: "A Formal Approach to Designing Secure

Software Architectures". HASE 04, Tampa, Florida, 2004Lian Mo. "A Refinement Methodology for Software Architecture Modeling in

SAM". Phd Dissertation Proposal, Florida International University, Nov, 2003.Huiqun Yu, Xudong He, Yi Deng, and Lian Mo:

Formal Analysis of Real-Time Systems with SAM, Formal Methods

and Software Engineering, 4th Int l Conference on Formal

Engineering Methods, ICFEM 2002, Shanghai, China, Oct. 21-25, 2002.Huiqun Yu, Xudong He, Yi Deng, and Lian Mo:

"A Formal Method for Analyzing Software Architecture Models in

SAM", COMPSAC2002, Oxford, U.K., 2002.Long Yan, Wei Sun, and Lian Mo: Web Searching with Distributed

Index Agent, 2nd Int l conference on Information Reuse

and Integration (IRI-2000), Hawaii, USA, 2000.

Professional Activities Student member of IEEE Computer Society.

Other

Activities President of Chinese Student and Scholar Association at FIU from

2001-2003Board member of Chinese Association of Science, Economics, &

Culture of South Florida (CASEC) in 2001.

References

Available upon request.

Contact this candidate