[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Ahti |
| 2. | Perekonnanimi | Peder |
| 3. | Töökoht | Tartu Ülikool, arvutiteaduse instituut |
| 4. | Ametikoht | assistent |
| 5. | Sünniaeg | 29.08.1976 (päev.kuu.aasta) |
| 6. | Haridus | MSc |
| 7. | Teenistuskäik | 2001-.. - arvutiteaduse instituudi assistent |
| 8. | Teaduskraad | MSc |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Tartu Ülikool, 2001 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Olen Matemaatika-informaatika teaduskonna nõukogu liige. |
| 12. | Juhendamisel kaitstud väitekirjad |
|
| 13. | Teadustöö põhisuunad | Digitaalskeemide veadiagnostikas on kasutusel binaarsete otsustusdiagrammide erijuht - stuktuurselt sünteesitud binaarsed otsustusdiagrammid. Vastavad diagrammid said elujõu seoses kiirete väärtustajate väljatöötamisega (R. Ubari töödes). Osutub, et sedaliiki otsustusdiagrammide abil on paljusid diagnostikaprobleeme hea matemaatiliselt kirjeldada. Minu eesmärgiks on vastava formalismi väljatöötamine ja selle abil omaduste uurimine. |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
A. Jutman, A. Peder, J. Raik, M. Tombak. Structurally synthesized binary decision diagrams. Sixth International Workshop on Boolean Problems, September 23-24, 2004, Freiberg, Germany, pp. 271-278 R. Ubar, T.Vassiljeva, J.Raik, A.Jutman, M.Tombak, A. Peder. Optimization of Structurally Synthesized BDD-s, Modelling Simulation and Optimization (MS02005), August 17-19, 2004, Hawaii, USA A. Peder, M. Tombak, A. Isotamm. A Meta-compilerfor propositional Formulae. Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), University of Szeged, June 15-16, 2001, Szeged, Hungary, pp. 250-261. |
viimati muudetud: 06.10.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Ahti |
| 2. | Surname | Peder |
| 3. | Institution | University of Tartu |
| 4. | Position | Assistant |
| 5. | Date of birth | 29.08.1976 (day.month.year) |
| 6. | Education | MSc |
| 7. | Research and professional experience |
|
| 8. | Academic degree | |
| 9. | Dates and sites of earning the degrees |
|
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
|
| 12. | Supervised dissertations | |
| 13. | Current research program | |
| 14. | Current grant funding | |
| 15. | List of most important publications |
A. Jutman, A. Peder, J. Raik, M. Tombak. Structurally synthesized binary decision diagrams. Sixth International Workshop on Boolean Problems, September 23-24, 2004, Freiberg, Germany, pp. 271-278 R. Ubar, T.Vassiljeva, J.Raik, A.Jutman, M.Tombak, A. Peder. Optimization of Structurally Synthesized BDD-s, Modelling Simulation and Optimization (MS02005), August 17-19, 2004, Hawaii, USA A. Peder, M. Tombak, A. Isotamm. A Meta-compilerfor propositional Formulae. Seventh Symposium on Programming Languages and Software Tools, SPLST'2001 (Ed. T. Gyimothy), University of Szeged, June 15-16, 2001, Szeged, Hungary, pp. 250-261. |
last updated: 06.10.2005
[ sulge aken ]