meta user
network profile
| bio | website | cs.huji.ac.il/~shaull |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 5 months |
| seen | 5 hours ago | |
| stats | profile views | 98 |
Ph.D Student in the Hebrew University, Jerusalem, Israel.
Research interests: Formal Verification, Temporal Logic, Automata theory, Weighted automata and weighted logics, and all things theoretical.
|
Computer Science | 3,985 rep | 210 |
|
Theoretical Computer Science | 590 rep | 210 |
This user has no active bounties
28 Votes Cast
| all time | by type | month | |||||
|---|---|---|---|---|---|---|---|
| 26 | up | 17 | question | 3 | |||
| 2 | down | 11 | answer | ||||
