Problem: Given the question: Facts:   - residence: united kingdom    - known for: rcos    - workplaces: university of leicester , unu-iist , birmingham city university    - doctoral advisor: mathai joseph      - birth date: 10 october 1961    - name: zhiming liu    - citizenship: british    - nationality: chinese    - birth place: hebei province , china    - alma mater: luoyang warwick , chinese academy of sciences , university of   Based on these bullet points, write a short biography describing the life of zhiming liu -lrb- computer scientist -rrb- .
++++++++++++++++++++++++++++++++
The answer is:
zhiming liu -lrb- , born 10 october 1961 , hebei province , china -rrb- is a computer scientist .he studied mathematics in luoyang , henan province in china and obtained his first degree in 1982 .he holds a master degree in computer science from the institute of software of the chinese academy of sciences -lrb- 1988 -rrb- , and a phd degree from the university of warwick -lrb- 1991 -rrb- .his phd thesis was on `` fault-tolerant programming by transformations '' .after his phd , zhiming liu worked as a guest scientist at the department of computer science , technical university of denmark , lyngby in 1991 -- 1992 .then he returned to the university of warwick and worked as a postdoctoral research fellow on formal techniques in real-time and fault-tolerant systems till october 1994 when he became a university lecturer in computer science at the university of leicester -lrb- uk -rrb- .he worked at unu-iist during 2002-2013 at unu-iist as research fellow and senior research fellow .he joined birmingham city university -lrb- uk -rrb- in october 2013 as the professor of software engineering .zhiming liu 's main research interest is in the areas of formal methods of computer systems design , including real-time systems , fault-tolerant systems , object-oriented and component-based systems .his research results have been published in mainstream journals and conferences .his joint work with mathai joseph work on fault tolerance gives a formal model that defines precisely the notions of `` fault '' , `` error '' , `` failure '' and `` fault-tolerance '' , and their relations .it also gives the properties that models of fault-affected programs and fault-tolerant programs in terms of model transformations .they proposed a design process for fault-tolerant systems from requirement specifications and analysis , fault environment identification and analysis , specification of fault-affected design and verification of fault-tolerance for satisfaction of the requirements specification .in collaboration with zhou...


Problem: Given the question: Facts:   - caps: 10 11 26 17 73 15 11 4    - nationalyears: 2008 -- 2009    - youthclubs: askÖ linz -lrb- co-operation -rrb- doppl-hart 74 sv pasching -lrb- co-operation -rrb- lask      - birth date: 15 march 1988    - clubs: askÖ linz -lrb- co-operation -rrb- → fc kärnten -lrb- loan -rrb- doppl-hart sturm graz → lask linz -lrb- loan -rrb- hajduk split 74 fc rot-weiß erfurt sv pasching -lrb- co-operation -rrb- lask    - nationalcaps: 4 4 9    - currentclub: fc rot-weiß erfurt    - height: 1.85 0    - nationalgoals: 0 0 0    - name: haris bukva    - nationalteam: austria u-19 austria u-20 austria u-21    - birth place: foča , sfr yugoslavia    - position: midfielder    - image size: 220    - years: 1998-2000 -- 2014 2014 - 2000-2007 2003-2007 2009 2009 -- 2013 2011 2013    - clubnumber: 10    - youthyears: 1998-2000 2000-2007 2003-2007    - pcupdate: 9 august 2014    - image: sv -rrb- . jpg mattersburg vs. sk sturm graz 20130217 -lrb- 07    - goals: 0 0 2 0 5 0 0 0   Based on these bullet points, write a short biography describing the life of haris bukva .
++++++++++++++++++++++++++++++++
The answer is:
haris bukva -lrb- born 15 march 1988 -rrb- is an austrian professional footballer of bosnian descent , who plays for fc rot-weiß erfurt .he formerly played for sv pasching , sk austria kärnten , sk sturm graz and was on loan to fc wels , fc kärnten and lask linz .he made his hajduk debut on 14 september in a 2-0 home win against dinamo zagreb , assisting both goals from a corner kick .


Problem: Given the question: Facts:   - website: -lsb- http://www.budhedinger.com official website -rsb-    - years active: 1969-present      - image: replace this image male.svg    - birth place: glen rock , new jersey , u.s.    - occupation: talk radio host , television news anchor and personality   Based on these bullet points, write a short biography describing the life of bud hedinger .
++++++++++++++++++++++++++++++++
The answer is:
john harris brady `` bud '' hedinger iii -lrb- born january 23 , 1947 -rrb- is an american talk radio host in the orlando , florida area on station wfla am 540 -lrb- wflf -rrb- .born in glen rock , new jersey , his mother nicknamed him `` bud '' the day he was born .he received a bachelor 's degree from colgate university and a master 's degree from syracuse university .from 1969 until 1986 , hedinger was a television news weatherman , news anchor , and bowling show host in syracuse , new york .he worked at wftv in orlando from 1986 until 1989 and then worked at a tv station in nashville before returning to orlando in 1993 .he worked as an anchor on wkcf channel 18 for the 10 clock news prior to moving on to his current position in radio for 104.5 fm and 540am orlando simulcast .hedinger likes to give credit to the bush administration by saying there have been `` x '' number of days since a terrorist attack in the united states .he often opens his shows with an announcer saying , `` it 's all right , have another bud , '' in reference to his name .