Tagged: Research

Hyper Natural Deduction 0

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...

The poison of academia.edu 3

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....

就職活動 0



Searching for a job 4

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,...