My research interests are rooted in foundations of computer science and are now applied to modeling, analysis, verification and validation of concurrent systems using various forms of Petri nets and automata, including systems that require annotations of time, costs, and resource allocation. In particular Petri nets models have been used for scheduling studies of flexible manufacturing systems, for modeling and analysis of workflow management systems, performance evaluation of client/server architectures. Research in this domain has been supported by grants from Naval Undersea Warfare Center, Newport, Rhode Island. In particular, study of structural and behavioral properties of Petri net morphisms and their applications in analysis, decomposition, and synthesis of concurrent systems is part of a broader interest in formal conceptual modeling of parallel and distributed systems. Another interest is in efficient parallelization of sequential algorithms or programs. Examples include a parallel algorithm that computes all homomorphisms of finite automata and performance analysis of parallel ocean codes. Educational research is supported by NSF ATE DUE "Establishing an Articulated Computer Science Program: From Bristol Community College to University of Massachusetts Dartmouth" grant of $300,000 for 2002-2005, jointly with Bristol Community College.