Databases
StackOverflow2013
Usersdbo
USBakuriu
AboutMe
 

Note that there are some explanatory texts on larger screens.

plurals
  1. USBakuriu
    text
    copied!<p>I'm a Computer Science student at the <a href="https://scuolasuperiore.uniud.it/" rel="nofollow noreferrer">Scuola Superiore</a> of the University of Udine. I've been interested in Computer Science since high school. Being pretty good at school I've enrolled in one of the <a href="http://en.wikipedia.org/wiki/Superior_Graduate_Schools_in_Italy" rel="nofollow noreferrer">Schools of Excellence</a> in Italy. In this institution I had the chance to follow many interesting courses not included in the standard CS curriculum: from Bioinformatics to Neural Networks, from Category Theory to Reverse Mathematics, from Logical Frameworks to Statistical Mechanics. During my enrollment I had to keep a very high mark score in my exams and I had periodic evaluation exams that taught me how to work and learn under pressure.</p> <p>In the last 10 years I've been using quite a bit of <a href="/questions/tagged/python" class="post-tag" title="show questions tagged &#39;python&#39;" rel="tag">python</a>, as you can see from my answers. In the last 3 years I have also been interested in functional programming, in particular in <a href="/questions/tagged/haskell" class="post-tag" title="show questions tagged &#39;haskell&#39;" rel="tag">haskell</a>, and my Bachelor thesis project involved implementing <em>in</em> Haskell a type inferencer <em>for</em> Haskell inside an already existing research tool.</p> <p>I have used <a href="/questions/tagged/java" class="post-tag" title="show questions tagged &#39;java&#39;" rel="tag">java</a> during my Master thesis where I have implemented some advanced algorithms into an <a href="http://www.dcs.ed.ac.uk/pepa/tools/plugin/" rel="nofollow noreferrer">existing Eclipse plug-in</a> developed at the University of Edinburgh (my contribution has not been released yet).</p> <p>Other languages I've used include: <a href="/questions/tagged/c" class="post-tag" title="show questions tagged &#39;c&#39;" rel="tag">c</a> (in particular in relation with the <a href="/questions/tagged/python-c-api" class="post-tag" title="show questions tagged &#39;python-c-api&#39;" rel="tag">python-c-api</a>),<a href="/questions/tagged/c%2b%2b" class="post-tag" title="show questions tagged &#39;c++&#39;" rel="tag">c++</a>, <a href="/questions/tagged/curry" class="post-tag" title="show questions tagged &#39;curry&#39;" rel="tag">curry</a>, <a href="/questions/tagged/prolog" class="post-tag" title="show questions tagged &#39;prolog&#39;" rel="tag">prolog</a>, <a href="/questions/tagged/javascript" class="post-tag" title="show questions tagged &#39;javascript&#39;" rel="tag">javascript</a>.</p>
 

Querying!

 
Guidance
An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload