I am a Senior Research Fellow (permanent position) in the ULTRA (Logic, Types, and Rewriting) group in the Computer Science Department in the School of Mathematical and Computer Sciences at Heriot-Watt University (more info) in Edinburgh (more info), Scotland (more info).
(The members of the Computer Science department formerly
belonged to the now defunct Computing and Electrical Engineering
Department. The domain cee.hw.ac.uk
is now
obsolete; please don't use it anymore.)
Some of the student projects that I have supervised have made their results public and they are listed here. All of the software produced by these projects is free/libre software, sometimes called "open source" software.
diff
program) and patching (like the
line-oriented patch
program) XML documents.
My research interests are in the applications of advanced type systems and rewriting techniques primarily motivated by issues in the design and implementation of convenient, efficient, scalable, secure, and reliable programming language systems.
I have been involved in the following research efforts.
I have made available the following resources related to my research.
I have been involved in the development of research software, including the following.
I have been involved (other than as an ordinary participant) in the following international scientific meetings.
In general, I am happy to review conference and journal submissions in my area of expertise. However, I will not use web interfaces for my reviews unless I am myself on the PC of the conference to which a paper is submitted. I am willing to consider conference subreviewing requests and journal reviewing requests under the following circumstances:
I will not use a web interface, for a vast number of reasons. Just some of the reasons include the following. I am not willing to spend time working around the bugs of a web interface. I am not willing to manage another web account and its password.
Problems with computer hardware and software and networking can be difficult to diagnose and fix. If you want my help with any problems you are having, please be sure to include this information in your problem report:
E-mail: | Local Part: | Joe.Wells |
---|---|---|
Domain: | hw.ac.uk | |
Voice | (Office Tel.): | +44 131 451 3869 |
(I often work at home, so if I do not answer my office telephone, colleagues (not including students taking courses I am teaching) may try calling me at home. Send e-mail to get my mobile telephone number.) | ||
(Dept. Tel.): | +44 131 451 3328 | |
UK Local Time: | 2024-10-12 T 10:50:04+01:00 (Saturday) | |
(You may need to reload this page for the above time to be accurate.) | ||
UK Local Time Zone | (Current): | +01:00 (Offset relative to UTC. This time zone is locally called BST.) |
(Winter): | +00:00 (Offset relative to UTC. This time zone is locally called BDT.) | |
(In the UK a summer/winter time-zone change occurs on the last Sunday in March/October at 01:00+00:00.) | ||
Fax | (Dept. Office): | +44 131 451 3732 |
(Please notify me by e-mail if you send a fax to the above number so I can know to pick up the fax.) | ||
Post: |
School of
Mathematical and Computer Sciences
Heriot-Watt University Riccarton (more info) EDINBURGH EH14 4AS Scotland GREAT BRITAIN |
|
Office: |
EM 161 (Room 1.61, Earl Mountbatten Building)
(As of 2007-08-15, this is building number 3 on this map and between numbers 1 and 3 on this map. Both maps are linked from this web page with directions. It is also building number 2 on this obsolete older map.) |
Most of the Heriot-Watt Riccarton Campus is quite picturesque. There are many exotic trees, and a wide range of wildlife. One of our staff members, Adrian Hurt, has taken a number of pictures of the wildlife on the campus. I like his pictures of a goose, a number of young cygnets, and a family of swans.
One kind of wildlife is particularly common. The Riccarton campus is overrun by rabbits. In the winter, the Riccarton rabbits seem to have an unusual mode of hibernation. Periodically, the swarms of rabbits seem to suddenly disappear. There is some speculation that at these times the rabbits are beset by armed opponents. Photographic evidence obtained by Adrian shows that the rabbits may be preparing their response.
Adrian has also obtained photographs indicating that our school's new Colin Maclaurin building may be concealing some hidden purpose. It is possible that this has something to do with strange transformations that the Riccarton rabbits have undergone near the Colin Maclaurin building. There are also unholy buses in the vicinity, although it is unclear if this is related.
In 1929, John Desmond Bernal wrote a brilliant prophetic essay about the long-term future of humanity: our living environment, our physical nature, and our psychological nature. The breadth of this essay can only be hinted at by the following quotes:
We shall have very sane reactionaries at all periods warning us to remain in the natural and primitive state of humanity, which is usually the last stage but one in their cultural history. But the secondary consequences of what men have already done — the reactionaries as much as any — will carry them away then as now.
…
…; the dangers to the whole structure of humanity and its successors will not decrease as their wisdom increases, because, knowing more and wanting more they will dare more, and in daring will risk their own destruction. But this daring, this experimentation, is really the essential quality of life.
Alan Sokal's marvelously fun hoax article Transgressing the Boundaries: Towards a Transformative Hermeneutics of Quantum Gravity published in 1996 in the “journal” Social Text begins with the following wry (and technically completely accurate) commentary about the relationship between science and culture:
There are many natural scientists, and especially physicists, who continue to reject the notion that the disciplines concerned with social and cultural criticism can have anything to contribute, except perhaps peripherally, to their research. Still less are they receptive to the idea that the very foundations of their worldview must be revised or rebuilt in the light of such criticism. Rather, they cling to the dogma imposed by the long post-Enlightenment hegemony over the Western intellectual outlook, which can be summarized briefly as follows: that there exists an external world, whose properties are independent of any individual human being and indeed of humanity as a whole; that these properties are encoded in “eternal” physical laws; and that human beings can obtain reliable, albeit imperfect and tentative, knowledge of these laws by hewing to the “objective” procedures and epistemological strictures prescribed by the (so-called) scientific method.
For publishing this paper, the editors of Social Text won the 1996 Ig Nobel Prize for Literature (and winning the Ig Nobel is usually not an honor). The award presentation honored the editors “for eagerly publishing research that they could not understand, that the author said was meaningless, and which claimed that reality did not exist”. The publication of this paper triggered an enormous and wide-ranging debate (with hundreds (probably thousands) of articles) about the deleterious effects of postmodernism (and other movements influenced by postmodernism).
Linus Torvalds has a marvelous rant about how horrible C++ is, where he has this to say:
C++ is a horrible language. It's made more horrible by the fact that a lot of substandard programmers use it, to the point where it's much much easier to generate total and utter crap with it. Quite frankly, even if the choice of C were to do *nothing* but keep the C++ programmers out, that in itself would be a huge reason to use C.
You might enjoy reading P. Z. Myers's review of a recent book by classic crackpot Stuart Pivar. (But please don't even think of buying the book! For your amusement, search the web for the phrase “classic crackpot” to learn more about Pivar.) The best part of the review:
The doodles in this book bear absolutely no relationship to anything that goes on in real organisms, but after staring at them for a while, I realized what this book is actually about.
This book is a description of the development and evolution of balloon animals.
It's that bad. This is a book suitable only for use at clown colleges, and even there, I suspect the clowns would tell us that it is impractical, nonsensical, and has no utility in their craft.
“Joe Wells” is also:
I did not write this, but it seemed worth sharing:
I believe in time,
matter, and energy,
which make up the whole of the world.I believe in reason, evidence and the human mind,
the only tools we have;
they are the product of natural forces
in a majestic but impersonal universe,
grander and richer than we can imagine,
a source of endless opportunities for discovery.I believe in the power of doubt;
I do not seek out reassurances,
but embrace the question,
and strive to challenge my own beliefs.I accept human mortality.
We have but one life,
brief and full of struggle,
leavened with love and community,
learning and exploration,
beauty and the creation of
new life, new art, and new ideas.I rejoice in this life that I have,
and in the grandeur of a world that preceded me,
and an earth that will abide without me.