jump to navigation

Immersed March 30, 2010

Posted by Elfi in Research.
add a comment

I got completely immersed into these three papers:

Since Hanka is writing her PhD thesis – that is she is busy – things are easy for me to sort out and focus solely on my research and climbing 🙂

What is new otherwise? My laptop produces so much noise that I reduced using it to a bare minimum. I am looking around for a new one but I want to wait until Apple plays its quad core cards. My main requirements are 13″ inch screen, good workmanship, a lasting battery and very low noise components.

At CERN, they are likely more happy with their hardware today. It is reported that beams collided at 7 TeV in the LHC at 13:06 CEST.

New Things to Learn November 29, 2009

Posted by Elfi in Research.
add a comment

I have been twiddling with computability, mathematical logic and category theory for the past few months. I was very happy to find this area since no Web 2.0 related technology, Java 7 or software engineering in general light a spark of interest in me.

So, my plan is to work through N.J. Cutland’s Computability, S. Awodey’s Category Theory and selected papers of S. Abramsky, consult a lot with people at The Programming Logic Group in Göteborg and back up my understanding via the ways of programming in Haskell, Coq and Agda. The goal is to find new connections between computer science and physics. This ties nicely with quantum computing and algorithms I was involved with during my PhD period.

Yeah, and these books I would like to read too.

It feels good to get up in the morning so much inspired and looking forward to the day.

A follow up