Bio
Beta got into informatics at the age of 10, wanting to program his own computer games. He caught the bug from his dad, who was also a programmer. He then went on into electronics, with his heart set on robotics.
He arrived at Manas in 2005 after 6 years in the industry, and stayed until 2009, when the company gave him a scholarship of sorts so he could finish his thesis. After graduating, he and his wife toured Europe and soon after he moved there to get a doctorate degree in Germany. Having returned to Argentina, and settling in Cordoba with a research position, he returned to Manas to take on the role of Team Lead & Project Manager for Crystal.
Having his heart set on playing drums from a young age, he took a long detour into guitar first, and eventually reunited with his drumming passion in these past years.
Last year's activity
- Blog - Nov 2009
The long and winding road... to a master thesis
- Blog - Nov 2008
Different properties one can expect from any λ-calculus
- Blog - Nov 2008
Making a thesis
- Blog - Sep 2008
Explicit Substitutions, or Substitutions If You Need to Implement Them
- Blog - Jul 2008
And now for something completely different
- Blog - Jun 2008
How to create "recursive" functions in λ-calculus
- Blog - May 2008
Arithmetic with Lambda Calculus
- Blog - Mar 2008
Lambda Calculus
- Blog - Mar 2008
Basis of Term Rewriting Systems