Skip to Main Navigation. Each navigation link will open a list of sub navigation links.

Skip to Main Content

Apply to the University of Wyoming apply now

Global Resource Navigation

Visit Campus
Download UW Viewbook
Give to UW

College of Engineering and Applied Science

Computer Science

Jeffrey Van Baalen

Professor of Computer Science

Room 4071B, Engineering Building
University of Wyoming
College of Engineering and Applied Science
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
jvb@uwyo.edu
Phone: (307) 766-5190
Jeffrey Van Baalen

Education

  • Ph.D. Massachusetts Institute of Technology 1988
  • M.S. University of Wyoming 1980
  • B.S. University of Wyoming 1977

Professional Experience

  • UW

Research Interests
How to give search engines a deeper understanding of the knowledge on the Web so that Internet search can be more effective.

Selected Publications

  • Roach, S., and Van Baalen, J., " Automated Procedure Construction for Deductive Synthesis," pp 393-414, Journal of Automated Software Engineering, V. 12, No. 4, Oct. 2005.
  • Van Baalen, J. and Roach, S., "Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems", pp 61-81 in LNCS 1559, March 1999.
  • Lowry, M.R. & Van Baalen, J. "META-AMPHION: Synthesis of Efficient Domain-Specific Synthesis Systems," Journal of Automated Software Engineering, 4, 1997.
  • Van Baalen, J., "Automated design of specialized representation," Artificial Intelligence, 54, pp. 121-198, 1992.
  • "A Tool for Understanding Web Applications," Paul, J., and Van Baalen, J., Proceedings of 4th International Semantic Web Conference, November, 2005.
  • "On the Verification of Synthesized Kalman Filters," Gamboa, R., Cowles, J., Van Baalen, J., ACL2 Workshop 2003, Boulder, 2003.
  • "Using ACL2 Arrays to Formalize Matrix Algebra," Gamboa, R., Cowles, J. and Van Baalen, J., ACL2 Workshop 2003, Boulder, 2003.
  • Van Baalen, J. and Boene, T., "Automated Protocol Analysis in Maude," Proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, November, 2002.
  • Roach, S., and Van Baalen, J., "Experience Report on Automated Procedure Construction for Deductive Synthesis," 17th IEEE Conference on Automated Software Engineering, pp. 69-78, September, 2002.
  • Whittle, J., Van Baalen, J., Schumann, J., Robinson, P., Pressburger, T., Penix, J., Lowry, M. and Brat, Guillaume, "Amphion/NAV: Deductive Synthesis of State Estimation Software," Proceedings of the 16th IEEE Conference on Automated Software Engineering, San Diego, CA, November, 2001.

Share This Page:

1000 E. University Ave. Laramie, WY 82071
UW Operators (307) 766-1121 | Contact Us | Download Adobe Reader

Twitter Icon Youtube Icon Instagram Icon Facebook Icon

Accreditation | Emergency Preparedness | Employment at UW | Gainful Employment | Privacy Policy | Accessibility Accessibility information icon