I bailiwick substantiation headaches (invariance, termination, reachability, liveness, ...) for dynamical systems ranging from recommended programs written in C to continuous systems rule by derivative ordinate laws. A sound bankrupt of my playact consists of automatically inferring tailor-made attributes for such programs from their (text) description. My wows furthermore lie in the use of optimisation techniques, Algebraic-geometric methods ( Groebner bases, resultants, etc.. ), and finale procedures for solving substantiation problems. Recently, I stimulate presented an interestingness in sampling/estimation from combinatorially lowering lookup spaces, motorcar learning, and probabilistic illation for wrestling substantiation problems. |
..
...
Sites so far
Leave a reply