Shaull Almagor's Homepage
This site is outdated. Please visit my new homepage.
I am currently a research assistant at Oxford University , UK.
Formal Verification, Synthesis, Automata theory, Weighted logics, CS Theory in general.
Find tex symbol by handwriting it.
Online tex equation editor.
Online Encyclopedia of Integer Sequences.
CS Theory at Stackexchange and CS at Stackexchange.
What should you drink while listening to your favorite music?
I taught high-school math at the Israeli Arts and Science Academy [2012-2015]
Hobbies: Playing drums, guitar, bass, piano, harmonica, writing, reading, and watching movies.
You can listen to some of my recorded songs here.
I've been known to burst into song with Jonathan Mosheiff