Synthesis researcher (HW/SW).
I like stupid questions; they are the hardest.
- Stack Overflow 1.1k 1.1k 11 gold badge1515 silver badges3131 bronze badges
- Computer Science 976 976 11 gold badge66 silver badges2121 bronze badges
- Server Fault 573 573 11 gold badge44 silver badges66 bronze badges
- Mathematics 295 295 11 silver badge99 bronze badges
- Ask Ubuntu 289 289 11 gold badge22 silver badges1313 bronze badges
- View network profile
Top network posts
- 47 How to remove Private Key Password from pkcs12 container?
- 17 SLURM: How to run 30 jobs on particular nodes only?
- 17 Memory Consistency vs Cache Coherence
- 10 Algorithm to translate a deterministic Büchi automaton to LTL (when possible)
- 10 Where might I find a method to convert an arbitrary boolean expression into conjunctive or disjunctive normal form?
- 9 What is the relation between First Order Logic and First Order Theory?
- 8 Automata theory on infinite words: any video lectures?
- View more network posts →