Theresa Swift

Dr. Theresa Swift (Principal Engineer, co-founder) has over 25 years of experience in research in computational logic and in the design and development of major computer systems. As a researcher she has over 75 publications in major refereed journals and conferences and is editor of three books. Topics of these publications include the implementation of high-performance logic systems; non-monotonic reasoning and reasoning under uncertainty; knowledge representation; parallel, multi-threaded and distributed programming; verification of concurrent systems; theorem proving; the semantic web; medical informatics decision and workflow systems, deductive databases; data standardization and data quality enforcement. She has served on dozens of international program committees in these areas, as well as serving as general and program chairs. Dr. Swift has successfully advised two PhD dissertations, and served on over a dozen PhD committees. She has received funding from agencies such as NSF (including an NSF career award); DARPA and NIH. Her current academic affiliation is with CENTRIA, Universidade Nova de Lisboa.