Area 51 » Jaco Ackermann

51
reputation
2 views
network profile

Registered User

name Jaco Ackermann
member for 3 years
seen Oct 16 at 9:28
website
location South Africa

BY DAY: Programmer at Private Property (South Africa, Durban). Coding in C#, doing data analysis using Windows Azure HDInsight (Hadoop).

BY NIGHT: Part time MSc CompSci student at UNISA. Researching search heuristics for automated theorem provers. My focus is on Event-B/Rodin and the suite of provers available in the Rodin tool suite.

FOR FUN: Helping to raise our 2 wonderful little ones.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


5

Votes Cast

5 up

0 down