Seif Haridi
Seif Ahmed Haridi, född 1 januari 1953 i Egypten, är professor i datorsystem vid KTH.
Efter ingenjörsexamen i elektronik och kommunikationssystem vid Cairo University 1974 kom Seif Haridi till Sverige för att doktorera. Han disputerade vid KTH 1981 inom datorsystem. Därefter arbetade han på IBM i USA och kom tillbaka till Sverige 1986 som forskningsledare på det nybildade forskningsinstitutet SICS. 1993 blev han forskningschef på SICS och 1999 professor vid KTH Skolan för informations- och kommunikationsteknik[1].
Seif Haridi och Peter Van Roy har skrivit boken Concepts, Techniques, and Models of Computer Programming - Textbook and Reference Work som utgavs av MIT Press 2004. Boken har rönt stor uppmärksamhet världen över[2].
I början av 2009 utsåg Ny Teknik och Affärsvärlden de 33 hetaste företagen ”med förutsättning att förändra spelreglerna i sin bransch”. Haridis företag Peerialism var ett av dessa företag[2].
Haridi har mottagit Xerox, Chester Carlsons forskningspris i informationsvetenskap 1991, av Kungliga Ingenjörsvetenskapsakademien för arbete med logikprogrammering och för teoretisk och praktisk utveckling av datorsystem med parallella processorer samt IEEE Scalability Prize för Scalaris, scalable transactional key-value store (tillsammans med ZIB-gruppen), 2010[1].
Haridi har också varit med i det egyptiska landslaget i bordtennis.[2]
Bibliografi redigera
- The use of SIMON in multiprocess based programs. Trita-CS, 0347-1179 ; 7805. Stockholm. 1978. Libris 240908
- Logic programming based on a natural deduction system. Trita-CS, 0347-1179 ; 8104. Stockholm. 1981. Libris 278830
- Properties of a logic programming language. Technical report - Uppsala Programming Methodology and Artificial Intelligence Laboratory, 99-0401302-0 ; 8. Uppsala. 1981. Libris 388434
- Industriell tillämpning av logikprogrammering. Mekanresultat, 0586-0911 ; 88002. 1989. Libris 870198
- DDM : a cache-only memory architecture. SICS research report, 0283-3638 ; 91:19. Kista: Swedish Institute of Computer Science (SICS). 1991. Libris 1768624
- EURO-PAR '95 : parallel processing. Lecture notes in computer science, 0302-9743 ; 966. Berlin: Springer, cop. 1995. Libris 5375628. ISBN 3-540-60247-X
- Concepts, techniques, and models of computer programming. Cambridge, MA: MIT Press, cop. 2004. Libris 9114371. ISBN 0-262-22069-5
- ForestCast : a central solution to heuristically constructing trees. SICS technical report, 1100-3154 ; T2007:12. Kista: Swedish Institute of Computer Science. 2007. Libris 11676286
- Atomic ring maintenance for distributed Hash tables. SICS technical report, 1100-3154 ; T2007:05. Kista: Swedish institute of computer science. 2007. Libris 11676248
Referenser redigera
- ^ [a b] Seif Haridi. ”Seif Haridi CV”. http://www.sics.se/~seif/CV/CV-2012.htm. Läst 13 mars 2014.
- ^ [a b c] ”En forskare med visioner”. KTH. Arkiverad från originalet den 13 mars 2014. https://web.archive.org/web/20140313170238/http://www.kth.se/ict/forskning/cos/intervjuer/en-forskare-med-visioner-1.51464. Läst 13 mars 2014.
Källor redigera
- Jannecke Schulmann (1 november 2009). ”En forskare med visioner”. KTH Skolan för informations- och kommunikationsteknik. http://www.kth.se/ict/forskning/cos/intervjuer/en-forskare-med-visioner-1.51464. Läst 13 mars 2014.
- ”KTH profilsida”. KTH. https://www.kth.se/profile/haridi/. Läst 13 mars 2014.
- Seif Haridi. ”Seif Haridi”. http://www.sics.se/~seif/. Läst 13 mars 2014.
- ”SICS”. SICS. http://www.sics.se. Läst 13 mars 2014.
- ”Programvaruteknik och datorsystem”. KTH Skolan för informations- och kommunikationsteknik. http://www.kth.se/ict/forskning/programvaruteknik-och-datorsystem. Läst 13 mars 2014.