Computer Science Department, University at Albany

  • Home
  • Computer Science Department, University at Albany

Computer Science Department, University at Albany This is the official FB page for the Computer Science Department of the University at Albany.

We are proud to celebrate Dr. Mariya Zheleva, Assistant Professor of Computer Science, who was just awarded the highly c...
04/06/2019

We are proud to celebrate Dr. Mariya Zheleva, Assistant Professor of Computer Science, who was just awarded the highly competitive National Science Foundation CAREER Award. She will use the award to enhance the future of spectrum sharing. https://www.albany.edu/news/91432.php

30/05/2019
Congratulations Class of 2019! 🎉
18/05/2019

Congratulations Class of 2019! 🎉

Logan Stone, an Undergraduate Student here in the Computer Science Department will be competing on Wheel of Fortune tomo...
20/03/2019

Logan Stone, an Undergraduate Student here in the Computer Science Department will be competing on Wheel of Fortune tomorrow night! Wishing him the best of luck! 👏🏼

We have yet another Capital Region resident appearing on a national game show.

We recently said goodbye to our Computer Science Department Administrative Manager, Victoria Brock. Vicki will be missed...
14/03/2019

We recently said goodbye to our Computer Science Department Administrative Manager, Victoria Brock. Vicki will be missed tremendously here in the department, however, she isn’t going far! Vicki is the new Administrative Manager for Electrical and Computer Engineering as well as Environmental and Sustainable Engineering! We wish her the best and are looking forward to welcoming our new Computer Science Administrative Manager, Mark Seabury later this week!

01/02/2019

Who's ready for the Super Bowl this Sunday?🏈 UAlbany Programming Board is hosting a Super Bowl Party in the Multi-Purpose Room at 6PM on February 3rd. Free wings, pizza, and soft beverages will be provided!🍗🍕🥤

Happy First Day of Classes!
23/01/2019

Happy First Day of Classes!

11/01/2019

Information regarding the Spring 2019 DME can be found here! 👇

24/12/2018
Happy Monday! Here is a link to the Computer Science Department's most frequently asked questions. Have more questions? ...
17/12/2018

Happy Monday! Here is a link to the Computer Science Department's most frequently asked questions. Have more questions? Feel free to send us a message!

Good morning and GOOD LUCK during finals week!
12/12/2018

Good morning and GOOD LUCK during finals week!

Associate Professor Siwei Lyu - Detecting Deep Fake Videos
07/12/2018

Associate Professor Siwei Lyu - Detecting Deep Fake Videos

Siwei Lyu, University at Albany – Detecting DeepFake Videos by David Hopper  12/7/2018 | 12:01 0 Posted in Computer Science, Social Media, Technology  On University at Albany Week: To help detect a DeepFake video, looks at the eyes. Siwei Lyu, associate professor of computer science, discusses t...

Check out these activities and events within the University Libraries to help you relax, de-stress and have some fun thi...
07/12/2018

Check out these activities and events within the University Libraries to help you relax, de-stress and have some fun this December!

Events and programs to help you at semester's end. Good luck on your finals!

07/12/2018
07/12/2018
In September we welcomed our new Department Chair, Professor Prabir Bhattacharya.
07/12/2018

In September we welcomed our new Department Chair, Professor Prabir Bhattacharya.

