Hyper Natural Deduction
After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...
Tagged: Research
Software Development as mathematician in academia – everyone bites the dust
Is it possible to do software development, mathematical or not, as mathematician in academics? This is a question I was asking myself recently a lot, seeing my own development from logician at a state...
The poison of academia.edu
All those working in academics or research have surely heard about academia.edu. It started out as a service for academics, in their own words: Academia.edu is a platform for academics to share research papers....
就職活動
昨日僕の大学の契約が切れてしまった。これまで６年半北陸先端科学技術大学院大学で准教授として務めていたが、新年度から延長されないことになった。従って、新しい勤め先を探しているー僕の年齢を見るとあまりよろしくない。５年の件を潜脱した先端大学へ感謝！
Searching for a job
Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means,...
Recent silence – scientific freak weeks
If you wonder why it was so silent here over the last weeks, there is a simple explanation: I am on scientific freak weeks 😉 As you might know, in my main profession I...
