Dr. Benjamin's research focuses on the topic of theory formulation, and its application to software design and to problem solving in AI and robotics. His work utilizes semigroup theory and dynamical systems theory. He is collaborating with the Knowledge-Based Software Engineering group at the Air Force's Rome Laboratory.
Dr. Blair's interests are in logic in computer science and artificial intelligence, foundations of logic programming, and cellular automata. He has particular interests in continualizing discrete systems, and in discrete dynamical systems.
Dr. Brinch Hansen is interested in all aspects of concurrent programming, including programming languages, operating systems, and parallel architectures. He is the inventor of the programming languages Concurrent Pascal, Edison, and Joyce. His textbooks have been published in six languages.
Dr. Brown's research interests include formal bases for document representation and document processing, non-monotonic reasoning, and foundations of logic programming. He is currently investigating a computational theory of documents based on the modularization of definite clause programs via context free grammars. He is also examining model-theoretic paradigms for formalizing the semantics of control in logic programs.
From 1967 to 1980, Dr. Fox concentrated on high energy physics phenomenology with the development of models that allowed the confrontation of theoretical ideas with experimental data. In the period 1974-1978, he collaborated on the design and running of three major high energy physics experiments at Fermi National Laboratory. The analysis of these data was completed in 1986 and represented a very fruitful juxtaposition of theory and experimentation.
Since 1981, Dr. Fox has developed the use of the hypercube in a large variety of scientific fields and has expanded study to other supercomputer architectures. His expertise is in concurrent algorithms and issues in computer architectures and systems that are motivated by the decomposing of problems onto computers. His work in high energy physics phenomenology continues at a reduced level, and his physics research has concentrated on the computational approach to high energy physics. Dr. Fox's research uses both conventional supercomputers and a variety of parallel architectures, including the hypercube and Connection Machine.
Fox's Ph.D. graduate students have worked in theoretical, computational, and experimental physics as well as concurrent computing and neural networks.
Dr. Hartmann's main interests have been the development of the theory of decoding and the design of practical decoding algorithms for error-correcting codes. Dr. Hartmann also does research in the following areas: fault detection in digital systems, design of fault tolerant systems, design of efficient data processing algorithms, and parallel computation.
Dr. Mattson works in error-correcting codes, a branch of information theory that joins mathematics, engineering, and computer science. In 1961 he and a coauthor introduced what is now known as the Mattson-Solomon polynomial. In 1969 he and another coauthor published the Assmus-Mattson Theorem, on a relation between codes and combinatorial mathematics. Both these results influenced later developments in coding. In recent years he has concentrated on the covering radius, a fundamental parameter of codes which had not been much studied until about 1980.
Dr. Mehrotra's main area of research is statistical inference. He has worked on problems arising in the context of software reliability, coding theory, and time series analysis. His current research interests include neural networks, software reliability, and analysis of algorithms.
Dr. Mohan conducts research in Artificial Intelligence. His current research interests are primarily in Neural Networks and Evolutionary Computation. He also dabbles in Automated Reasoning and Computer Vision.
Dr. Older's primary research interests include the semantics of programming languages, logics of programs, and formal methods. She is particularly interested in the use of programming-language semantics to support formal reasoning about complex program behavior. Her recent work focuses on parallel programs and the problem of modeling their behavior under fairness assumptions.
Dr. Royer's current work is on the computational complexity of higher-type operators and functionals and with the applications of this theory to problems in programming languages and in computational learning theory. He is also interested in structural computational complexity theory (particularly the structure of complete degrees and one-way functions) and biological computing.
Though his investigations have ranged over processor architectures and real-time data acquisition systems, Dr. Sibert has worked primarily in the area of computational logic, especially logic programming and its applications. He is co-creator, with J.A. Robinson, of LOGLISP, the first system to integrate logic programming with LISP in a way which allows the programmer to combine the two styles at will. Currently he is studying parallel implementations of logic and functional languages, combinations of logic with advanced functional languages, and a variety of uses of LOGLISP.
Dr. Berras primary interests are in optical processing for large data and knowledge bases, multi-media database machines, and in general, computer architecture for data and knowledge bases.
Dr. Brown's primary research interests concern the relations of logical systems to ordinary language, with special emphasis on modal logics of knowledge and belief, temporal relations, actions, abilities questions, and commands. Related research interests concern generalized quantifiers and their relations to modal operators, and non-well-founded set theory as a source of models for self-reference.
Dr. Chin has been with the Electrical and Computer Engineering Department since 1986. His main research interests are in the development and application of formal methods to hardware and software design. Specifically, he is researching design synthesis and verification using higher-order logic. Prior to joining the faculty at Syracuse University, he was a senior engineer and program manager at the General Electric Electronics Laboratory in the VLSI design area.
Dr. Goel's current interests are in software reliability and testing, fault tolerant software, and performance modeling of parallel systems. He was recently elected a fellow of the IEEE for his contributions to the reliability of computer software.
Dr. Liddy's main research focus is the application of linguistic theory to information-based tasks. Her DR-LINK system is a full natural language-based information retrieval system which sorts through millions of documents electronically and routes to users only those documents with high potential for relevance. Her research has also focused on applying linguistic techniques to the task of detecting the discourse structure of a variety of text-types and the application of sub-language analysis to the development of commercially successful natural-language systems.
Dr. McCracken is working in the areas of computational science, parallel languages and algorithms, and applications of high performance computing and communications.
The current primary interests of Dr. Sargent are modelling methodologies, model validation, and methodology areas of discrete event simulation including model specification, efficient and parallel/distributed computation, and both strategical and tactical experimental design and data analysis.
Dr. Shelly's work in logic programming applications is directed toward aiding research in areas such as the social sciences and the humanities where computer-facilitated research has been relatively limited. Developing conceptual frameworks of text-based methodologies leads to the design of programs that document researcher thinking and that facilitate the mechanical tasks associated with text-based methodologies. Dr. Shelly's research is intended to contribute to both the understanding of the interface between inference-based research methodologies and logic programming and the knowledge of researcher thinking.
Dr. Stuart Thorson's research and teaching interests are in the areas of foreign policy, political reasoning, and theory and methodology. His articles have appeared in such journals as International Studies Quarterly, Public Opinion Quarterly, Econometrica, Journal of Mathematical Psychology, Negotiation Journal, and Political Behavior, as well as in a variety of edited volumes. He is co-editor (with Louis Kriesberg and Terrell Northrup) of Intractable Conflicts. His current research focuses on the development of computational models of foreign policy formulation.
The primary current interest of Dr. Varshney is in the area of distributed signal processing and data fusion. He is also working in the areas of computer communication networks, parallel algorithms, and applications of AI to signal processing.
Professor Watkins works in combinatorics and graph theory and is especially interested in problems of connectivity and automorphism groups of graphs and systems. In recent years he has applied these notions to infinite graphs.