I am a Ph.D. student in the Computer Science Department at the University of Texas at Austin, studying formal methods under the supervision of Dr. Warren A. Hunt, Jr.
I am also a Senior Software Engineer at IBM, working in Electronic Design Automation.
More to come!