meta user
network profile
| bio | website | frama-c.com |
|---|---|---|
| location | EU | |
| age | 37 | |
| visits | member for | 5 months |
| seen | Mar 24 at 13:24 | |
| stats | profile views | 1 |
I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://blog.frama-c.com/
|
Stack Overflow | 24,191 rep | 22885 |
|
Web Applications | 221 rep | 11 |
|
Meta Stack Overflow | 218 rep | 16 |
|
Programmers | 211 rep | 13 |
|
Theoretical Computer Science | 151 rep | 13 |
This user has no active bounties
2 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 2 | up | 0 | question | ||
| 0 | down | 2 | answer | ||
