Katsuhiro Ueno (上野 雄大)

my portrait

I am an associate professor (准教授) at the Academic Assembly Institute of Science and Technology, Niigata University. I also belong to the Graduate School of Science and Technology and the Faculty of Engineering as a faculty member, and the Big Data Activation Research Center and Sakeology Center as a cooperating faculty member. I received my Doctor of Philosophy (Information Sciences) (博士（情報科学）) from Tohoku University in 2009 under the supervision of Professor Atsushi Ohori. Before joining Niigata University, I was an assistant professor (2009—2016) and associate professor (2016—2021) of the Research Institute of Electrical Communication, Tohoku University. My research interests are in areas related to computer systems and software construction, especially programming and programming languages.

The list of my publications and other activities is found in the following webpages:

Research Interests

fun fib 0 = 0 | fib 1 = 1
| fib n = if n <= 10 then
fib (n - 1) + fib (n - 2)
else let val t = create
(fn _ => fib (n - 2)) in
fib (n - 1) + join t end

I am interested in reconciling the gap between the theory and practice of software construction. My approach to this reconcilation is to provide a new programming environemnt that is firmly established in theory while satisfying the needs of real programming practice. A central focus of my research is the development of the full-scale functional programming language SML# and its compiler. This language embodies the latest academic research results and includes practically important features such as seamless interaction with operating systems and relational databases, handling external dynamic data, and parallelism on multicore processors. My colleagues and I have been developing both the theoritical foundations and implementation techniques for these features and demonstrating the feasibility and significance. My general research interests include the following topics:

I am also curious about interdisciplinary fields between computable information and inherently uncomputable human sensibility and creativity. My research questions in this field include the following:

Information for Students

Notice for International Individuals Interested in Joining Our Group

Please do not write to me directly. Instead, follow the enrollment procedures in Master’s Degree Programs or Doctoral Degree Programs in Niigata University and submit the inquiry form. If you still wish to ask me the chance of admission, please consider the following guideline, or your message will be ignored:

Contact

Hobbies