User:Mgreenbe

Wikipedia:Babel
en This user is a native speaker of the English language. λ This user is fluent in Lambda calculus. he-3 משתמש זה יכול לתרום ברמה מתקדמת של עברית.‏ tmr-2 האי מיתהנא משתעי בארמאה דתלמוד בבלי בדרגא מציעתא. ru-1 Этот участник владеет русским языком на начальном уровне. la-2 Hic usor media latinitate contribuere potest. el-1 Αυτός ο χρήστης μπορεί να συνεισφέρει σε βασικού επιπέδου ελληνικά. This user contributes using Firefox. This user contributes using Linux.
Search user languages

My name is Michael Greenberg. I am a

• handle (computer science)
  might have to go in as its own article
• CTL* (and CTL and LTL could bear with touching up)
• More detail on Robert Floyd's predecessor to Hoare logic for proofs over flowcharts
• Factory object
  needs an example

People

• Dsol | Talk | Contrib
• Urthogie | Talk | Contrib
• Dunadan11 | Talk | Contrib

Quick note: these aren't sockpuppets, they're friends.