Ann Sobel |
|
EDUCATION:
1986 - Ph.D. Computer Science, The Ohio State University
ACADEMIC EXPERIENCE:
Joined Miami University in 1994
CONSULTING/PROFESSIONAL EXPERIENCE:
Research Associate to the Software Engineering Institute, CMU, 2001
7 years Research Staff Member of the IBM T.J. Watson Research Center
PROFESSIONAL ORGANIZATIONS:
Association for Computing Machinery
IEEE Computer Society
Sigma Xi
GRANTS AND FELLOWSHIPS:
NSF DUE CCLI-EM Program #02-29149, 2002-2003
Learning Technologies Enrichment Program, 2002
Faculty Enhancement Award, 2002
NSF CISE EI Program: CDA-9522257, 1996-2000
ASEE/NASA Summer Faculty Fellow, 1995
PUBLICATIONS AND PAPERS:
Sobel, A.E.K. and M.R. Clarkson, "Formal Methods Application: An Empirical Tale of Software Development", IEEE Transactions On Software Engineering, Vol. 28, No. 3, March 2002.
Sobel, A.E.K., "Emphasizing Mathematical Analysis in a Software Engineering Curriculum", IEEE Transactions on Education, May 2001.
Hevner, A., R. Linger, A. Sobel, and G. Walton, "The Flow-Service-Quality Framework: Unified Engineering for Large-scale, Adaptive Systems", proceeding of the IEEE HICSS'35, January 2002.
Upchurch, R. and A.E.K. Sobel, "Structural Assessment of Cost of Quality", abstract accepted to IEEE, FIE 2002.
MAJOR INTEREST AREAS:
Formal Methods Grant Results
Software Engineering
Semantics of Programming Languages
