meta user
network profile
| bio | website | cs.huji.ac.il/~shaull |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 3 months |
| seen | 16 mins ago | |
| stats | profile views | 65 |
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.
This user has not asked any questions
|
Computer Science | 4,063 rep | 1210 |
|
Theoretical Computer Science | 590 rep | 210 |
This user has no active bounties
70 Votes Cast
| all time | by type | month | week | day | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 66 | up | 46 | question | 20 | 4 | 1 | ||||
| 4 | down | 24 | answer | |||||||
