جست‌وجوی استاد و پژوهشگر

Ugo Buyمشاهده پروفایل

دانشیار

• Software Engineering
• Concurrent Systems
• Real-Time Systems
• +۵ مورد دیگر

Ugo Buy is an Associate Professor in the Department of Computer Science at the University of Illinois at Chicago, affiliated with the College of Engineering. His research focuses on software engineering, particularly in modeling and analysis of concurrent and real-time systems, and the automatic generation of control supervisors for discrete manufacturing systems. He has also explored applications in supervisory control, dynamic reconfiguration, and automatic correction of multi-threaded Java programs. Education: Ph.D., University of Massachusetts, 1990 Research Interests: Dr. Buy's work spans software engineering for concurrent systems, real-time systems verification using finite automata and Petri nets, and supervisory control techniques for discrete manufacturing plants. Additional interests include multicore hardware development, mobile app development, and sensor networks. He co-directed a NIST-sponsored project on automated supervisory controllers for discrete manufacturing systems. Teaching: Dr. Buy has taught courses such as object-oriented programming (CS 342, CS 474), software engineering (CS 342, CS 440, CS 442, CS 540), and mobile app development (CS 478). Earlier in his career, he taught introductory computer science (CS 100, CS 101), data structures (CS 201), and theoretical courses (CS 301, CS 401). Professional Activities: Organization Committee Member, Petri Nets '93 (14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois) Program Committee Member, ICCI'93 (Fifth International Conference on Computing and Information, Sudbury, Ontario) Program Committee Member, IWSSD-7 (IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California) Program Committee Member, IWSSD-8 (IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany)

Claudia Völkerمشاهده پروفایل

پژوهشگر

• Computer Science
• Programming
• Software Engineering
• +۲ مورد دیگر

Claudia Völker serves as a Researcher at Westphalian University of Applied Sciences within the Faculty of Computer Science and Communication. Based in room A4.0.17 at Neidenburger Str. 43, Gelsenkirchen, she operates under Prof. Dr. Marcel Luis with responsibilities spanning teaching and research activities. Her expertise centers on programming education, specifically supervising practical courses for EPR (Introduction to Programming) and OPR (Object-Oriented Programming). This indicates deep engagement with software development methodologies, coding pedagogy, and hands-on technical instruction within computer science education. Claudia mentors students in laboratory settings for core programming curricula. No research grants are documented in available sources. Scientific awards remain unlisted in institutional records.

Albert Crokerمشاهده پروفایل

استاد

• Database Management Systems
• Relational Database Theory
• Temporal Database Theory
• +۳ مورد دیگر

Albert Croker is a Professor in the Paul H. Chook Department of Information Systems and Statistics at Baruch College's Zicklin School of Business. With a PhD in Computer Science from SUNY Stony Brook (1984), he specializes in database systems and object-oriented programming. BS in Mathematics (SUNY Stony Brook, 1972) MS in Computer Science (SUNY Stony Brook, 1978) PhD in Computer Science (SUNY Stony Brook, 1984) His research focuses on database management systems , particularly relational database theory , temporal database theory , and object-oriented programming applications. He has developed innovative approaches to constraint satisfaction problems and temporal data representation. Professor Croker's publications highlight his expertise in temporal databases and object-oriented programming . His work explores time-variant data modeling, constraint satisfaction frameworks, and concurrency control mechanisms. Scientific Awards: Zicklin School of Business Teaching Excellence Award (1997) Golden Key National Honor Society Honorary Member (1997) He serves as Course Coordinator for multiple CIS courses including 9310/9410, 3100/4100, and 3650/9365, while maintaining active roles in curriculum development and faculty recruitment.

Pai-chun Maمشاهده پروفایل

دانشیار

• Data Warehouse and OLAP
• Work Flow Management Systems
• Information Retrieval
• +۲ مورد دیگر

