The Laboratory for Specification, Analysis and Transformation of Software (SAnToS) at Kansas State University announces openings for several funded Ph.D. studentships for Autumn 1999. The laboratory consists of 5 faculty members, Matthew Dwyer, John Hatcliff, Michael Huth, David Schmidt, and Allen Stoughton, as well as several visiting and post-doctoral researchers, doctoral and masters students. The lab's research is devoted to theory and application of such topics as program logics, static analysis, semantics, abstract interpretation, partial evaluation, and model checking. Current projects include: - - Development and application of a common framework for expressing data-flow analyses, abstract interpretations, and model checking, where temporal logic is used as the common language for discourse. - - Application of partial evaluation to naive static analysis algorithms so as to generate useful implementations of slicing, code inlining, flow analysis, etc. - - Design and implementation of tools for compiling Java source code to abstracted transition systems that can be used by non-formal methods experts to model check rudimentary safety properties. - - Comparative empirical evaluation of existing approaches to finite-state verification to characterize effectiveness of automated verification with regards to classes of systems and correctness properties. The lab has strong ties to both the programming languages and software engineering research communities. Laboratory members, including students, actively participate through publication, presentation, and committee membership in top international conferences. Students with interests in either foundational or systems aspects of program analysis will find the lab an excellent place to further their studies and are encouraged to apply. For more information about the work in SAnToS, consult the web-site http://www.cis.ksu.edu/santos For information about application for advanced degree studies, see http://www.cis.ksu.edu/Programs/Grad/info.html