Professor Prabir Bhattacharya is the Department Chair of the Computer Science Department. Before joining Albany in Fall 2018, he was at the Morgan State University, Baltimore, Maryland during 2015-18 (where he was the Department Head of Computer Science, and also served as a Co-Director of the Natio...

Assistant Professor Mariya Zheleva - Radio Spectrum
07/12/2018

Assistant Professor Mariya Zheleva - Radio Spectrum

Mariya Zheleva, University at Albany – Radio Spectrum by David Hopper  12/3/2018 | 12:01 0 Posted in Technology  Mariya Zheleva On University at Albany Week: Is the radio spectrum a finite resource? Mariya Zheleva, assistant professor in the department of computer science, explores this question...

UAlbany ACM-W logo contest winner! Congratulations Chinmai Kulkarni!
21/11/2017

UAlbany ACM-W logo contest winner! Congratulations Chinmai Kulkarni!

Pradeep Atrey - How secure are today’s ATMs? (16:49)Pradeep Atrey, Ph.D., an Associate Professor of Computer Science at ...
14/08/2017

Pradeep Atrey - How secure are today’s ATMs? (16:49)

Pradeep Atrey, Ph.D., an Associate Professor of Computer Science at the University of Albany. Dr. Atrey studies issues related to homeland security and privacy issues in multimedia surveillance systems. Automated teller machines, better known as ATMs, just turned 50 this past June. Yet, even 50 years later, we still have problems keeping the machines secure. Credit cards now have pins and magnetic strips, and the ATMs have cameras all around them, but thieves have kept up with the technology changes. Just how secure are today’s ATMs? Dr. Atrey, explains the current security surrounding the ATM's we use every day.

https://www.byuradio.org/episode/200fa376-eb9f-4a8e-b0cb-0cadd842c39f/the-matt-townsend-show-atm-security-marriage-in-motionstrength-versus-structure?playhead=1009&autoplay=true

The Conversation:How secure are today’s ATMs? 5 questions answered by Associate Professor Dr. Pradeep Atrey!
22/06/2017

The Conversation:How secure are today’s ATMs? 5 questions answered by Associate Professor Dr. Pradeep Atrey!

Fifty years after the first ATM went into service, the main problem – identifying authorized users – remains the same. But methods for doing so have improved significantly.

Please post your graduation photos here clads of 2017!!!!
22/05/2017

Please post your graduation photos here clads of 2017!!!!

19/05/2017

To the Graduates of 2017, thank you for your time spent with us, all your hard work has paid off. Go out into the real world with the lessons learned and make a change. Don't be good, be great! Congratulations!!!

We are back!!!! Today’s Faculty Friday, is someone special to our department, he has contributed a lot to the department...
12/05/2017

We are back!!!! Today’s Faculty Friday, is someone special to our department, he has contributed a lot to the department and is stepping down as Department Chair, Neil Murray, Ph.D.

A Little about Prof Murrary:
Prof. Murray is the Chair of the Department of Computer Science at SUNY Albany. He received his PhD from Syracuse University. He is a noted scholar and dedicated teacher, Neil epitomizes the notion of service leadership. He lead the computer Science department for more than a dozen years as chair, guiding us through challenging times along the way, and setting the stage for our continued success, he had been a mentor and a great source of support for many.

Fun Fact:
Prof. Murray has been a faculty in the department of Computer Science for 35 years, served as the Department Chair totaling 12 years. This includes his service for the past 5 years.

Research:
My main research interest is in automated deduction; this includes both theoretical and experimental studies. The development of inference techniques for negation normal form (NNF) formulas and related tableau-based techniques is central. These techniques could lead to tangible progress not only for automatic theorem provers, but for other systems; examples are deductive databases, systems based on logic programming, and other AI systems with an inferencing component such as deduction-based program synthesis and non-monotonic reasoning systems.
NNF-based techniques are also promising for producing a representation of the models of a (propositional) formula. This capability is important for many more practical applications than was previously thought to be the case. Planning is one example, and fault-diagnosis is another. These issues are closely related to recent developments in “Decomposable Negation Normal Form (DNNF)” (Darwiche, J.ACM (48, 4), July 2001), and to our paper “Efficient Query Processing with Reduced Implicate Tries.” To appear, Journal of Automated Reasoning.
Recently, longtime co-author Erik Rosenthal and I have partnered with Sandeep Shulka of Virginia Tech. In the development of tools for synthesis of provably correct deter- ministic multi-threaded code for safety-critical applications. These tools will be based on a modeling formalism called polychronous data flow, which captures specifications for multi-rate reactive concurrent embedded systems. Prime implicates, often used in, for example, abductive reasoning and data base query optimization, are also useful in the analysis of polychronous specifications. An important component of the plan is a new algorithm (developed by Ph.D. student Matusiewicz, myself, and Rosenthal) that produces the prime implicate trie — a tree whose branches are labeled with the prime implicates — of a logical formula. The algorithm is being extended to take advantage of several properties that are especially well-suited for this application.

Personal Page: Personal Page: http://www.cs.albany.edu/~nvm/

NTCS 2017
05/05/2017

NTCS 2017

NTCS 2017!
05/05/2017

NTCS 2017!

28/04/2017

Congratulations to Stuti Misra for winning the Chancellor's Award! She is from Dubai in the United Arab Emirates, came to UAlbany to accomplished great things! Misra is a double major in Mathematics and Computer Science and is the 2016-2017 recipient of the Bruce B. and Louise Steen Gravitt Scholarship, which provides financial assistance to full-time, female students majoring in mathematics. Here is the link to her story on how Albany has given her the opportunity to excel!

http://www.albany.edu/news/78577.php?utm_source=toa&utm_medium=email&utm_campaign=internal_comm&utm_term=students&utm_content=headline

ALBANY, N.Y. (April 27, 2017) — Stuti Misra hails from Dubai in the United Arab Emirates, but she’s made herself quite a home at UAlbany.

Congrats to our assistant Professor Chinwe Ekenna, PhD, and our graduate student, Aakriti Upadhyay for presenting in the...
28/04/2017

Congrats to our assistant Professor Chinwe Ekenna, PhD, and our graduate student, Aakriti Upadhyay for presenting in the A.C.M. New York Celebration of Women in Computing. Their poster presentation for “Robot motion planning in heterogeneous space” came in first place! Thank you for representing! Go Danes of CEAS!

Address

NY

Opening Hours

Monday 08:00 - 16:00
Tuesday 08:00 - 16:00
Wednesday 08:00 - 16:00
Thursday 08:00 - 16:00
Friday 08:00 - 16:00

Alerts

Be the first to know and let us send you an email when Computer Science Department, University at Albany posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.

Contact The University

Send a message to Computer Science Department, University at Albany:

Videos

Shortcuts

  • Address
  • Opening Hours
  • Alerts
  • Contact The University
  • Videos
  • Claim ownership or report listing
  • Want your university to be the top-listed University?

Share