Pai-chun Ma is an Associate Professor at the Paul H. Chook Department of Information Systems and Statistics within Baruch College's Zicklin School of Business (City University of New York). He holds a PhD in Information Systems from New York University (1988), an MBA from SUNY Buffalo (1982), and a BS from National Chiao-Tung University (1978). His academic roles include serving as the department's Undergraduate Internship Coordinator and membership on key committees like the Graduate Committee on Academic Standing. Ma's research focuses on decision support systems , information retrieval , and computational optimization . His expertise spans Data Warehousing, Workflow Management, Negotiation Support Systems, and Mathematical Programming. His publications frequently integrate operations research with information systems design. Analysis of his 15 most recent publications reveals a strong emphasis on algorithmic decision-making and system design , with applications ranging from healthcare technology to energy markets. Key themes include optimization modeling, human-computer interaction, and multi-agent systems. His honors include: Best Paper Award at HICSS (1996) Nomination for Presidential Excellence in Teaching (1999) Beta Gamma Sigma Honor Fraternity induction (1985) Ma has extensive teaching experience, regularly instructing courses in Object-Oriented Programming, Information Systems, and Business Internships. He maintains active professional involvement with INFORMS, ACM, and IEEE, and serves on editorial boards for journals including Management Science and Decision Support Systems .

Helge Hagenauerمشاهده پروفایل

دانشیار

• Simulation Methods
• Parallel and Distributed Simulation
• Software Engineering
• +۵ مورد دیگر

Helge Hagenauer is an Associate Professor at the Department of Computer Science, University of Salzburg, specializing in simulation methods, software engineering, and concurrent programming. His research focuses on Parallel and distributed simulation Object-oriented design patterns Ada/Java programming techniques He is affiliated with the Faculty of Digital and Analytical Sciences and works from Room 1.07 at Jakob-Haringer-Str. 2, 5020 Salzburg. Contact: hagenau@cs.sbg.ac.at | Tel: +43 662 8044-6314

Eng Liehمشاهده پروفایل

دانشیار

• Artificial Intelligence and Data Science
• Machine Learning and Intelligence
• Human-Machine Collaborative Systems
• +۷ مورد دیگر

Eng Lieh is an Associate Professor of Computer Science (Education) and Director of the BSc (IS) Information Systems Major at the School of Computing and Information Systems, Singapore Management University (SMU). He is a full-time faculty member with a PhD from the National University of Singapore (2015), teaching Interaction Design and Prototyping, IT Solution Architecture, and Object Oriented Programming. Education: PhD, National University of Singapore, 2015 Research Interests: His work spans Artificial Intelligence and Data Science, Machine Learning and Intelligence, Human-Machine Collaborative Systems, Human-Computer Interaction, Information Systems and Technology, Software Engineering, Learning and Work, and Technology-Enhanced Learning and Pedagogy. He also focuses on Digital Transformation and Cloud Computing for business growth. Affiliations: School of Computing and Information Systems (SCIS), Singapore Management University.

Andreia Mordidoمشاهده پروفایل

استادیار

• Programming Languages
• Type Systems
• Logic
• +۲ مورد دیگر

Andreia Mordido serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences, University of Lisbon, and is an integrated researcher at LASIGE. She previously conducted research as a visiting scholar at Carnegie Mellon University's Principles of Programming (PoP) group during Fall 2019. Her academic credentials include: Ph.D. in Information Security (2017), Instituto Superior Técnico, University of Lisbon M.Sc. in Mathematics and Applications (2011), Instituto Superior Técnico, University of Lisbon B.Sc. in Mathematics (2009), Faculty of Sciences and Technology, New University of Lisbon Her research centers on programming languages and type systems for specifying and verifying communication protocols, with earlier contributions to probabilistic/equational logics for cryptographic protocol security and probabilistic satisfiability solvers. Primary interests span Programming Languages, Type Systems, Logic, Satisfiability Problems, and Probabilistic and Equational Reasoning. Analysis of her 15 most recent publications reveals a concentrated research trajectory in session types and protocol verification, with increasing sophistication in handling nested protocols, context-free session types, and higher-order abstractions. Her work bridges theoretical foundations in type theory with practical applications in concurrent and distributed systems, particularly evident in blockchain and smart contract domains. Scientific recognition includes: Distinguished Paper Award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism" Dr. Mordido has secured involvement in multiple research initiatives: SafeSessions: Safe Concurrent Programming with Session Types Confident: Communication contracts for distributed systems development ASGARD: Analysis system for gathered raw data ECOSSIAN: European Control System Security Incident Analysis Network ComFormCrypt: Computational Semantics of Formal Methods in Cryptography Co-evolution and self-organization of cooperation Her teaching portfolio spans Domain-Specific Languages, Object Oriented Development, Introduction to Programming, and Theory of Computation across Faculty of Sciences (2018-present) and Instituto Superior Técnico (2012-2016), demonstrating consistent engagement with both theoretical and applied computer science education. As an LASIGE researcher, she contributes to Portugal's premier software engineering research laboratory focused on advanced computing solutions and formal methods.

Robert C. Duvallمشاهده پروفایل

