Stansifer, Ryan
Associate Professor
Computer Sciences and Cybersecurity
Florida Institute of Technology
United States of America
Biography
B.A. University of Kansas 1979 B.S. University of Kansas 1979 M.S. Cornell University 1982 Ph.D. Cornell University 1985
Research Interest
Dr. StansiferÂ’s research interests are in finding ways a compiler can assist in program development. This may be through more-expressive systems that are checkable by the compiler, or through compile-time analysis of synchronization anomalies in concurrent programs. In particular, his research interests include polymorphic inference, object-oriented languages, formal verification of the correctness of software and models of real-time, concurrent programs. Dr. Stansifer is also interested in internationalization, hypertext languages and the X-Window System.
Publications
-
Stansifer, R., M. Beaven and D.C. Marinescu. 1994. Modeling Concurrent Programs with Colored Petri Nets. Journal of Systems and Software, Vol. 26, No. 2, pp. 129-148.
-
Beaven, M. and R. Stansifer. 1994. Explaining Type Errors in Polymorphic Languages. ACM Letters on Programming Languages and Systems, Vol. 2, No. 104, pp. 17-30.
-
Stansifer, R. 1994. The Study of Programming Languages, Prentice-Hall, Englewood Cliffs, New Jersey.
