معرفی
Todd Wilson is a Professor of Computer Science at California State University, Fresno. He is affiliated with the College of Science and Mathematics and can be reached at twilson@csufresno.edu. His office is located in Science 2, Room 250, with in-person office hours on Mondays 12:00-3:00 PM and virtual hours on Thursdays 11:00 AM-1:00 PM via Zoom.
Education:
- Ph.D., Computer Science, Carnegie Mellon University
- M.S., Mathematics, California State University, Fresno
- B.S., Computer Science, California State University, Fresno
Research Interests: Wilson specializes in Pure and Applied Logic, Type Theory, and the development of Programming Languages. His work also focuses on Formalization and the application of Proof Assistants in computational theory. These areas blend theoretical rigor with practical tools for software verification and semantic analysis.
Courses Taught: Includes foundational and advanced courses such as CSCI 117, CSCI 119, and CSCI 217, reflecting his expertise in computer science education and research.
Todd Wilson در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- SSantanu BanerjeeCalifornia State University, Fresno · استاد
- JJin H. ParkCalifornia State University, Fresno · استاد
David RubyCalifornia State University, Fresno · مدرس- DDhanyu AmarasingheCalifornia State University, Fresno · مدرس
- JJeremy BrandlCalifornia State University, Fresno · مدرس
Karl RundeCalifornia State University, Fresno · مدرس