مدرس ارشد

• Computer Science Education
• Object-Oriented Programming
• Design Patterns
• +۵ مورد دیگر

Robert C. Duvall is a Senior Lecturer in the Department of Computer Science at Duke University's Trinity College of Arts & Sciences, holding this position since 2018 after serving as a Lecturer from 1997 to 2018. His work focuses on innovative pedagogical approaches in computer science education, with emphasis on adapting teaching methods to diverse student needs. Education: M.S. in Computer Science from Brown University (1997) B.S. in Computer Science from Brown University (1993) Research Focus: Duvall pioneers the Scrumage (SCRUM for AGile Education) framework, which revolutionizes classroom management by allowing students to autonomously select from multiple simultaneous pedagogical styles—including active learning, flipped classrooms, and traditional lectures—to accommodate individual learning preferences. His research spans object-oriented programming , design patterns , computer graphics , and artificial life , with significant contributions to inclusive teaching practices for neurodiverse populations and emotional disability support through adaptive technology. Publication Trends: Analysis of Duvall's 25-year publication history reveals a consistent trajectory from foundational data structure pedagogy (1990s) toward agile educational frameworks (2010s-present). His recent work centers on Scrumage 's implementation across CS1 courses, demonstrating measurable improvements in content learning and student engagement through multi-modal instruction. The publications collectively emphasize equity-focused computing education, with 60% addressing diverse learner needs through learning analytics and adaptive environments. Teaching & Mentorship: Duvall supervises independent studies (COMPSCI 391/394) and teaches advanced software design courses (COMPSCI 308), while directing student research through Bass Connections initiatives. His course portfolio spans bioethics-integrated computing (BIOETHIC 700) to client-focused software delivery (COMPSCI 408), emphasizing practical application and community building through code reviews. Professional Leadership: As a Bass Connections Faculty Team Member (2017-2019), Duvall co-developed the Open Source Pedagogy, Research + Innovation (OSPRI) framework—applying open-source principles to educational technology within Duke's Social Science Research Institute. His OSPRI Lab work established methodologies for open-source community building in academic settings, directly informing his classroom practices.

Glenn Downingمشاهده پروفایل

دانشیار

• Programming Languages
• Compilers
• Object-Oriented Programming
• +۲ مورد دیگر

Glenn Downing is an Associate Professor of Instruction in the Department of Computer Science at The University of Texas at Austin, College of Natural Sciences. He teaches courses including CS 371p: Object-Oriented Programming and CS 104c: Competitive Programming. Downing serves as faculty advisor for the UT Programming Contest (UTPC) team and has guided the team to notable successes including a 15th place finish in North America at the ICPC World Finals. His educational background includes: Ph.D. program in CS at The University of Texas at Austin (1982-83) Ph.D. program in Aero/Astro at Stanford University (1977-78) M.S. in Aero/Astro at M.I.T. (1975-77) B.S. in Physics at University of Illinois Urbana-Champaign (1973-75) Studies at Purdue University (1970-72) Downing's research focuses on Programming Languages and Compilers , with specific interests in Object-Oriented Programming and Software Engineering . His work explores language design, compilation techniques, and software development methodologies that enhance programmer productivity and software reliability. He has made contributions to understanding initialization patterns in object-oriented systems and data sharing mechanisms in scientific computing environments. His publication record shows a consistent focus on practical aspects of programming language implementation and software engineering, evolving from foundational research on object initialization techniques in the 1990s toward more applied scientific computing challenges in the 2000s. 2020 - College of Natural Sciences Teaching Excellence Award 2018 - Nominated for Regents' Outstanding Teaching Awards 2013 - College of Natural Sciences Golden Apple Teaching Excellence Award 2006 - College of Natural Sciences Foundation Advisory Council Awards 2002 - College of Natural Sciences Teaching Excellence Award As faculty advisor for the UT Programming Contest team, Downing has cultivated student success in international programming competitions. His teaching excellence has been consistently recognized through multiple awards from the College of Natural Sciences spanning two decades. He has developed comprehensive curriculum for competitive programming and object-oriented design courses that emphasize practical implementation skills. Downing maintains active involvement with the UT Programming Team and Competitive Programming Club, providing mentorship that has resulted in multiple regional championship victories and strong showings at international competitions including the ICPC World Finals.

Warren Hunt Jr.مشاهده پروفایل

استاد

• Formal Methods
• Computer Architecture
• Hardware Verification
• +۶ مورد دیگر

