Mayer Goldberg's Homepage (‮מֵאִיר גּוֹלְדְּבֵּרְג‬)

Table of Contents

Everybody seems to understand that astronomers do astronomy because astronomy is interesting. Why don't they understand that I do computer science because computer science is interesting? And that I'd do it regardless of whether or not it made money for anybody?

Donald E. Knuth

1. Contact Information

2. Research

2.1. Research Interests

  • The Lambda Calculus & Combinatory Logic
  • Programming Languages
    • Interpretation & Compilation
    • Functional Programming
    • Continuations & Control
    • Object-Oriented Programming
    • Computational Reflection
    • Threaded Computation
  • Automated theorem proving (Coq, NuPRL, etc)

3. Teaching

  • Introduction to Compiler Construction, Fall 2024
  • Introduction to the Lambda Calculus & Combinatory Logic, Spring 2025

4. Departmental duties

5. Personal interests

6. This website has a seriously drab look, that was outdated already back in the 1990's…!

  • While the look is drab, mainly because I know very little about graphical design
  • The website is generated from org-mode in GNU Emacs
  • Org-mode is powerful, and I've added support in GNU Emacs for typing in languages, so the combination of left-to-right language and ‮שָׂפוֹת שֶׁנִּכְתָּבוֹת מִיָּמִין לִשְׂמֹאל, או كِتَابَتْهَا مِن الْيَمِين إلَى الْيَسَار‬ is accomplished simply and accurately
  • The website is currently (as of 2025) being updated rapidly, and more material is added weekly

So please give the website a second look… ☺

Author: Mayer Goldberg (‮מֵאִיר גּוֹלְדְּבֵּרְג‬)

Created: 2025-06-24 Tue 00:41

Validate