Derek Corneil
Derek G. Corneil | |
---|---|
Nationalitet | kanadensisk |
Utbildning |
|
Vetenskaplig karriär | |
Fält | |
institutioner | University of Toronto |
Avhandling | Graph Isomorphism (1968) |
Doktorand rådgivare | Calvin Gotlieb |
Doktorander |
|
Derek Gordon Corneil är en kanadensisk matematiker och datavetare , professor emeritus i datavetenskap vid University of Toronto och expert på grafalgoritmer och grafteori .
Liv
När han gick ut gymnasiet fick Corneil höra av sin engelska lärare att det var en dålig idé att ta en examen i matematik och fysik, och att det bästa han kunde hoppas på var att gå på en teknisk högskola. Hans intresse för datavetenskap började när han som student vid Queens College fick höra att en dator köptes av London Life-försäkringsbolaget i London, Ontario, där hans far arbetade. Som nybörjare tog han ett sommarjobb med UNIVAC Mark II på företaget. En av hans huvuduppgifter var att driva en skrivare. En möjlighet till ett programmeringsjobb hos företaget som sponsrade hans collegestipendium dök upp strax efter. Det var en chans som Corneil hoppade på efter att ha nekats en liknande position på London Life. Det uppstod en första förvirring i hans jobb eftersom hans övervakare trodde att han visste hur man programmerar UNIVAC Mark II, och därför skulle han lätt gå över till att göra detsamma för företagets nyförvärvade IBM 1401-maskin. Corneil hade dock inte den antagna programmeringsbakgrunden. Under det tvåveckorsfönster som Corneil hade fått för att lära sig hur man förstår programmering av IBM 1401 , lärde han sig hur man skriver kod från grunden genom att förlita sig mycket på bruksanvisningen. Denna erfarenhet drev honom vidare på vägen liksom ett antal projekt som han arbetade med i den positionen senare.
Corneil fortsatte med en kandidatexamen i matematik och fysik från Queen's University 1964. Från början hade han planerat att göra sina forskarstudier innan han blev gymnasielärare, men hans acceptans till det helt nya doktorandprogrammet i datavetenskap vid University of Toronto ändrade det. Vid University of Toronto tog Corneil en magisterexamen och sedan 1968 en doktorsexamen i datavetenskap under ledning av Calvin Gotlieb . (Hans postdoktorala handledare var Jaap Seidel.) Det var under denna tid som Corneil blev intresserad av grafteori. Han och Gotlieb blev så småningom goda vänner. Efter postdoktorala studier vid Eindhoven University of Technology , återvände Corneil till Toronto som fakultetsmedlem 1970. Innan han gick i pension 2010 hade Corneil många befattningar vid University of Toronto, inklusive avdelningsordförande för datavetenskapsavdelningen (juli 1985 till juni 1990), chef för forskningsinitiativ vid fakulteten för humaniora och naturvetenskap (juli 1991 till mars 1998), och tillförordnad vice ordförande för forskning och internationella relationer (september till december 1993). Under sin tid som professor var han även gästprofessor vid universitet som University of British Columbia, Simon Fraser University, Université de Grenoble och Université de Montpellier.
Arbete
Corneil gjorde sin forskning inom algoritmisk grafteori och grafteori i allmänhet. Han har övervakat 49 avhandlingar och publicerat över 100 artiklar på egen hand eller tillsammans med medförfattare. Dessa papper inkluderar:
- Ett bevis på att igenkänning av grafer med liten trädbredd är NP-komplett ,
- Upptäckten av cotree-representationen för kografer och av snabba igenkänningsalgoritmer för kografer,
- Generera algoritmer för grafisomorfism .
- Algoritmiska och strukturella egenskaper hos komplementreducerbara grafer.
- Egenskaper för asteroidala trippelfria grafer.
- En algoritm för att lösa problemet med att avgöra om en graf är en partiell graf av ett k-träd.
- Resultat som behandlar grafteoretiska, algoritmiska och komplexitetsfrågor med avseende på trädnyckel .
- En förklaring av förhållandet mellan trädets bredd och klickbredden.
- Bestämning av diametern för begränsade graffamiljer.
- Beskriv strukturen av trapetsformade grafer.
Som professor emeritus forskar Corneil fortfarande och är även redaktör för flera publikationer som Ars Combinatoria och SIAM Monographs on Discrete Mathematics and Applications .
Utmärkelser
Han valdes in som Fields Institute Fellow 2004.
externa länkar
- Intervju med Corneil , Stephen Ibaraki, 13 juni 2011
- Lista över publikationer på DBLP