People at Savannah: Sylvain Hallé Resume & Skills
Follows Resume & Skills of Sylvain Hallé <sylvainjambon>.
Resume
-- Currently doing a Ph.D. in Mathematics in Montreal, Canada. Research project targeted at automated validation of logical properties on network devices and web services.
-- Interests: mathematical logic, complexity theory, applications of logic to artificial intelligence and computer networks
-- Also some experience in multimedia (Premiere, Flash, Illustrator)
Skills
| Skill | Level | Experience |
|---|---|---|
| C++ | Base Knowledge | 2 yr - 5 yr |
| MySQL | Base Knowledge | 6 Mo - 2 yr |
| Prolog | Base Knowledge | 5 yr - 10 yr |
| C | Good Knowledge | 2 yr - 5 yr |
| LaTeX | Good Knowledge | 2 yr - 5 yr |
| HTML | Master | 5 yr - 10 yr |
Powered by Savane 3.16-ed84.
Corresponding source code
