Training
Professional Haskell Development Course
What you will learn
This course is offered at three levels to accomodate varying skills and knowledge of participants. Enrollees will learn the fundamentals of the functional programming and design discipline in the context of the Haskell language.
Who will find this course valuable
- Architects of complex computing systems
- Software designers and analysts
- Software programmers and maintainers
Cryptol Course: High Assurance Cryptographic Development Using the Cryptol Workbench
Galois is offering a four‐day Cryptol course for those interested in exploring the capabilities of the Cryptol workbench.
The course is highly participatory: we will work on a series of exercises for each new topic, using the Cryptol toolset interactively. Prospective participants should have experience writing programs and some knowledge of cryptography. Those who complete the course will have the skills necessary to develop high‐assurance, high‐performance cryptographic algorithms in Cryptol.
A tentative outline and further information can be found in the course flyer.
Interested parties should contact Dr. Sally Browning via e-mail at sally@galois.com, or call her at (503) 808 7151.