Curriculum Vitae
Marc L. Smith
mlsmith@cs.ucf.edu
http://www.cs.ucf.edu/~mlsmith
Business Address:
AT&T
3210 Lake Emma Road
Lake Mary, Florida 32746
Home Address:
3820 Becontree Place
Oviedo, Florida 32765
407.366.4786
Degrees
Ph.D., Computer Science (2000); University of Central Florida, Orlando, FL
(Aug. 1996 – Dec. 2000: sponsored by the AT&T Doctoral Support
Program). Dissertation Topic: View-centric Reasoning about Parallel and
Distributed Computation.
M.S., Computer Science (1993); University of Central Florida
(Aug. 1987 – May 1993). Thesis: ExploreNet for Windows: An
Application Framework for Building Worlds.
B.S., Computer Science (1986); University of Central Florida.
Curriculum Development and Teaching
Object Oriented Programming, University of Central Florida, Spring 2001. New
undergraduate course offering: required for new Information Technology
(IT) majors, elective for Computer Science majors. Co-developed this
course with the IT Program Director of the School of Electrical
Engineering and Computer Science. Activities included preparation and
delivery of lecture notes, three programming assignments, two tests, and
a final exam. Responsibilities included e-mail and office hours
accessibility to sixty (60) students, grading of programs, tests, and final
exam.
Research Interests
Models of Parallel and Distributed Computation
Operational Semantics
Distributed Computing
Distributed Objects
Formal Languages and Reasoning
Programming Paradigms (Functional, Object-Oriented)
Marc L. Smith
(mlsmith@cs.ucf.edu)
2
Papers and Publications
Dissertation
M. L. Smith, “View-centric Reasoning about Parallel and Distributed
Computation.” Ph.D. Dissertation, School of Electrical Engineering
and Computer Science, University of Central Florida, December
2000.
Published
C. E. Hughes, J. M. Moshell, S. G. Hughes, M. L. Smith. "Cooperative
Problem Solving among K-12 Students: The ExploreNet Project,"
Proceedings of Frontiers in Education '92, Nov. '92, pp. 522 – 526.
Submitted
M. L. Smith, R. J. Parsons, C. E. Hughes. “View-centric reasoning about
concurrent computation.” Submitted January 15, 2000, to the
Mathematical Structures in Computer Science, for the Joint Special
Issue(s) devoted to “The Difference between Concurrent and
Sequential Computation” and to selected papers from Express ’00.
Awaiting notification.
Unpublished
M. L. Smith. “Operational semantics for actors: Toward a parameterized
model for reasoning about parallel and distributed computation.”
Technical Report CS-TR-99-05 (for Candidacy Exam), School of
Computer Science, University of Central Florida, 1998.
Planned
“The semantics of views for reasoning about distributed computation,”
Theoretical Computer Science.
“Reasoning about Distributed Systems,” IEEE Software.
“Functional-based abstractions to represent state in models of concurrent
systems,” Journal of Functional Programming.
“Reasoning about TupleSpaces,” Journal of Computer Mathematics.
Marc L. Smith
(mlsmith@cs.ucf.edu)
Memberships
Association for Computing Machinery (ACM)
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) and
IEEE Computer Society
Upsilon Pi Epsilon Computing Sciences Honor Society
References
Rebecca J. Parsons, Charles E. Hughes, Mostafa A. Bassiouni
{rebecca,ceh,bassi}@cs.ucf.edu
School of Electrical Engineering and Computer Science
University of Central Florida
Orlando, Florida 32816-2362
Technical Expertise
Languages & Tools
Java, C++, C, Scheme, LISP, Smalltalk, Visual BASIC, Pascal, COBOL,
Assembler, REXX, SAS, Easytrieve, Dialog Manager, FORTRAN,
SQL, Unix Shell, Lex, YACC, Linda
Operating Systems & Networks
Windows 2000, Windows Domains and Workgroups, TCP/IP, Unix, Linux,
Xwindows, OS/390, TSO, VM, n-Tier / Distributed, Tuple Space
Database Management Systems
Microsoft Access, FoxPro, DB2, VSAM, IMS
Industry Experience
Employment History
AT&T Corp., Maitland / Lake Mary, Florida, 1986 – Present
Systems Engineer / Architect, 1997 – Present
Doctoral Support Program Participant (full time), 1997 – 2000
Resource Link © Consultant, 1996 – 1997
MVS Technical Services Specialist, 1993 – 1996
3
Marc L. Smith
(mlsmith@cs.ucf.edu)
4
MVS Systems Software Installer, 1991 – 1993
Lead Programmer / Analyst, 1989 – 1991
Programmer / Analyst, 1986 – 1989
Applications Programming & Analysis
Conceived, designed, negotiated, and implemented a complex, multi-user
database application using Microsoft Access, resulting in the
successful implementation of a new division-level process which
saved the company eight million dollars annually.
Created a Microsoft Windows application using object-oriented design
techniques and the C++ programming language to develop K – 12
educational software which renders 2.5-D animation.
Designed, project-led, and implemented the rewrite of a mechanized time
reporting system, satisfying the budget-tracking needs of
management and the user-friendly requirements of end-users.
Developed requirements, implemented, and provided on-going production
support for the Automated Release Management Systems (ARMS),
enabling 70+ software development applications to benefit from
increased productivity, software integrity, and accountability.
Systems Analysis
Installed, provided technical support for, and maintained systems software
on IBM mainframe computers, ensuring minimal impact to the user
community.
Leadership
Consistently chosen throughout career as key spokesperson for important
task teams.
Represented district on team that re-engineered the corporate software
renewal process, which saved the company four million dollars
annually.
Managed a team that designed and implemented a new process
measuring district productivity, resulting in standardized and
meaningful reporting of work accomplished. Process was accepted
and implemented at the Division level.
May, 2001