Antti Valmarin kirjoitelmia

Huom! Muualla julkaistut kirjoitelmat eivät välttämättä ole täällä täysin samassa muodossa. Olen kysynyt luvan uudelleenjulkaisemiseen täällä aina kun se on tarpeen.

Filosofisia kirjoitelmia

Ohjelmoinnin luonnontiede Virkaanastujaisesitelmä, jonka pidin 3.12.1999 saatuani 1.7.1999 ylennyksen ex-apulaisprofessorista oikeaksi professoriksi.

Korkeakouluopetukseen ja -tutkimukseen yleisesti liittyviä kirjoitelmia

Matematiikan tarve ohjelmistotyössä Julkaistu Arkhimedes 2/2001 ss. 18--22.
Ohjelmointi vuonna 2000 Julkaistu Aamulehden alakerta-artikkelina (sivu 2) 24.10.2000.
Kun ohjelmistotuotanto ei riitä Julkaistu Tietojenkäsittelytiede, kesäkuu 2000, ss. 10-14. Käsittelee matematiikan ja formaalien menetelmien merkitystä vaativien käytännön ohjelmisto-ongelmien ratkaisemisessa.
Tietotekniikan huippukoulutuksen vinoutuma Julkaistu Suomen Kuvalehti 18, 5.5.2000.
Insinööreille töitä -- mutta millaisille? Julkaistu Suomen Kuvalehti 50, 16.12.1994.
Julkaisujen hyväksymismenettelyt tietojenkäsittelytieteen alalla Uusille tutkijoille ja muille kiinnostuneille tarkoitettu johdanto tieteellisen julkaisemisen saloihin. Ei sisällä varsinaisia kirjoitusohjeita, vaan muuta hyödyllistä tietoa.
Tietojenkäsittelyn opetusmateriaaliyhteistyö yliopistojen välillä Muistio 24.2.2000, tarkastelee opetusmateriaaliyhteistyön ongelmia ja sisältää luonnoksen yhteistyön pelisäännöiksi.
Näkökohtia kurssipalautejärjestelmästä TTKK:n omaan käyttöön tarkoitettu kirjoitelmani 20.1.2000, jonka sittemmin muokkasin tänne pantavaksi.
Pari sanaa ResearchIndex viittaustietokannan luotettavuudesta Koska ResearchIndex on mielenkiintoinen tietokanta jonka nojalla on helppo tehdä hätiköityjä johtopäätöksiä, päätin kirjoittaa muutaman varoituksen sanan 6.10.2000.
Vain parasko on hyvä? Mielipidekirjoitus 14.12.1999. Tarkoitettu vastaukseksi Aamulehden TTKK:n tietotekniikkaa kohtaan huippuyksikkönimitysten yhteydessä osoittamaan kritiikkiin.
Mitä on Kolmogorov-kompleksisuus? Lyhyt kirjoitelma 11.10.2000.
Luonnontieteitä yleissivistyksen vuoksi Yleisönosastokirjoitus Aamulehdessä vuonna 1998.

Tutkimustyöhöni liittyviä kirjoitelmia

Verification Algorithm Research Group Tutkimusryhmäni ja sen tulosten esittely, päivitetään aika ajoin.
Verification of the Behaviour of Reactive Software with CFFD-semantics and Ara Tools (yhdessä Reijo Savolan kanssa) Tutkimusryhmäni verifiointilähestymistavan perusideaa havainnollistavan, 1995 julkaistun ja jo hieman vanhentuneen artikkelin seittiversio.
Julkaisuluetteloni Päivitetään aika ajoin. CV:ni toimitan tarvittaessa pyynnöstä.

TTKK:n toimintaan liittyviä sivuja, joiden ylläpito on vastuullani

TTKK:n Ohjelmistotekniikan laitoksen jatko-opinto-opas 10.11.1998
TTKK:n tutkijakoulu: Ohjelmistot ja protokollat Vetovastuullani olevan pienimuotoisen tutkijakoulun esittely ja pelisäännöt, päivitetään aika ajoin.
Books for Information Technology Postgraduate Studies Tietotekniikan jatko-opiskelijoille sopivien kirjojen sähköisten luettelojen kotisivu.

Menneiden tilaisuuksien kotisivuja

Sivu päivitetty 25.6.2001