Jef Bell

Jef Bell

Contact

Research and Engineering
Office: 503.626.6616 x106
Email: jefb (at) galois (dot) com
LinkedIn: http://www.linkedin.com/pub/jef-bell/4/737/794

At Galois

I'm a software engineer, project lead, and caretaker of the small team that helps keep the engineering group going. My background is in software product development, and my passions lie in writing and delivering software to make folks' lives (or at least their jobs!) a bit better.

My Background

Since the age of 17, every job I've held has involved programming, teaching programming, or leading programming teams. I've worked for small software contracting companies, small software product companies, small universities, a large national lab, and now a small software technology transition company. In the last fifteen years, I've managed to work at just about every organization in the Portland area where functional programming is/was being practiced. At some point along the way, I earned a MS in Computer Science and a BS in Computer Science and Mathematics with a Literature minor (very important, that Lit minor).

Publications

  • Bell, J. M., Bellegarde, F., and Hook, J. 1997. Type-driven defunctionalization. In Proceedings of the Second ACM SIGPLAN international Conference on Functional Programming (Amsterdam, The Netherlands, June 09 - 11, 1997). A. M. Berman, Ed. ICFP '97. ACM, New York, NY, 25-37.
  • Bell, J. M., Bellegarde, F., and Hook, J. 1996 Type-Driven Defunctionalization. Technical Report. UMI Order Number: CSE-96-009., Oregon Graduate Institute School of Science & Engineering.
  • Kieburtz, R. B., McKinney, L., Bell, J. M., Hook, J., Kotov, A., Lewis, J., Oliva, D. P., Sheard, T., Smith, I., and Walton, L. 1996. A software engineering experiment in software component generation. In Proceedings of the 18th international Conference on Software Engineering (Berlin, Germany, March 25 - 29, 1996). IEEE Computer Society, Washington, DC, 542-552.
  • Kieburtz, R. B., Bellegarde, F., Bell, J., Hook, J., Lewis, J., Oliva, D., Sheard, T., Walton, L., and Zhou, T. 1995. Calculating Software Generators from Solution Specifications. In Proceedings of the 6th international Joint Conference CAAP/FASE on theory and Practice of Software Development (May 22 - 26, 1995). P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, Eds. Springer-Verlag, London, 546-560.
  • Bell, J., Bellegarde, F., Hook, J., Kieburtz, R. B., Kotov, A., Lewis, J., McKinney, L., Oliva, D. P., Sheard, T., Tong, L., Walton, L., and Zhou, T. 1994. Software design for reliability and reuse: a proof-of-concept demonstration. In Proceedings of the Conference on Tri-Ada '94 (Baltimore, Maryland, United States, November 06 - 11, 1994). C. B. Engle, Ed. TRI-Ada '94. ACM, New York, NY, 396-404.
  • Bell, J. and Hook, J. 1994 Defunctionalization of Typed Programs. Technical Report. UMI Order Number: CSE-94-024., Oregon Graduate Institute School of Science & Engineering.
  • Bell, J., Bellgarde, F., Hook, J., Kieburtz, R. B., Kotov, A., and Lewis, J. 1994 Software Design for Reliability and Reuse a Proof-Of-Concept Demonstration. Technical Report. UMI Order Number: CSE-94-011., Oregon Graduate Institute School of Science & Engineering.