I have a Computing Engineering degree and an MSc in Computer Science from [Universidad Simón Bolívar][UsbWeb] (USB) in Caracas, Venezuela. I worked there as a lecturer until I retired, teaching courses on Discrete Mathematics, Programming Languages, and Functional Programming, among others.
In 1995, I took a leave to pursue a Doctorate in the then-called Oxford University Computing Laboratory, now the Department of Computer Science. For my thesis, I worked on Program Derivation and Functional Programming under the late Prof. Richard Bird. During this period I began to have problems with my vision and eventually became blind. Consequently, I couldn’t make some needed corrections to my thesis and I did not graduate.
After some years of inactivity, I created Ciegos Venezuela, a website (in Spanish) to provide information for and about people with visual disabilities. On several occasions, as part of my work for the site, I had to do some text processing, mainly extracting and transforming data from tables in MS Word and plain text. I took the opportunity to do some F# and Python programming to do these tasks.
Lately, I have been reacquainting myself with Haskell as well as learning some Rust. For rust, I have been using Exercism.org. The exercises I have solved are available on my profile on Exercism.