About

2024-02-29

I recently graduated from the University of Florida with a B.S. in computer science.

My interests are in:

• software design complexity and abstractions
• computational logic and theorem proving
• formal semantics of programming languages
• Scheme (Lisp) and functional programming
• Linux, Unix, Shell, and C programming

I am currently looking for job. If you have any leads, please email me at:

r dot bachmann dot work at icloud dot com