WE HAVE finally, formally applied to University of Oxford!

DPhil Research Proposal: Transforming Executable Alphabet (TEA) and Transformatics as new Foundations for modern Software Language Engineering


IN-BRIEF:

This document should also serve as my formal statement of purpose, although, it might be structured as a combination with a research proposal. Essentially, it outlines my proposed research directions and topic while pursuing the DPhil in Computer Science at the University of Oxford.

KEYWORDS: computer science, mathematical computing, transformatics, programming language research, TEA, intelligent software platforms, doctoral thesis concept

DOI: https://doi.org/10.6084/M9.FIGSHARE.30226204

† POTENTIAL PHD Mentor: Prof. Nabuko Yoshida

O Background: Professor Nobuko Yoshida: ACM Editor currently an editor of ACM Transactions on Programming Languages and Systems (ACM), Formal Aspects of Computing (FAC), Mathematical Structures in Computer Science (CUP), Journal of Logical Algebraic Methods in Programming (Elsevier), Acta Informatica (Springer) ...

profile: https://www.cs.ox.ac.uk/people/nobuko.yoshida/

🟠⚪⚪⚪⚪⚪ the PHD team

O Background..

Research areas of interest & supervisor:

programming languages 

(Professor Nobuko Yoshida: ACM Editor currently an editor of ACM Transactions on Programming Languages and Systems (ACM), Formal Aspects of Computing (FAC), Mathematical Structures in Computer Science (CUP), Journal of Logical Algebraic Methods in Programming (Elsevier), Acta Informatica (Springer) ...

profile: https://www.cs.ox.ac.uk/people/nobuko.yoshida/

Professor Jeremy Gibbons
research interests are in programming methodology—that is, in better languages for writing computer programs, and better ways of using the languages we already have. I am particularly concerned with functional languages (which emphasize computing with values rather than with actions) and object-oriented languages (which encourage program structures that reflect the structure of the real-world entities they are modelling), and with ways of expressing and reasoning about recurring patterns in software structure.

jeremy.gibbons@cs.ox.ac.uk

profile: https://www.cs.ox.ac.uk/people/jeremy.gibbons/

ORCID: https://orcid.org/0000-0002-8426-9917

blog: http://patternsinfp.wordpress.com/

His Advise to potential DPhil students:


First some general advice about DPhil study. (In Oxford, the doctoral degree is called a "DPhil" rather than a "PhD".) I see a doctorate as an apprenticeship in research, with the supervisor as a mentor. The doctorate is successful if the graduating student is equipped for a career as an independent researcher (whether or not the student chooses to follow that career).

Once conseqeuence of this perspective is that the supervisor spends a lot of time with the student, working closely together: it is not simply a matter of providing a student with laboratory space and letting them get on with it. The collaboration may start with topics of the supervisor's choosing, with the student learning from the supervisor; but ideally, as the student gains independence, the topics start to be of the student's choosing, and the supervisor learns new things from the student as well. A DPhil should be a voyage of joint discovery.

As a corollary, if you are applying to work with a certain supervisor, you are applying to take up some considerable fraction of their time, and you have to persuade the potential supervisor to make that investment.

You need to be able to tell a compelling story as to why your proposal is more interesting than something else they are doing. And that means more interesting to them, not to you. Find out what their research vision is, by studying what they are currently working on, and think about ways in which you can help move that vision forwards, perhaps in a slightly different direction. But don't be surprised if they are unwilling to drop their own interests in favour of yours.


I am interested in supervising work in functional programming (TRANSFORMATICS is here), mathematics of program construction (automated program generation is here), programming patterns, types in programming, generic programming, domain-specific languages, program correctness—all of which I have published on in the past...

Recommended background reading: https://patternsinfp.wordpress.com/2010/09/18/story-so-far/

--------

Other Topics:

artificial intelligence and machine learning

data, knowledge and action

Concerning new modern Mathematics from UGANDA, what do you think this is..

****!!{=======[  -]======- ...     ...,            -.   ,       -     .    ;  ,      .=============================}!{,       }*!!{ }! ( `'  ){.(())||}{()}!__!^$(()=>.(/) + (%))()*{}*(()=>(.(/) + (%))%)()*{}*(()=>( + )%)()*{}*(()=>.( - )%)()*{}*(()=>.((**.)/) + .((**.)%))()*{}*(()=>.(.( -*.)/) + .(.( -*.)%))()*{}*(()=>.(.(*.)/) + .(.(*.)%))()*{}*[(,), (,), (,), (,),(,),*{}(,), (,), (,), (,),(,)]*{}*{}*{,}___{(()=>{[,,]=.(/^(\+),(\+),\[(.*)\]$/).(),=.(/\((\+),(\+)\)/).(=>.(/\((\+),(\+)\)/).().()),=.({+},()=>(+).(" "));.(([,])=>{(>=&&<=&&>=&&<=)[-][-]=""}); .(=>.("")).("\")})();}*_!{__   -  }*!*{}!__!{   .  }!{===[    -   ]===    !}!---[- ..  ]---

ABSTRACT:

A new mathematics for psychology is being proposed in this work... that bring forth a new light on the fundamental science of the mind --- both at the individual and at the mass/collective scale.

KEYWORDS: Foundations, Transformatics, Artificial Statistical Intelligence, Information Processing, Sequence Transformers, Perception, Sensing, Actuators, Physiology, Blood, Mind, Consciousness

BOOK-PREPRINT: DOI: https://doi.org/10.6084/m9.figshare.30231748

TO CITE:

@article{Lutalo2025transpsy,
  author = "Joseph Willrich Lutalo",
  title = "{Transformatics for PSYCHOLOGY}",
  year = "2025",
  month = "9",
  note = "Accessible via: https://doi.org/10.6084/m9.figshare.30231748",
  doi = "10.6084/m9.figshare.30231748"
}

ABSTRACT:

A new theory for psychology has been proposed in this work, the core of which is founded on understanding and codifying the material basis of psychology as a behavioral science in the age of both biological and artificial systems that are capable of not just awareness and perception but also learning and behavior/reaction. The purpose was especially to build a foundation via which future work in psychology might take advantage of Transformatics as a coherent body of mathematical ideologies and techniques that are universally applicable in any science. A significant share of this work built upon earlier, and recent results in especially theory, by the author, concerning new mathematical ideas under the umbrella of Transformatics, and how they have been successfully applied to another biological discipline, Genetics, of which, and as we argue in the later sections of this work, likewise serves as a basis for much of the empirical subjects in psychology. Thus, starting from some fundamentals of what defines psychology as a scientific discipline, we steadily build a new approach to some fundamental ideas and concepts in this subject, especially from the point of view of someone already familiar with how transformatics helps establish new foundations for any science, and from which we then demonstrate how to build or evolve new ideas, most of them mathematical, or philosophical using that method, and which then serves to bring forth a new light to this fundamental science of the mind. As far as results are concerned, we have advanced two working definitions of psychology, one originally by the author, have proposed four important problems for students and readers to use to further the ideas presented in the this work, and have not only presented for the first time, an original mathematical definition of blood, but have also gone ahead, to demonstrate how it could be used to unambiguously specify physiological and psychological pathologies with immediate clinical relevance as laid out in two theorems concluding this present undertaking. We have called out several next steps as well as how other researchers might carry forward the work we have started here.

KEYWORDS: Foundations, Transformatics, Statistical Artificial Intelligence, Information Processing, Sequence Transformers, Perception, Sensing, Actuators, Physiology, Psychology, Blood, Mind, Consciousness

BOOK-PREPRINT: DOI: https://doi.org/10.6084/m9.figshare.30231748

TO CITE:

@article{Lutalo2025transpsy,
  author = "Joseph Willrich Lutalo",
  title = "{Transformatics for PSYCHOLOGY}",
  year = "2025",
  month = "9",
  note = "Accessible via: https://doi.org/10.6084/m9.figshare.30231748",
  doi = "10.6084/m9.figshare.30231748"
}

TRANSFORMATICS for PSYCHOLOGY (2nd OCT 2025) | the conference (13th International East African Psychology Conference: https://ieapc.unik.ac.ug/) |University of KISUBI | Fut. Prof. JWL presentation deck

On 1 page, 10 foundational results that help establish and guide the foundations of Transformatics as its own branch of mathematics.

TITLE: Transformatics 101

The Answer To: But what really is this TRANSFORMATICS all about? Why is it necessary and where is it being applied?

ABSTRACT:

In only 10 general foundational results --- all based on earlier mathematical research by the author, we distill and establish, in a summarized form, the core foundations of Transformatics as its own mathematical theory, branch, or discipline. In this presentation, each foundational result is accompanied by one or more references to some earlier work where the idea or presented concept was first developed, presented, or applied by the author during their research.

KEYWORDS: Foundations, Transformatics, Sequence Analysis, Sequence Transformers

DOI: https://doi.org/10.6084/m9.figshare.30285106
URL: https://www.academia.edu/144314085/Transformatics_101