The Wyoming Cryptrography School project is led by Dr. Siguna Mueller from the Department of Mathematics. She joined the faculty of Wyoming in 2005. She may have been your teacher in courses in cryptography, applied algebra, fundamental concepts, or the math seminar. Before coming to Wyoming, she spent time as a research associate in the Center for Information Security and Cryptography Research at the University of Calgary, and before that she earned her masters and doctorate (and another academic degree beyoned that) and taught in her native Austria.
So you can see she's serious about cryptography! She's also an excellent equestrienne—she chose to come to Wyoming, in part, because it was a great place for horses. (The mountains, the snow, and the skiing were the other reasons she came here.)
The WCS also includes Dr. Ruben Gamboa from the Department of Computer Science. His research interests lie at one of the many points where computer science and mathematics coincide: mechanical theorem proving, also known as automated reasoning. That means he builds computer proofs of mathematical theorems, such as Taylor's Theorem. He also works on improvements to theorem provers, e.g., adding support for the irrational numbers to ACL2. All of this work is based on functional programming languages, such as Lisp or Scheme. Dr. Gamboa will teach you how to write computer programs to test some of the conjectures that come out of Dr. Mueller's, and your own, research.
While he is passionate about computer science and mathematics, Dr. Gamboa's true love is amateur astronomy. One of the reasons he moved to Wyoming is because he can see the Milky Way from his back yard. He is currently angry that he missed seeing the comet of the century, because it came just as the entire Rocky Mountain region was engulfed in the snow storm of the century. That, he says, is just not fair.