Rafael Lins
Rafael Dueire Lins holds a B.Sc. degree in Electrical Engineering (Electronics) from the Federal University of Pernambuco, Brazil (1982) and a Ph.D. degree in Computing from the University of Kent at Canterbury, UK (1986). Lins published 10 books, amongst them the best-seller \Garbage Collection: Algorithms for Dynamic Memory Management\, (John Wiley & Sons , UK,1996) translated into Chinese (Mandarin) and published by ChinaPub in 2004. His pioneering contributions encompass the creation of the Lambda- Calculus with explicit substitutions, the first general and efficient solution to cyclic reference counting in sequential, parallel and distributed architectures. Lins was one of the pioneer researchers in document engineering and digital libraries in Latin America. In this area, he was the first to address the problem of back-to-front interference (bleeding) in documents. Lins supervised 44 M.Sc dissertations and 7 Ph.D. thesis in computer science and electrical engineering. Lins published 32 papers in refereed journals and over one hundred articles in international conferences.