Warren A. Hunt, Jr. is a Professor at the The University of Texas at Austin in the Department of Computer Sciences . He specializes in formal methods , computer architecture , and computational biology , with a focus on X86 specification in ACL2 , RSFQ computing , and biological-inspired computing . 25+ years in hardware verification First mechanical verification of a microprocessor (1985) Associate Editor, Formal Methods in System Design journal Research Interests include formal specification, program verification, automated theorem-proving, and computational biology tools. His work spans microprocessor design validation , symbolic simulation , and linear/nonlinear arithmetic in ACL2 . Scientific Awards : ACM 2015 Distinguished Engineer Advising : Supervises current PhD students Gavin Meil and Balasubraman Muthuveli . Has advised 12 PhD graduates, including Sol Swords (Intel) and Serita Nelesen (co-advised with Tandy Warnow). Grants & Collaborations : Leads NSF-funded projects like TC: Small (memory analysis) and TWC: Large (internet routing). Collaborates with ARM Corporation , Intel , and Centaur Technology . Labs & Conferences : Active in the ACL2 theorem proving community , served as FMCAD Steering Committee Chair (1996-2020), and co-organized FMCAD 2000 .

Feza Buzlucaمشاهده پروفایل

دانشیار

• Computer Software
• Computer and Communication Networks
• Object-Oriented Modeling
• +۴ مورد دیگر

Assoc. Prof. Feza Buzluca is affiliated with Istanbul Technical University as an Associate Professor in the Faculty of Computer and Informatics, Department of Computer Engineering . His academic career spans over two decades at ITU, including administrative roles like Vice Dean (2015-2018) and Faculty Board Membership (2016-). PhD in Control and Computer Engineering from Istanbul Technical University Fields: Computer Software, Communication Networks, Object-Oriented Modeling, Microservices His research focuses on software quality assessment , particularly for microservices architectures using fuzzy logic and code metrics. He explores object-oriented systems through machine learning for defect prediction, module extraction, and design pattern analysis. Recent work includes embedded software testing prioritization and cognitive radio network optimization . Key projects: Personal website and ORCID profile highlight 41 research outputs (2001-2024) and 1 project on microservices-based e-payment systems . Collaborations span IEEE/ACM conferences and journals like Journal of Systems and Software . Contact: Office 4318, Ayazaga Campus, 34000 Istanbul | buzluca@itu.edu.tr

Diana Borzaمشاهده پروفایل

مدرس

• Computer Vision
• Facial Feature Analysis
• Perception Systems
• +۶ مورد دیگر

Diana Borza is a lecturer in computer science, active since 2014, with a focus on computer vision , facial feature analysis , and perception systems . Her research applies to soft biometrics , human behavior understanding , and visual surveillance . She teaches courses including Computer Networks , Computer Vision and Deep Learning , and Object-Oriented Programming . Projects: MULTIFACE (PN-II-RU-TE-2014-4-1746, 2015-2017) DEEPSENSE (PN-III-P1-1.1-TE-2016-0440, 2018-2020) Research interests span computer vision, deep learning, and their interdisciplinary applications. Her work explores: Facial feature analysis for biometric recognition Human behavior modeling through video surveillance Efficient model ensembling and knowledge distillation Multimodal sentiment analysis and online learning dynamics Recent publications emphasize temporal action detection, attention mechanisms, and adaptive networks. Key themes include: Dynamic facial/body tracking Pedestrian attribute recognition Micro-expression detection Periocular biometrics Energy-efficient AI Scientific contributions : Received Romanian Ministry of Education grants for MULTIFACE and DEEPSENSE projects Developed models for real-time micro-expression detection and hair segmentation Published extensively on soft biometrics and human behavior analysis

Tuna Tuğcuمشاهده پروفایل

استاد

• Wireless Networks
• Cognitive Radio
• 5G Networks
• +۲ مورد دیگر

