Peeter Laud
[ elulookirjeldus ]
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0012708s06 | Heterogeensete infosüsteemide teoreetiline ja praktiline turvalisus (AS Cybernetica, vanemteadur) | 2006 - 2011 |
| 2. | SF0182712s06 | Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused. (Tartu Ülikool, Matemaatika-informaatikateaduskond, vanemteadur) | 2006 - 2011 |
| 3. | ETF6713 | Programmide staatiline analüüs () | 2006 - 2009 |
| 4. | ETF6095 | Universaalselt komponeeritav turvalisus ja selle formaliseerimine (AS Cybernetica, vanemteadur) | 2005 - 2006 |
| 5. | SF0011799s01 | Elektrondokumentide krüptograafilised turvatribuudid ja nende pikaajaline säilitamine (AS Cybernetica, teadur) | 2001 - 2005 |
| 6. | ETF5568 | Krüptograafilised meetodid andmebaaside päringuvastuste kooskõla tagamiseks (Cybernetica AS / Tartu Ülikool, vanemteadur) | 2003 - 2004 |
| 7. | ETF5279 | Formaalsel semantikal baseeruv programmide analüüs ja teisendamine (Saarimaa Ülikool, doktorant) | 2002 - 2004 |
| 8. | ETF4917 | Programmide matemaatiline konstrueerimine II (AS Cybernetica, d.rant) | 2001 - 2003 |
| 9. | ETF4760 | Andmebaaside ja registrite päringuvastuste autentsuse pikaajalisuse tagamine (AS Cybernetica, teadur) | 2001 - 2002 |
| 10. | SF0320202s98 | Teadmuspõhiste juhtimis- ja infosüsteemide arenduskeskkonnad kõrgjõudlusega arvutivõrkudel (TTÜ Küberneetika Instituut, teadur) | 1997 - 2000 |