Interesting posts in (defunct) eXactas site
I am a software developer for Google at Globant.
In the past I did work at Evolution Robotics
and at Intel Corporation.
More details at my
During three years I was also a lecturer at the Computer Science Department, in R-323 Communications and in R-212 Data Structures and Algorithms I.
I obtained a degree in Computer
Science (more precisely, a five years Licenciatura). My final thesis,
entitled "Unit testing of concurrent
provided a framework to execute unit testcases for C programs
in all the possible interleavings of its atomic actions, in a way that
is independent of the underlying threading mechanism (and in 100% pure
C code). The framework was implemented extending an existing
software: CUnit. The
extension was called CUThread.
You can find the report here
(in spanish) and a CUnit 2.1.0 package with the
CUThread extension here.
Projects I was involved:
"Intel Atom Microarchitecture" talk at 2009 Argentine Conference on Micro-Nanoelectronics, Technology and Applications, Balseiro Institute, Bariloche Atomic Center, Argentina.
In this conference there is a workshop for Electronic Engineering students from all the country that builds in 1 week a complete microprocessor from the ground up, including its design, serigraphy, deposition of substrate in silicon, die soldiering to the metallic pins and power up and monitoring of the chip. All is done in the BAC's clean rooms.
a framework which allows to write audio visualization plugins
without the need to handle every aspect of the process. It lets you
concentrate mostly on the artistic
part of the job. The project leader is Dennis Smit (yes, with no 'h',
: a C library
implementing a composable
model. The library is under development and
it's implemented in a portable way, without depending on any particular
thread/memory model. Currently, I'm the project leader.
- Infinity Visualization Plugin:
originally written for the XMMS audio player and now ported to
Base code was written by Julien Carme and I made many improvements and became the
(Gidiss Trusted Linux): is a security enhanced Linux with multi
level security. I have developed the trusted
window of it, a text line at the bottom of text
terminals, used as a trusted path from the kernel to the user.
You can read the details of the implementation on this document (in spanish). It is
a nice intro to the way the terminals are implemented on the Linux
kernel. The implementation was done modifying the VGA driver which
writes to a text terminal, and the whole project was my final work for
the elective class "Formals Methods for Information Security".
- Casual contributions to various projects: Nmap, Liferea, Boost, Mono and many others.