Tuna Tuğcu is a Professor in the Department of Computer Engineering at Bogazici University's Faculty of Engineering. He also serves as Advisor to the Rector. He is a faculty member of the Computer Networks Research Lab (NetLab) and participates in the Telecommunications and Informatics Technologies Research Center (TETAM) at Kandilli Campus. His educational background includes a PhD in Computer Engineering from Bogazici University (2001), followed by a post-doctoral position at Georgia Institute of Technology's Broadband and Wireless Networking Lab (18 months), and a visiting professorship at Georgia Institute of Technology - Savannah Campus (2 years). Professor Tuğcu's research focuses primarily on wireless networks with emphasis on Cognitive Radio and 5G Networks, as well as Molecular Communications and NanoNetworking. His work spans both theoretical and practical aspects, including the development of emulators for molecular communication systems. His research group has created several educational tools including emulators for Communication via Diffusion, Calcium Signaling, Neuromuscular Junctions, and Protrusions. His publication record shows a clear progression from foundational work in Cognitive Radio Networks architecture to more recent work on Radio Environment Maps, social cognitive radio, and optimized sensor networks. The research demonstrates consistent focus on spectrum utilization challenges and innovative approaches to molecular-scale communications. Best Paper Award at The Sixth Advanced International Conference on Telecommunications (AICT) 2010 Professor Tuğcu has supervised numerous students who have contributed to research projects and developed educational emulators. He teaches courses including Introduction to Computing (CmpE150), Introduction to Object Oriented Programming (CmpE160), Operating Systems (CMPE322), Broadband Wireless Networks (CmpE567), and NanoNetworking (CMPE59G). His research group is actively seeking new members for projects on NanoNetworking, 5G/CloudRAN, and Next-Generation Private Industrial Communications Networks, including a joint TÜBİTAK-2244 project with SIEMENS.

Jeffrey Stoletمشاهده پروفایل

استاد

• Music Technology
• Electroacoustic Music
• Data-driven Instruments
• +۳ مورد دیگر

Jeffrey Stolet is Professor of Music Technology and Director of Future Music Oregon at the University of Oregon's School of Music and Dance. With a PhD in Music from the University of Texas at Austin (1984), he is among the very first individuals appointed to a Philip H. Knight professorship at the University of Oregon. His research focuses on Music Technology, Data-driven Instruments, and Electroacoustic Music. Stolet has pioneered interactive performance environments using wands, sensing devices, game controllers, and other specialized interfaces to control sonic and videographic domains. His work spans computer music programming, real-time performance systems, and multimedia composition. Stolet's compositions have been presented globally at major electroacoustic and new media festivals including the International Computer Music Conference, Society for Electro-Acoustic Music in the United States Conference, and MusicAcoustica Festival in Beijing. His work has also been featured at prestigious venues such as the Museum of Modern Art in New York and the Pompidou Center in Paris. Inducted into China's prestigious DeTao Masters Academy Honorary professorships at two Chinese music conservatories Lifetime achievement award from Musicacoustica for contributions to interactive music Author of the first book about Kyma programming language Developer of Electronic Music Interactive , an award-winning multimedia educational resource Stolet's recent work explores themes of balance, social justice, cultural identity, and the intersection of physical limitations with technological expression, as evidenced in compositions like In Desperate Times (2020) which responded to the George Floyd murder and disproportionate Latinx deaths during the pandemic.

Zbigniew Jan Mańkowskiمشاهده پروفایل

استادیار

• Aesthetic Reflexivity
• Literature and Art Interdisciplinary Studies
• Hermeneutics
• +۷ مورد دیگر

Zbigniew Jan Mańkowski is an active faculty member at the Department of History and Theory of Art, Academy of Fine Arts in Gdańsk, specializing in interdisciplinary research connecting literature, art, and social life. His academic journey began at the University of Gdańsk's Faculty of Philology and History where he earned his PhD, influenced by Maria Janion's hermeneutic school through professors Małgorzata Czermińska and Kazimierz Nowosielski. His research focuses on aesthetic reflexivity —an interdisciplinary concept examining theoretical and cognitive potential in artistic practices, particularly in Czesław Miłosz's writings. He explores creative existence philosophy through Józef Czapski's work, analyzes social dimensions of contemporary Polish prose (Anderman, Huelle, Tokarczuk), and investigates poets' engagement with visual arts (Broniewski, Różewicz, Herbert). His methodological approach combines hermeneutics with cultural anthropology, extending traditional literary studies to incorporate emotional cognition and lived experience. His publications demonstrate consistent scholarly output from his 2005 monograph Widzieć prawdę to recent habilitation research on Miłosz. The articles reveal strong thematic continuity in examining literature-art relationships, with increasing focus on aesthetic reflexivity as an analytical framework. His work bridges theoretical literary analysis with practical applications through the Social Design Laboratory. As an educator in integral pedagogy and coordinator of the Social Design Laboratory within ECS-ASP cooperation, he actively connects academic research with contemporary cultural understanding. His participation as an expert in the Pomerania 2030 development scenarios program demonstrates applied research engagement with regional development challenges.