1 . ▁She ▁was ▁made ▁a ▁Full ▁Professor ▁in ▁ 2 0 0 8 . ▁In ▁ 2 0 1 2 ▁K up fer man ▁was ▁awarded ▁a ▁European ▁Research ▁Council gr ant ▁to ▁study ▁high ▁quality ▁re active ▁systems . ▁She ▁is ▁developing ▁formal ▁ver ification ▁and ▁synth esis ▁computer ▁systems ▁for ▁both ▁hardware ▁and ▁software . ▁She ▁uses ▁an ▁autom ata ▁theory ▁approaches ▁to ▁check ▁branch ing ▁time ▁models . ▁ ▁K up fer man ▁has ▁served ▁as ▁the ▁Ad visor ▁on ▁G ender ▁Iss ues ▁for ▁the ▁President ▁of ▁the ▁Heb rew ▁University ▁of ▁Jerusalem . ▁She ▁has ▁spoken ▁about ▁the ▁challeng es ▁ach ieving ▁gender ▁balance ▁in ▁academ ia ▁at ▁the ▁We iz mann ▁Institute ▁of ▁Science . ▁She ▁called ▁for ▁the ▁Heb rew ▁University ▁of ▁Jerusalem ▁to ▁end ▁gender ▁seg reg ated ▁education . ▁ ▁K up fer man ▁was ▁elected ▁to ▁the ▁Academia ▁Europ ae a ▁in ▁ 2 0 1 6 . ▁She ▁was ▁also ▁awarded ▁the ▁Heb rew ▁University ▁of ▁Jerusalem ▁Michael ▁Mil ken ▁Prize ▁for ▁long - standing ▁Ex cell ence ▁in ▁Te aching . ▁ ▁K up fer man ▁has ▁served ▁on ▁the ▁editor ial ▁board ▁of ▁F ormal ▁Method s ▁in ▁System ▁Design ▁and ▁Log ical ▁Method s ▁in ▁Computer ▁Science . ▁She ▁is ▁Editor - in - Ch ief ▁of ▁AC M ▁Trans actions ▁on ▁Comput ational ▁Log ic . ▁ ▁Selected ▁publications ▁ ▁References ▁▁ ▁Category : Is ra eli ▁women ▁computer ▁scient ists ▁Category : H eb rew ▁University